Qual è la differenza tra evitare e prevenire le situazioni di stallo?

La prevenzione elimina in anticipo una delle quattro condizioni, impedendo così la formazione di un deadlock. L'evitamento, invece, consente la presenza delle condizioni, ma utilizza controlli a tempo di esecuzione, come l'algoritmo del banchiere, per mantenere il sistema in uno stato sicuro.

Stallo in OperaSistema di automazione: cos'è l'attesa circolare (esempi)

⚡ Riepilogo intelligente

In un sistema operativo, si verifica un deadlock quando un insieme di processi si blocca perché ciascuno di essi detiene una risorsa e attende di poterne utilizzare un'altra, detenuta da un altro processo, creando un circolo vizioso in cui nessun processo può proseguire.

🔒 Definizione: Una situazione di stallo (deadlock) blocca i processi che detengono ciascuno una risorsa in attesa che l'altro la completi.
🧩 Quattro condizioni: L'esclusione reciproca, la sospensione e attesa, la non prelazione e l'attesa circolare devono coesistere.
🔁 Attesa circolare: I processi formano una catena chiusa, in cui ciascuno attende una risorsa detenuta dal successivo.
🛡️ Prevenzione: La violazione di una qualsiasi delle quattro condizioni impedisce la formazione di una situazione di stallo.
🏦 Evitare: L'algoritmo del banchiere controlla le richieste di risorse per mantenere il sistema in uno stato sicuro.
🤖 Angolo dell'IA: L'apprendimento automatico rileva gli schemi di deadlock e Copilot aiuta a scrivere e rivedere il codice di blocco.

Scopri di più

Che cosa è Deadlock?

Deadlock è una situazione che si verifica in un sistema operativo Il deadlock si verifica quando un processo entra in uno stato di attesa perché un altro processo in attesa sta occupando la risorsa richiesta. Il deadlock è un problema comune nel multiprocessing, dove diversi processi condividono un tipo specifico di risorsa mutuamente esclusiva, nota come soft lock o software lock.

Quando si verifica un deadlock, nessuno dei processi coinvolti può proseguire, quindi il lavoro interessato si interrompe fino all'intervento del sistema operativo.

Esempio di stallo

Un esempio concreto potrebbe essere il traffico che si muove in un'unica direzione.
Qui un ponte è considerato una risorsa.
Quindi, quando si verifica una situazione di stallo, è possibile risolverla se una delle auto fa retromarcia (prelazione delle risorse e rollback).
In caso di stallo, potrebbe essere necessario far retromarcia su più auto.
Quindi, la fame è possibile.

Esempio di stallo

Cos'è l'attesa circolare?

Un processo è in attesa di una risorsa detenuta da un secondo processo, il quale a sua volta è in attesa di una risorsa detenuta da un terzo processo, e così via. Questo continua finché l'ultimo processo non è in attesa di una risorsa detenuta dal primo processo. Si crea così una catena circolare.

Ad esempio, al processo A viene assegnata la risorsa B mentre sta richiedendo la risorsa A. Allo stesso modo, al processo B viene assegnata la risorsa A mentre sta richiedendo la risorsa B. Questo crea un ciclo di attesa circolare.

Esempio di attesa circolare

Ad esempio, un computer ha tre unità USB e tre processi. Ciascuno dei tre processi occupa una delle unità USB. Pertanto, quando un processo richiede un'altra unità, i tre processi raggiungono una situazione di deadlock, poiché ognuno attende che un'unità USB venga rilasciata mentre è ancora in uso. Ciò si traduce in una catena circolare.

Esempio di attesa circolare

Rilevamento deadlock nel sistema operativo

Un evento di deadlock può essere rilevato dallo scheduler delle risorse. Uno scheduler delle risorse aiuta il sistema operativo a mantenere track di tutte le risorse allocate ai diversi processi. Una volta rilevato un deadlock, questo può essere risolto mediante la prelazione delle risorse, il rollback di un processo o la terminazione di uno o più processi in deadlock.

Prevenzione del deadlock nel sistema operativo

È fondamentale prevenire un deadlock prima che si verifichi. Il sistema controlla ogni transazione prima dell'esecuzione per assicurarsi che non porti a un deadlock. Anche una piccola operazione che potrebbe causare un deadlock in futuro non viene mai autorizzata all'esecuzione.

La prevenzione del deadlock è un insieme di metodi per garantire che almeno una delle quattro condizioni necessarie non possa verificarsi.

Nessuna prelazione

Una risorsa può essere rilasciata solo volontariamente dal processo che la detiene, dopo che tale processo ha terminato la sua attività.

Se un processo che detiene delle risorse richiede un'altra risorsa che non può essergli assegnata immediatamente, tutte le sue risorse vengono rilasciate.
Le risorse interrotte vengono aggiunte all'elenco delle risorse per le quali il processo è in attesa.
Il processo viene riavviato solo quando è in grado di recuperare sia le risorse precedenti che quelle nuove richieste.

Esclusione reciproca

Mutua Esclusione è la forma estesa di Mutex. È un tipo speciale di esclusione binaria semaforo che viene utilizzato per controllare l'accesso a una risorsa condivisa. Include un meccanismo di ereditarietà della priorità per evitare problemi di inversione di priorità prolungata e mantiene bloccate le attività a priorità più elevata per il minor tempo possibile.

