LEZIONE 15/03/2018
Deadlock: Un blocco “mortale”. Lo stallo ha degli effetti estremamente negativi sulla performance, quindi
quando si scrivono un insieme di programmi che condividono varie risorse.
Una risorsa è un oggetto di cui i thread hanno bisogno per poter lavorare. Per es. una lock è una risorsa.
Tali risorse possono essere:
•Rilasciabili
• Possono interrompere in qualsiasi momento, quindi non creano problemi
• Non rilasciabili
• Possono creare stalli.
Lo stallo vero è proprio è un’attesa circolare di più risorse.
LEZIONE 20/03/18
Lo stallo è un’attesa circolare.
È stato studiato molto bene ed identificato, trovando le 4 condizioni necessarie e sufficiente che mi
garantiscono (o almeno è molto probabile) lo stallo.
Condizioni:
1. Più risorse dello stesso tipo.
2. Le risorse devono essere utilizzate in mutua esclusione e non devono essere pre rilasciabili
3. Richieste indipendenti multiple:
3.a. Se io non ho la risorsa, aspetto tale risorsa tenendomi quelle ottenute precedentemente.
4. Catena circolare di richieste
Attesa Circolare => STALLO.
