Please enable JavaScript.
Coggle requires JavaScript to display documents.
Deadlock - Coggle Diagram
Deadlock
perché si verifichi devono svilupparsi le condizioni di Coffman
Mutua esclusione
Assenza di periclasio(preemption)
Richieste bloccanti
Attesa circolare
si affronta con
Detection e recovery(individua ed elimina)
mediante i grafi di holt
terminazione dei processi
termina uno alla volta fino a toglierlo
prerilascio di una risorsa(preemption )
forza il rilascio di una risorsa
checkpoint/rollback
si ripristina uno o più processi allo stato precedente
Avoidance
analizza in anticipo l'utilizzo delle risorse
Dijkstra algoritmo del banchiere
Ignorare il problema
tecnica dello struzzo
Prevention
elimina una condizione perché si verifichi il deadlock
risorse seriali
hold and wait
le richiede tutte all'inizio
preemption
rilascia le risorse che ha se non le ha tutte
elimina la condizione di attesa circolare
detto anche stallo abbraccio mortale
quando 2 o più processi si ostacolano a vicenda e l'esecuzione non va avanti