La versione più recente è stata modificata il 2006-06-08 17:47:59 da AntarellO [Ritoccate la terza e la quarta condizione]
Aggiunzioni:
Le risorse già assegnate ad un processo non gli possono essere tolte forzatamente prima che abbia concluso la sua esecuzione
PER NEGARE : Bisognerebbe permettere che un processo possa scavalcare un altro nell'utilizzo di una risorsa contesa (fatto assolutamente inaccettabile nel caso di una stampante o un masterizzatore...)
Deve esistere una catena circolare di processi ognuno dei quali aspetta il rilascio di una risorsa da parte del processo che lo segue.
PER NEGARE (tre strategie):
- Posso imporre come regola che ogni processo abbia assegnata ad ogni istante una sola risorsa.
- Fornire una numerazione globale a tutte le risorse. I processi possono richiedere le risorse quando vogliono ma nel richiederle devono seguire l'ordinamento numerico.
- Quando ho già ottenuto una prima risorsa e ne sto chiedendo un'altra, posso limitare il tempo d'attesa della seconda risorsa e se non riesco ad ottenerla entro il tempo previsto rilascio anche la prima in modo da non tenerla occupata per un tempo indefinito.
Omissioni:
Le risorse già assegnate ad un processo non gli possono essere tolte prima che abbia concluso la sua esecuzione
PER NEGARE : Quando tento di ottenere una risorsa, posso limitare il tempo di attesa in modo da renderla disponibile a qualcun altro.
Deve esistere una catena circolare di processi ognuno dei quali
aspetta il rilascio di una risorsa da parte del processo che lo segue.
Modificato il 2006-06-08 17:12:47 da AntarellO [Aggiunta spiegazione in corsivo]
Aggiunzioni:
In elenco le 4 condizioni necessarie affinché possa verificarsi una condizione di deadlock. Negando almeno una delle quattro, un programma non è a rischio deadlock
Un processo che ha ottenuto delle risorse ne può richiedere altre
Le risorse già assegnate ad un processo non gli possono essere tolte prima che abbia concluso la sua esecuzione
Omissioni:
Un processo che ha ottenuto una risorsa ne può richiedere altre
Un processo deve poter rilasciare una risorsa acquisita
La versione più vecchia di questa pagina è stata modificata il 2006-06-08 17:01:20 da DenteDiLupo [Aggiunta pagina]
Vista della pagina:
DEADLOCK
1 condizione : MUTUA ESCLUSIONE
Ogni risorsa è assegnata ad un solo processo oppure è disponibile
2 condizione : HOLD AND WAIT
Un processo che ha ottenuto una risorsa ne può richiedere altre
PER NEGARE : Un processo prima di iniziare l'esecuzione deve richiedere tutte le risorse di cui ha bisogno...
3 condizione : MANCANZA DI PRERILASCIO
Un processo deve poter rilasciare una risorsa acquisita
PER NEGARE : Quando tento di ottenere una risorsa, posso limitare il tempo di attesa in modo da renderla disponibile a qualcun altro.
4 condizione : ATTESA CIRCOLARE
Deve esistere una catena circolare di processi ognuno dei quali
aspetta il rilascio di una risorsa da parte del processo che lo segue.
Torna a Lab Sistemi Operativi
