Sezione critica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 26:
Nella gestione della sezione critica, le garanzie principali da fornire sono tre:
#[[mutua esclusione]]: se il processo P<sub>i</sub> è in esecuzione nella sua sezione critica, nessun altro processo può essere in esecuzione nella propria sezione critica.
#attesa limitata: Se un processo ha già richiesto l'ingresso nella sua sezione critica, esiste un limite al numero di volte che si consente ad altri processi di entrare nelle rispettive sezioni critiche prima che si accordi la richiesta del primo processo. (limite massimo di attesa dopo che ho espresso la volontà di entrare in sezione critica, nessun [[deadlock]] né [[starvation]])
#progresso (solo chi è fuori dalla propria sezione critica decide chi sarà il prossimo ad entrarci o, in altre parole, chiunque prima o poi deve poter accedere alla propria sezione critica)
La gestione delle sezioni critiche nei sistemi operativi prevedono l'impiego di due strategie principiali:
# Kernel con diritto di prelazione (primitive)
# Kernel senza diritto di prelazione (non primitive)
Un kernel con diritto di prelazione consente che un processo funzionante in modalità di sistema, sia sottoposto a prelazione, rinviandone in tal modo l'esecuzione.
== Note ==
| |||