Deadlock

Question 1

Modello del sistema

Numero finito di risorse  ⇒⇒ istanze

Answer 1

Condizioni di funzionamento di un processo per accedere a una risorsa:
⇒ richiesta
⇒ uso
⇒ rilascio

Question 2

Caratterizzazione delle situazioni di stallo

Answer 2

Condizioni necessarie: ( sono tutte necessarie contemporaneamente)
⇒ mutua esclusione ( ci deve essere una almeno risorsa non condivisibile)
⇒ possesso e attesa
⇒ assenza di prelazione
⇒ attesa circolare

Question 3

Grafo di assegnazione delle risorse

Answer 3

Utile per descrivere le situazioni di deadlock

Cicli ⇒ risorse ⇒ numero di istanze