Stallo (informatica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 46.19.237.117 (discussione), riportata alla versione precedente di Superchilum
Riga 10:
In un deadlock si verificano sempre queste situazioni:
#'''Mutua esclusione''': almeno una delle risorse del sistema deve essere 'non condivisibile' (ossia usata da un processo alla volta oppure libera).
#'''Accumulo incrementale''': i processi che possiedono almeno una risorsa, devono attendere prima di richiederne altre (già allocate ad altri processi).
#'''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>.