Interblocages

Conditions d'interblocage

1. Exclusion mutuelle.
2. Tenir et attendre.
3. Pas de réquisition.
4. Cycle

 

Détection et reprise

Détection de cycle dans un graphe. Algorithme dans le cas de plusieurs ressources de même type. Vecteur E des ressources existantes, matrice T des ressources tenues, vecteur D des ressources disponibles, matrice R des requêtes.

Evitement

Configurations sûres : graphique dans le cas de deux processus. Algorithme du banquier : on remplace, dans l'algorithme de détection d'interblocages, la matrice des requêtes, par M-T, où M est la matrice des besoins maximaux.

Prévention

Eliminer une des conditions de l'interblocage :

1. Exclusion mutuelle : spool.
2. Tenir et attendre : protocole deux phases.
3. Pas de réquisition : ?
4. Cycle : ordonner les ressources, et n'allouer qu'une ressource de numéro supérieur à ceux des ressources détenues.