Sistemi operativi: algoritmo del banchiere, Starvation, definizione di Page Fault, Buddy System, barriere

Argomenti più comuni esame di sistemi operativi

Ingegneria informatica ed elettronica

• Algoritmo del banchiere – 22
• Starvation – 23
• Definizione di page fault – 24
• Buddy system – 25
• Barriere – 26

Algoritmo del banchiere

Stato sicuro: uno stato si dice sicuro se esiste una sequenza di altri stati che porta tutti i processi ad ottenere le risorse necessarie (e quindi terminare), altrimenti viene detto non sicuro. Per evitare i deadlock è sufficiente evitare gli stati non sicuri.

Algoritmo del banchiere. Tratta risorse multiple. Ogni processo deve dichiarare il numero massimo di risorse necessarie (prima del suo avvio). Se un processo richiede una risorsa che non è disponibile, rimane in attesa (che essa venga riassegnata). Dopo che un processo ha ottenuto tutte le risorse necessarie, le deve rilasciare in un tempo finito. Una richiesta viene evasa solo se porta in uno stato ancora sicuro, altrimenti il processo deve attendere. Tuttavia, questo algoritmo presuppone una conoscenza completa del sistema (svantaggio). Inoltre, una richiesta viene evasa solo se porta in uno stato ancora sicuro, altrimenti il processo deve attendere.

Mutua esclusione: se non vi sono risorse assegnate in modo esclusivo ad un singolo processo, allora non vi saranno deadlock.

Hold and Wait: occorre evitare che processi che detengono risorse rimangano in attesa di ulteriori risorse. Ci possono essere varie soluzioni: un processo richiede immediatamente tutte le risorse di cui ha bisogno, se non sono disponibili attende. Nascono nuovi problemi: un processo non sempre sa quello di cui ha bisogno nel corso dell'esecuzione; l'uso delle risorse non è ottimizzato (rimangono risorse spesso inutilizzate); vi è il rischio che un processo che ha bisogno di molte risorse rimanga in attesa per tempi molto lunghi. Un modo leggermente diverso è quello di imporre che un processo rilasci temporaneamente le risorse detenute prima di una nuova richiesta.

"Nessun prerilascio". La terza condizione è di fatto inutilizzabile.

Attesa Circolare: può essere eliminata in vari modi: un processo può richiedere una sola risorsa per volta; le risorse sono numerate e possono essere richieste solo secondo l'ordine numerico (il filosofo 4 non può richiedere la forchetta 4 prima della forchetta 1). Una variante richiede semplicemente che la nuova risorsa debba avere un'etichetta maggiore di tutte quelle detenute.

Starvation

A differenza del deadlock, il quale coinvolge necessariamente più processi legati tra loro che si bloccano l’un l’altro, la Starvation...