Le risorse condivise, come i file di sola lettura, non causano mai deadlock, ma risorse come stampanti e unità a nastro necessitano dell'accesso esclusivo da parte di un singolo processo.

Aspetta e aspetta

In questa condizione, i processi devono essere interrotti mentre occupano una o più risorse e sono contemporaneamente in attesa di una o più altre.

Attesa circolare

Questo metodo impone un ordinamento totale di tutti i tipi di risorse. La prevenzione delle attese circolari richiede inoltre che ogni processo richieda le risorse in un ordine di enumerazione crescente.

Evitare lo stallo Algorithms

È preferibile evitare una situazione di stallo piuttosto che intervenire dopo che si è verificata. La prevenzione richiede informazioni aggiuntive, come ad esempio le modalità di utilizzo delle risorse. Un modello utile per la prevenzione degli stalli è quello in cui ogni processo dichiara il numero massimo di risorse di ciascun tipo di cui potrebbe aver bisogno.

Evitare Algorithms

L'algoritmo di prevenzione del deadlock valuta dinamicamente lo stato di allocazione delle risorse in modo che non si verifichi mai una situazione di attesa circolare.

Per una singola istanza di un tipo di risorsa:

Utilizzare un grafico di allocazione delle risorse.
Per raggiungere un deadlock è necessario e sufficiente un ciclo nel grafico.

Per più istanze di un tipo di risorsa:

Un ciclo è necessario ma non sufficiente per una situazione di stallo.
Usa il Algoritmo del banchiere.

Differenza tra fame e stallo

Ecco alcune importanti differenze tra stallo e fame:

Deadlock	Fame
La situazione di deadlock si verifica quando uno dei processi si blocca.	La starvation è una situazione in cui tutti i processi a bassa priorità vengono bloccati mentre i processi ad alta priorità vengono eseguiti.
La situazione di stallo è un processo infinito.	La fame è una lunga attesa, ma non un processo infinito.
Ogni situazione di stallo porta sempre alla fame.	Non ogni carestia porta necessariamente a una situazione di stallo.
La situazione di stallo si verifica a causa della coesistenza di esclusione reciproca, attesa e mantenimento, nessuna prelazione e attesa circolare.	Ciò accade a causa di priorità non controllate e di una gestione inadeguata delle risorse.

Vantaggi del deadlock

Ecco i vantaggi dell'utilizzo del metodo di gestione del deadlock:

Questa situazione funziona bene per i processi che eseguono un singolo picco di attività.
Non è necessaria alcuna prelazione in caso di stallo.
Si tratta di un metodo conveniente se applicato a risorse il cui stato può essere salvato e ripristinato facilmente.
È possibile imporre tale limitazione tramite controlli in fase di compilazione.
Non richiede calcoli in fase di esecuzione, poiché il problema è risolto già nella fase di progettazione del sistema.

Svantaggi del deadlock

Ecco gli svantaggi dell'utilizzo del metodo di gestione del deadlock:

Ciò ritarda l'avvio del processo.
I processi devono conoscere in anticipo il loro fabbisogno futuro di risorse.
Interviene più spesso del necessario.
Non consente richieste incrementali di risorse.
Presenta perdite intrinseche dovute alla prelazione.

DOMANDE FREQUENTI

Per verificarsi un deadlock sono necessarie quattro condizioni di Coffman contemporaneamente: esclusione reciproca, attesa e mantenimento, nessuna prelazione e attesa circolare. La rimozione di una qualsiasi di queste condizioni impedisce la formazione di un deadlock.

La prevenzione rimuove una delle quattro condizioni in anticipo in modo che non si possa mai formare un deadlock. L'evitamento consente le condizioni ma utilizza controlli in fase di esecuzione, come il Algoritmo del banchiere, per mantenere il sistema in uno stato sicuro.

In un deadlock, i processi bloccati si arrestano completamente e non cambiano mai stato. In un livelockI processi continuano a cambiare stato e a utilizzare la CPU, ma non fanno progressi. Livelock è un caso particolare di esaurimento delle risorse.

La maggior parte dei sistemi generici, inclusi Windows Linux, invece, utilizza l'algoritmo dello struzzo e ignora semplicemente i rari deadlock perché la prevenzione è costosa. I database e i sistemi in tempo reale, al contrario, eseguono routine attive di rilevamento e ripristino.

Un grafo di allocazione delle risorse mappa processi e risorse come nodi collegati da archi di richiesta e assegnazione. Un ciclo nel grafo segnala un possibile deadlock; con risorse a istanza singola, un ciclo indica sempre la presenza di un deadlock.

No. Un vero deadlock è permanente, perché i processi bloccati non rilasciano mai le proprie risorse autonomamente. Il sistema operativo deve sbloccarlo acquisendo una risorsa, annullando l'operazione o terminando uno dei processi.

I modelli di machine learning apprendono schemi di richiesta di risorse per prevedere e segnalare i deadlock prima che si verifichino. Gli scheduler basati sull'IA possono riordinare le richieste o ottimizzare le politiche di blocco, il che risulta utile nei database, nelle piattaforme cloud e nei sistemi distribuiti.

Sì. GitHub Copilot è in grado di individuare ordini di blocco rischiosi, suggerire un'acquisizione di blocco coerente e generare test che rivelano i deadlock. Considera il suo output come una prima analisi e verifica comunque la logica di concorrenza con strumenti di analisi appropriati.