Questiont sur les problèmes de concurrence tels que la synchronisation et les blocages.
Lorsqu'on examine la programmation simultanée, deux termes sont couramment utilisés, à savoir simultané et parallèle. Et certains langages de programmation réclament spécifiquement le support de la programmation parallèle, tels que Java . Cela signifie-t-il que la programmation parallèle et la...
J'essaie de comprendre les algorithmes de Peterson et Dekker qui sont très similaires et présentent beaucoup de symétries. J'ai essayé de formuler les algorithmes en langage informel comme suit: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Après avoir lu plusieurs sources, je suis encore confus au sujet des threads au niveau utilisateur et noyau. En particulier: Les threads peuvent exister au niveau utilisateur et au niveau du noyau Quelle est la différence entre le niveau utilisateur et le niveau noyau?
J'entends souvent des phrases comme «sémantique de concurrence réelle» et «équivalences de concurrence réelle» sans aucune référence. Que signifient ces termes et pourquoi sont-ils importants? Quels sont quelques exemples de véritables équivalences de concurrence et quel est leur besoin? Par...
À ma connaissance, il existe trois grandes algèbres de processus qui ont inspiré une vaste gamme de recherches sur les modèles formels de concurrence. Ceux-ci sont: CCS et -calculus tous les deux par Robin Milnerππ\pi CSP par Tony Hoare et ACP par Jan Bergstra et Jan Willem Klop Tous les trois...
J'ai lu un peu de littérature récemment et j'ai trouvé des structures de données plutôt intéressantes. J'ai recherché différentes méthodes pour réduire le temps de mise à jour au temps de mise à jour du pire cas [1-7].O ( 1 )O(1)\mathcal{O}(1) Récemment, j'ai commencé à chercher des structures de...
J'ai un journal de base de données où certaines transactions gagnent (elles sont validées avant le crash) et certaines perdent (pas encore validées). Nous avons appris en classe que les actions des perdants doivent être annulées à l'envers. Y a-t-il une raison pour faire cela à l'envers? Quelqu'un...
Les verrous sont généralement implémentés via des instructions de test et de configuration et d'échange au niveau de la machine. Y a-t-il d'autres implémentations qui ne les utilisent pas? Aussi, pouvons-nous dire que toutes les solutions de niveau matériel au problème de la section critique...
Selon Wikipedia , L'opération de test et de configuration peut résoudre le problème du consensus sans attente pour pas plus de deux processus simultanés. Pourquoi ne peut-il pas résoudre le problème pour plus de deux
Lorsque nous regardons le modèle d'acteur et les processus séquentiels communicants, nous voyons qu'ils essaient tous les deux de faire de la concurrence basée sur le passage de messages , mais ils sont distincts . (Nous voyons des implémentations du modèle CSP dans les goroutines de go-lang (et...
J'ai lu sur les langages de programmation basés sur la pile, tels que FORTH et Cat , et il semble que compte tenu de leur nature, ils ne peuvent exécuter qu'une seule action à la fois quel que soit leur paradigme (FORTH est impératif tandis que Cat est fonctionnel). Un langage impératif modifierait...
J'ai lu sur les différences entre la sérialisation et la linéarisation , qui sont tous deux des critères de cohérence pour les systèmes répliqués tels que les bases de données répliquées. Cependant, je ne sais pas dans quels cas la linéarisation serait nécessaire, même si elle est plus forte que la...
Y a-t-il des modifications qui pourraient être apportées aux processeurs pour les rendre plus performants pour des exécutions simultanées comme Rust? Par exemple, y a-t-il des changements dans les implémentations de prédiction de branche ou les tailles de cache qui pourraient aider les exécutions...
En d'autres termes, quels sont les avantages du filetage hybride par rapport au filetage 1: 1 (noyau uniquement) et N: 1 (utilisateur uniquement)? Ceci fait suite à Quelle est la différence entre les threads au niveau utilisateur et les threads au niveau du
Je conçois une base de données d'objets en mémoire pour un cas d'utilisation très spécifique. Il s'agit d'un rédacteur unique, mais il doit prendre en charge des lectures simultanées efficaces. Les lectures doivent être isolées. Il n'y a pas de langage de requête, la base de données ne prend en...
Un distributeur de boissons oblige l'utilisateur à insérer une pièce de monnaie ( ), puis appuyez sur l'un des trois boutons: ˉ d tea demande une tasse de thé e tea , idem pour le café, et ˉ r demande un remboursement (c'est-à-dire que la machine rend le pièce: ˉ b ). Ce distributeur peut être...
Ma compréhension est que les implémentations les plus populaires d'un mutex (par exemple std :: mutex en C ++) ne garantissent pas l' équité - c'est-à-dire qu'elles ne garantissent pas qu'en cas de conflit, le verrou sera acquis par les threads dans l'ordre où ils appelé lock (). En fait, il est...
J'assiste actuellement au cours de programmation simultanée dans mon université et nous avons récemment commencé à parler du concept d'un moniteur. Bien que je comprenne la nécessité de l'exclusion mutuelle, je ne comprends pas pourquoi j'utiliserais un moniteur pour cela. Si je comprends bien, un...
Mes antécédents provenaient de langages impératifs, principalement C, C ++ et Python. J'ai repris Scala, Erlang et un peu de Haskell quelques années plus tard et depuis, je me suis beaucoup intéressé à la programmation fonctionnelle et aux formalismes qui la sous-tendent. Je m'intéresse également à...
Étant donné un programme composé de variables et d'instructions qui modifient ces variables, et une primitive de synchronisation (un moniteur, un mutex, un java synchronisé ou un verrou C #), est-il possible de prouver qu'un tel programme est thread-safe? Existe-t-il même un modèle formel pour...