Modelli per il deadlock M

More Magazines

Recommendations

Info

Modelli per il deadlock Modello basato su grafi orientati: – (a) Il processo A detiene la risorsa R – (b) Il processo B richiede la risorsa S – (c) I processi C e D sono in deadlock (attesa circolare) Sistemi Operativi - prof. Silvio Salza - a.a. 2008-2009 III - 7 Esempio di deadlock A B C Sistemi Operativi - prof. Silvio Salza - a.a. 2008-2009 III - 8
Gestione del deadlock Diversi approcci possibili 1. Ignorare: fare finta che il problema non esista 2. Rilevare e risolvere: rilevare il deadlock e rimuovere una delle cause 3. Evitare: adottare una politica accorta di allocazione delle risorse 4. Prevenire: fare in modo che una delle condizioni necessarie non si verifichi mai Sistemi Operativi - prof. Silvio Salza - a.a. 2008-2009 III - 9 La filosofia dello struzzo • Si fa finta che il problema non esista • Se il deadlock si verifica il sistema va in crash • È un modo serio e ragionevole di comportarsi? • Sì se il costo della risoluzione del deadlock supera statisticamente quello dei danni causati • Comportamento adottato da alcuni SO per quelle risorse che possono essere causa di deadlock con probabilità molto bassa • Usato da molti sistemi per basi dati (DBMS) Sistemi Operativi - prof. Silvio Salza - a.a. 2008-2009 III - 10
Pagina 1 e 2: Parte III Deadlock Sistemi Operativ
Pagina 3: Definizione Un insieme di processi
Pagina 7 e 8: Rilevazione (risorse multiple) •
Pagina 9 e 10: Risoluzione del deadlock • Preril
Pagina 11 e 12: L’algoritmo del banchiere • Il
Pagina 13 e 14: Banchiere con risorse multiple •
Pagina 15: Negazione dell’attesa circolare

Deadlock (stallo)

Trasformi i suoi PDF in rivista online e aumenti il suo fatturato!

Deadlock (stallo)

Trasformi i suoi PDF in rivista online e aumenti il suo fatturato!

Delete template?

Save as template ?