Dictionnaire d'informatique francophone. 2013.
Interblocage — Un interblocage (deadlock en anglais, appelé aussi « étreinte fatale ») est un phénomène qui peut survenir en programmation concurrente. L interblocage se produit lorsque deux processus concurrents s attendent mutuellement. Les… … Wikipédia en Français
Étreinte fatale — Interblocage Problèmes classiques des méthodes de synchronisation Couplage fort Famine Interblocage Inversion de priorité Un interblocage (deadlock en anglais, appelé … Wikipédia en Français
Exclusion Mutuelle — Un Mutex (anglais : Mutual exclusion, Exclusion mutuelle) est une primitive de synchronisation utilisée en programmation informatique pour éviter que des ressources partagées d un système ne soient utilisées en même temps. Son implémentation … Wikipédia en Français
Exclusion mutuelle — Un Mutex (anglais : Mutual exclusion, Exclusion mutuelle) est une primitive de synchronisation utilisée en programmation informatique pour éviter que des ressources partagées d un système ne soient utilisées en même temps. Son implémentation … Wikipédia en Français
Algorithme Du Banquier — Problèmes classiques des méthodes de synchronisation Couplage fort Famine Interblocage Inversion de priorité L algorithme du banquier est un algor … Wikipédia en Français
Algorithme de la boulangerie — L algorithme de la boulangerie (Lamport s bakery algorithm en anglais) est un algorithme d exclusion mutuelle découvert par Leslie Lamport[1], dans le cadre général de machines multi processeurs à mémoire partagée ne fournissant aucune opération… … Wikipédia en Français
Algorithme du banquier — L algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965 pour éviter les problèmes interblocages et gérer l allocation des ressources. Cet algorithme est nommé ainsi car il reproduit le modèle du prêt à des… … Wikipédia en Français
Communicating Sequential Processes — En programmation concurrente[1], Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez vous (détaillé… … Wikipédia en Français
Communicating sequential processes — En programmation concurrente[1], Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez vous (détaillé… … Wikipédia en Français
Couplage Fort (Programmation Concurrente) — Pour l’article homonyme, voir Couplage. Problèmes classiques des méthodes de synchronisation … Wikipédia en Français
