Scheduling della CPU n Concetti fondamentali n Criteri

Scheduling della CPU n Concetti fondamentali n Criteri di scheduling n Algoritmi di scheduling n Valutazione degli algoritmi Operating System Concepts 6. 1 Silberschatz, Galvin and Gagne 2002

Concetti fondamentali n Il massimo impiego della CPU è ottenuto con la multiprogrammazione. n Ciclo di CPU–I/O burst — L’esecuzione di un processo consiste di cicli di esecuzione da parte della CPU ed attese di I/O. Distribuzione dei burst di CPU Operating System Concepts 6. 2 Silberschatz, Galvin and Gagne 2002

Scheduler della CPU n Sceglie, fra i processi in memoria pronti ad essere eseguiti, un processo cui allocare la CPU. n Lo scheduler della CPU deve prendere una decisione quando un processo… 1. …passa da stato running a stato waiting (richiesta di I/O o attesa terminazione di un processo figlio); 2. …passa da stato running a stato ready (interrupt); 2. …passa da stato waiting a stato ready (completamento di un I/O); 3. …termina. n Se lo scheduling viene effettuato solo nei casi 1 e 4, si dice che lo schema di scheduling è non–preemptive (senza prelazione; es. Windows). Windows n Altrimenti si ha uno schema preemptive Operating System Concepts 6. 3 Silberschatz, Galvin and Gagne 2002

Dispatcher n Il modulo dispatcher passa il controllo della CPU al processo selezionato dallo scheduler a breve termine; il dispatcher effettua: F Context switch F Passaggio a modo utente F Salto alla posizione corretta del programma utente per riavviarne l’esecuzione n Latenza di dispatch — è il tempo impiegato dal dispatcher per sospendere un processo e avviare una nuova esecuzione. Operating System Concepts 6. 4 Silberschatz, Galvin and Gagne 2002

Criteri di scheduling n Utilizzo di CPU — la CPU deve essere più attiva possibile. n Throughput — numero di processi che completano la loro esecuzione nell’unità di tempo. n Tempo di turnaround — tempo impiegato per l’esecuzione di un determinato processo. n Tempo di attesa — tempo speso dal processo in attesa nella ready queue. n Tempo di risposta — tempo che intercorre tra la sottomissione di una richiesta e la prima risposta prodotta. In un sistema time–sharing il tempo di turnaround può essere influenzato dalla velocità del dispositivo di output. Operating System Concepts 6. 5 Silberschatz, Galvin and Gagne 2002

Criteri di ottimizzazione n Massimo utilizzo di CPU n Massimo throughput n Minimo tempo di turnaround n Minimo tempo di attesa n Minimo tempo di risposta Operating System Concepts 6. 6 Silberschatz, Galvin and Gagne 2002

Scheduling First–Come–First–Served (FCFS) ESEMPIO 1 Processo Tempo di burst P 1 24 P 2 3 P 3 3 n I processi arrivano al sistema nell’ordine: P 1 , P 2 , P 3. Il diagramma di Gantt per lo scheduling FCFS è: P 1 P 2 0 24 P 3 27 30 n Tempi di attesa: P 1 = 0; P 2 = 24; P 3 = 27. n Tempo medio di attesa = (0 + 24 + 27)/3 = 17. Operating System Concepts 6. 7 Silberschatz, Galvin and Gagne 2002

Scheduling FCFS Se l’ordine di arrivo è P 2 , P 3 , P 1, il diagramma di Gantt risulta… P 2 0 P 3 3 P 1 6 30 n Tempi di attesa: P 1 = 6; P 2 = 0; P 3 = 3. n Tempo medio di attesa = (6 + 0 + 3)/3 = 3. n Non si verifica l’effetto convoglio, convoglio per cui processi di breve durata devono attendere che un processo molto lungo liberi la CPU. Operating System Concepts 6. 8 Silberschatz, Galvin and Gagne 2002

Scheduling Shortest–Job–First (SJF) n Si associa a ciascun processo la lunghezza del suo burst di CPU successivo. Si opera lo scheduling in base alla brevità dei CPU burst. n Due schemi: F non–preemptive — una volta che la CPU è stata allocata al processo, non gli può essere prelazionata fino al termine del CPU burst corrente; F preemptive — se arriva un nuovo processo con burst di CPU minore del tempo rimasto per il processo corrente, il nuovo processo prelaziona la CPU. Questo schema è noto come Shortest–Remaining–Time–First (SRTF). SRTF n SJF è ottimale — rende minimo il tempo medio di attesa per un dato insieme di processi. Operating System Concepts 6. 9 Silberschatz, Galvin and Gagne 2002

Scheduling SJF non–preemptive ESEMPIO 2 Processo Tempo di arrivo Tempo di burst P 1 0. 0 7 P 2 2. 0 4 P 3 4. 0 1 P 4 5. 0 4 n SJF (non–preemptive): P 1 0 3 P 3 7 P 2 8 P 4 12 16 n Tempo medio di attesa = (0 + 6 + 3 + 7)/4 = 4. Operating System Concepts 6. 10 Silberschatz, Galvin and Gagne 2002

Scheduling SJF preemptive ESEMPIO 3 Processo P 1 0. 0 P 2 2. 0 P 3 4. 0 P 4 5. 0 n SJF (preemptive): P 1 0 P 2 2 P 3 4 Tempo di arrivo Tempo di burst 7 4 1 4 P 2 5 P 4 7 P 1 11 16 n Tempo medio di attesa = (9 + 1 + 0 +2)/4 = 3. Operating System Concepts 6. 11 Silberschatz, Galvin and Gagne 2002

