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 tel que attend une ressource possédée par .

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.

Une Bug Un mail Merci