Stallo (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m fix wl |
|||
Riga 15:
Una situazione di Deadlock può essere riconosciuta analizzando il [[Grafo delle attese]] dei task del sistema.
I deadlock si possono verificare solo se sono presenti contemporaneamente le quattro condizioni di cui sopra (che sono quindi necessarie).
Le condizioni diventano anche sufficienti nel caso di una sola istanza per ciascun tipo di risorsa
| |||