Questions marquées «concurrency»

Questiont sur les problèmes de concurrence tels que la synchronisation et les blocages.

Pourquoi utiliseriez-vous un moniteur au lieu d'un sémaphore?

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 moniteur garantit que exactement un …

11 concurrency synchronization mutual-exclusion

Processus CCS pour un distributeur de boissons avec deux prix différents

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: ˉ …

11 logic concurrency modelling process-algebras ccs

Pourquoi la plupart des implémentations de mutex sont-elles injustes?

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

11 concurrency synchronization threads

Formalismes en programmation simultanée et / ou distribuée?

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 à la programmation simultanée et …

10 distributed-systems concurrency

Est-il possible de prouver la sécurité des fils?

É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 décrire des choses comme la …

9 proof-techniques correctness-proof concurrency threads

L'algorithme d'exclusion mutuelle à 2 processus de Peterson tient-il compte des processus mourants?

Je pense que dans l'algorithme de Peterson pour l' exclusion mutuelle , si le processus premier à entrer dans la section critique devait mourir ou être annulée, l'autre processus serait toujours en boucle, en attendant d'entrer dans la section critique. Dans l'image, si le processus 1 est arrêté, le reste …

9 programming-languages concurrency mutual-exclusion

Quelle est la pertinence pratique des algorithmes d'exclusion mutuelle des manuels?

Il y a eu beaucoup de recherches sur les algorithmes d'exclusion mutuelle - par exemple, beaucoup d'entre eux sont présentés dans des manuels classiques tels que The Art of Multiprocessor Programming , où un chapitre entier leur est consacré. Je me demande quelles sont les situations pratiques où l'on pourrait …

8 reference-request concurrency mutual-exclusion

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.