Montrez qu’il ne peut pas y avoir d’interblocage.
b – On généralise l’exemple précédent : N processus se partagent M instances d’une
ressource R. Chaque processus a besoin d’au maximum T instances (et on suppose que T
<= M sinon, il est clair que ça ne peut pas marcher du tout). On suppose, de plus, que la
somme totale de toutes les demandes des processus est plus petite que M + N. Montrez
qu’il ne peut pas y avoir d’interblocage.
c – On suppose maintenant qu’il y a 5 processus, et deux ressources R1 et R2. R1
possède 6 instances et R2 possède 11 instances. Chaque processus a besoin d’au
maximum 2 instances de R1 et de 3 instances de R2. Si l’on considère chaque ressource
indépendamment (les processus ont besoin des instances de l’une des ressources, les
libèrent puis prennent les instances de l’autre ressource), le résultat de la question 2 assure
qu’il n’y aura pas d’interblocage. Montrez que par contre, si l’on prend en compte les deux
ressources (i.e. les processus ont besoin des instances des deux ressources
conjointement), il peut y avoir interblocage.
d – On suppose maintenant que l’on dispose de 7 instances de la ressource R1 et de 14
instances de R2, et on garde les hypothèses de la question 3. Montrez que cette fois, il ne
peut pas y avoir d’interblocage.
Exercice 4 – Evitement
Objectif : analyse d’un système multi-ressources et multi-instances
1 - On considère un système comportant 4 types de ressources (r1, r2, r3 et r4). Il y a 5
processus P1, P2, P3, P4 et P5. On donne la matrice des besoins maximaux et la matrice
d'allocation.
Max =
r1 r2 r3 r4
(
7 2 0 1
14 1 1 2
6 2 1 2
3 3 0 0
5 4 2 1
)
P1
P2
P3
P4
P5
et Alloc =
r1 r2 r3 r4
(
4 1 0 1
2 0 1 2
1 2 1 0
2 1 0 0
2 2 0 0
)
P1
P2
P3
P4
P5
.
Par ailleurs, on donne Dispo = (4 1 1 0).
a – Calculez la matrice Besoin et le vecteur Exist.
b – Peut-on éviter l'interblocage ?
2 – On considère maintenant un système de 4 processus P1, P2, P3 et P4, possédant deux
ressources multi-instances R1 et R2.
Les besoins des processus sont les suivants :
P1 : 2 instances de R1 et 1 de R2
P2 : 2 instances de R1 et 2 de R2
P3 : 3 instances de R1 et 3 de R2
P4 : 3 instances de R1 et 1 de R2
Existe-t-il des situations d'interblocage :
a – S'il y a 7 instances de R1 et 5 de R2 ?
b – S'il y a 9 instances de R1 et 6 de R2 ?