Next: Les graphes d'allocation de Up: Algorithmes Distribués & Interblocages Previous: Définition de l'interblocage (deadlock)

Quatre conditions nécessaires à l'interblocage.

Les conditions suivantes sont nécessaires pour avoir une possibilité d'interblocage.

Exclusion mutuelle
les ressources ne sont pas partageables, un seul processus à la fois peut utiliser la ressource.

Possession & attente
il doit exister un processus qui utilise une ressource et qui est en attente sur une requête.

Sans préemption
les ressources ne sont pas préemptibles c'est-à-dire que les libérations sont faites volontairement par les processus. On ne peut pas forcer un processus à rendre une ressource. (Contre exemple : le CPU sous Unix est préemptible)

Attente circulaire
il doit exister un ensemble de processus tex2html_wrap_inline5979 tel que tex2html_wrap_inline5979 attend une ressource possédée par tex2html_wrap_inline5983.

Les quatre conditions sont nécessaires pour qu'une situation d'interblocage ait lieu.
Exercice: montrer que pour les verrous, les quatre conditions tiennent.
Exercice: montrer que si l'une des condition n'est pas vérifiée alors il ne peut y avoir d'interblocage.



Dominique REVUZ
Mon Feb 2 12:10:31 MET 1998
Une Bug Un mail Merci