Grafo delle attese: differenze tra le versioni

Versione delle 12:16, 10 mag 2019

Versione delle 12:30, 10 mag 2019

Riga 76:

Al contrario, sono presenti condizioni necessarie ma non sufficienti come la presenza di risorse con più di una singola istanza.

Rappresentiamo quindi un caso deadlock:<syntaxhighlight lang="c">

P:{ P1, P2 }

R:{ R1, R2, R3}

R1 molteplicità 1

R2 molteplicità 1

R3 molteplicità 2

E:{ P1 --> R3, P2-->R1, P3-->R2, P1-->R1, P2-->R2, P3-->R3}

<br />

P1 richiede R3

P2 richiede R1

P3 richiede R2

P1 richiede R1 //arco di r

P2 richiede R2 // arco di

P3 richiede R3 // arco di

</syntaxhighlight><br />

[[File:GrafoDeadlock.png|thumb|Caso di deadlock]]

== Grafo riducibile ==