Predizione della lunghezza del CPU burst successivo n Può essere stimato utilizzando la lunghezza dei burst di CPU precedenti, impiegando una media esponenziale. Operating System Concepts 6. 12 Silberschatz, Galvin and Gagne 2002

Esempi di media esponenziale n =0 F n+1 = n F La storia recente non è presa in considerazione. n =1 F n+1 = tn F Viene considerato soltanto l’ultimo CPU burst. n Espandendo la formula si ottiene: n+1 = tn+(1 - ) tn-1 + … + (1 - )j tn-j + … +(1 - )n+1 0 n Poiché e (1 - ) sono entrambi minori o uguali ad 1, ciascun termine ha minor peso del suo predecessore. Operating System Concepts 6. 13 Silberschatz, Galvin and Gagne 2002

Scheduling a priorità n Un valore di priorità (intero) è associato a ciascun processo. n La CPU viene allocata al processo con la priorità più alta (intero più basso priorità più alta). F preemptive F non–preemptive n SJF è uno scheduling a priorità dove la priorità è rappresentata dal successivo tempo di burst. n Problema Starvation (blocco indefinito) — i processi a bassa priorità potrebbero non venir mai eseguiti. n Soluzione Aging (invecchiamento) — aumento graduale della priorità dei processi che si trovano in attesa nel sistema da lungo tempo. Operating System Concepts 6. 14 Silberschatz, Galvin and Gagne 2002

Scheduling Round Robin (RR) n A ciascun processo viene allocata una piccola unità di tempo di CPU (quanto di tempo), tempo generalmente 10– 100 millisecondi. Dopo un quanto di tempo, il processo è forzato a rilasciare la CPU e accodato alla ready queue. n Se ci sono n processi nella ready queue ed il quanto di tempo è q, ciascun processo occupa 1/n del tempo di CPU in frazioni di, al più, q unità di tempo. Nessun processo attende per più di (n -1) q unità di tempo. n Prestazioni: F q grande FIFO F q piccolo q deve essere grande rispetto al tempo di context switch, altrimenti l’overhead è troppo alto. Operating System Concepts 6. 15 Silberschatz, Galvin and Gagne 2002

Scheduling RR con quanto = 20 ESEMPIO 4 Processo Tempo di burst P 1 53 P 2 17 P 3 68 P 4 24 n Il diagramma di Gantt è: P 1 0 P 2 20 37 P 3 P 4 57 P 1 77 P 3 P 4 P 1 P 3 97 117 121 134 154 162 n In genere si ha un tempo medio di turnaround maggiore rispetto a SJF, SJF tuttavia si ha una miglior tempo di risposta. Operating System Concepts 6. 16 Silberschatz, Galvin and Gagne 2002

Quanto di tempo VS context switch Un quanto di tempo minore incrementa il numero di context switch Operating System Concepts 6. 17 Silberschatz, Galvin and Gagne 2002

Quanto di tempo e tempo di turnaround Empiricamente: il quanto di tempo deve essere > o = dell’ 80% dei CPU burst. Variazione del tempo di turnaround in funzione della lunghezza del quanto di tempo Operating System Concepts 6. 18 Silberschatz, Galvin and Gagne 2002

Scheduling con code multiple n La ready queue è suddivisa in code separate: F foreground (interattiva) F background (batch) n Ciascuna coda ha il suo proprio algoritmo di scheduling: F foreground – RR F background – FCFS n È necessario uno scheduling tra code. F Scheduling a priorità fissa ; es. serve tutti i processi in foreground poi in background. Rischio di starvation. F Time slice : ciascuna coda occupa un certo tempo di CPU che suddivide fra i propri processi. Ad esempio: 4 80% per foreground in RR 4 20% per background in FCFS Operating System Concepts 6. 19 Silberschatz, Galvin and Gagne 2002

Code multiple con feedback n Un processo può spostarsi fra le varie code; l’aging può essere implementato in questo modo. n Lo scheduler con code multiple con feedback è definito dai seguenti parametri: F Numero di code F Algoritmi di scheduling per ciascuna coda F Metodo impiegato per determinare quando spostare un processo in una coda a priorità maggiore F Metodo impiegato per determinare quando spostare un processo in una coda a priorità minore F Metodo impiegato per determinare in quale coda deve essere posto un processo quando richiede un servizio Operating System Concepts 6. 20 Silberschatz, Galvin and Gagne 2002

Esempio di code multiple con feedback n Tre code: Q 0 – quanto di tempo di 8 millisecondi; Q 1 – quanto di tempo di 16 millisecondi; Q 2 – FCFS n Scheduling: F Un nuovo job viene immeso nella coda Q 0 che è servita RR. Quando prende possesso della CPU il job riceve 8 millisecondi. Se non termina, viene spostato nella coda Q 1. F Nella coda Q 1 il job è ancora servito RR e riceve ulteriori 16 millisecondi. Se ancora non ha terminato, viene mosso nella coda Q 2. Operating System Concepts 6. 21 Silberschatz, Galvin and Gagne 2002

Valutazione degli algoritmi n Modellazione deterministica — prende in considerazione un carico di lavoro predeterminato e definisce le prestazioni di ciascun algoritmo per tale carico di lavoro. n Modelli di code — modelli statistici del comportamento del sistema. n Simulazioni Valutazione di scheduler di CPU tramite simulazione Operating System Concepts 6. 22 Silberschatz, Galvin and Gagne 2002