Stallo (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: vi:Deadlock; modifiche estetiche |
m Bot: errori di battitura |
||
Riga 10:
Le condizioni necessarie ma non sufficienti, per il verificarsi di un deadlock sono:
#'''Mutua esclusione''': almeno una delle risorse del sistema deve essere 'non condivisibile' (ossia usata da un processo alla volta oppure libera).
#'''Possesso ed attesa''': i processi che possiedono almeno una risorsa, devono attendere prima di richiederne altre (
#'''Impossibilità di prelazione''': solo il processo che detiene la risorsa può rilasciarla.
#'''Attesa circolare''': esiste un gruppo di processi {P<sub>0</sub>,P<sub>1</sub>,...,P<sub>n</sub>} per cui P<sub>0</sub> è in attesa per una risorsa occupata da P<sub>1</sub>, P<sub>1</sub> per una risorsa di P<sub>2</sub>, ecc... P<sub>n</sub> per una risorsa di P<sub>0</sub>.
| |||