Académique Documents
Professionnel Documents
Culture Documents
Solution : Un contrôle doit avoir lieu durant l’utilisation de ce type de ressource. Ce contrôle consiste en un
protocole qui encadre les sections critiques par des séquences spéciales d’instructions. La séquence d’instructions
qui précède la section critique est appelée protocole d’acquisition. Ce dernier vise à vérifier que l’accès du
processus à sa section critique est possible et aussi interdire l’accès des autres processus à leurs sections critiques.
La séquence d’instructions qui suit la section critique est appelée protocole de libération. Elle rend l’accès à la
ressource critique possible.
L’exclusion mutuelle des processus dans leurs sections critiques n’est garantie que si les protocoles d’acquisition et
de libération sont correctement utilisés.
Contrôler la compétition entre processus, revient à trouver une solution au problème de l’exclusion mutuelle. Toute
solution à l’exclusion mutuelle se décompose en trois étapes :
1) Demande d’entrée en SC ;
2) SC ;
3) Fin et Sortie de la SC ;
Différentes approches existent. Quelque soit la solution, elle doit garantir les 4 propriétés énoncées par DIJKSTRA.