L'informatique concurrency

5

Différence entre la programmation parallèle et simultanée?

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 programmation simultanée sont réellement différentes?

44 terminology parallel-computing concurrency

3

Contraster les algorithmes de Peterson et de Dekker

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 while(flag[1]==true&&turn==1){ it's your turn …

41 concurrency synchronization mutual-exclusion

2

Quelle est la différence entre les threads au niveau utilisateur et les threads au niveau noyau?

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?

33 operating-systems terminology concurrency os-kernel

2

Que signifie «véritable concurrence»?

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 exemple, dans quels cas sont-ils plus applicables que des équivalences …

28 terminology reference-request concurrency

3

Similitudes et différences dans les principales algèbres de processus

À 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 …

21 logic concurrency process-algebras

1

Structures de données d'arborescence concurrentes sans mise à jour et à temps constant?

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 données …

20 reference-request data-structures time-complexity concurrency search-trees

6

Pourquoi les transactions non validées doivent-elles être annulées dans l'ordre inverse?

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 peut-il donner …

19 concurrency databases

1

Existe-t-il des implémentations de verrouillage matériel sans test-and-set ou swap?

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 peuvent être classées en trois …

19 concurrency synchronization mutual-exclusion

4

Pourquoi le nombre de consensus pour test-and-set, 2?

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 processus?

17 concurrency consensus

1

Différences entre le modèle d'acteur et les processus séquentiels communicants (CSP)

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 core.async de …

16 concurrency message-passing

2

Est-il possible qu'un langage de programmation basé sur la pile soit simultané?

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 …

14 concurrency stacks evaluation-strategies

3

Qui a besoin de linéarisation?

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 …

13 concurrency databases

2

Les architectures de CPU sont-elles orientées vers les temps d'exécution procéduraux?

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 simultanées? J'ai l'impression que les conceptions …

13 computer-architecture concurrency functional-programming

2

Bonne structure de données de snapshottable pour un index en mémoire

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 …

12 data-structures concurrency databases

1

À quoi sert le filetage M: N (hybride)?

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 noyau?

12 operating-systems concurrency os-kernel

Questions marquées «concurrency»