SOLUZIONE Istruzioni: Indirizzo logico Legittimo? Indirizzo fisico SI NO SI Dati:

Transcript

1 SRIZIO Segmentazione In un sistema che gestisce la memoria con spazio logico suddiviso in segmento codice e segmento dati (comprensivo della pila) e caricamento in partizioni variabili con rilocazione dinamica, i registri base e limite del segmento codice hanno a un certo istante i valori = 2. e L = 2., mentre i registri base e limite del segmento dati hanno i valori 2 = 4. e L 2 = 2.. Supponendo che il processo in esecuzione estragga istruzioni dagli indirizzi logici., 3. e 2., che riferiscono dati con indirizzi logici 4., 4. e 2., dire se ognuno dei precedenti indirizzi logici è legittimo e, in caso affermativo, calcolare il corrispondente indirizzo fisico. SOLUZION Istruzioni: Indirizzo logico Legittimo? Indirizzo fisico ati:.. SI NO SI NO NO SI 6

2 SRIZIO Segmentazione 2 In un sistema che gestisce la memoria con segmentazione a domanda, l indirizzo logico è di 2 bit, dei quali i primi 6 bit codificano l indice di segmento e i restanti 22 bit definiscono l offset. Ogni elemento della tabella dei segmenti è formato da byte, dei quali byte contiene indicatori utili al gestore della memoria, 3 byte contengono il valore base, e i restanti 3 byte contengono il valore limite. Si chiede:. Il massimo numero di segmenti di un processo; 2. La massima dimensione di un segmento (in byte); 3. La massima dimensione della tabella dei segmenti (in byte); 4. Il massimo valore possibile per l indirizzo di origine di un segmento; SOLUZION. Massimo numero di segmenti di un processo: 2 6 segmenti = 64 segmenti 2. Massima dimensione di un segmento (in byte): 2 22 byte = 4 Mbyte 3. Massima dimensione della tabella dei segmenti (in byte): 64*= 44 byte 4. Massimo valore possibile per l indirizzo di origine di un segmento:

3 SRIZIO Tabelle delle pagine Si consideri un sistema dove gli indirizzi logici hanno la lunghezza di 32 bit e le pagine logiche e fisiche hanno ampiezza di 4 kyte. Per la gestione della memoria con paginazione dinamica si utilizzano tabelle delle pagine a 2 livelli. La tabella di primo livello comprende 2 elementi. Gli elementi di ogni tabella di primo o secondo livello occupano 4 byte, di cui è riservato agli indicatori (pagina caricata, riferita, modificata, ecc.) mentre i rimanenti individuano un indice di blocco fisico. Si chiede:. la lunghezza del campo offset, in numero di bit; 2. la lunghezza delle tabelle di secondo livello (numero di elementi); 3. lo spazio occupato in memoria da ogni tabella di secondo livello (numero di byte); 4. la massima dimensione della memoria fisica (numero di blocchi e di byte, espressi come potenze di 2). SOLUZION. lunghezza del campo offset : 2 bit 2. lunghezza (numero di elementi) di ogni tabella di secondo livello: 2 elementi 3. spazio occupato in memoria da ogni tabella di secondo livello (numero di byte) : 2 2 byte 4. massima dimensione della memoria fisica : 2 24 blocchi 2 24 * 2 2 = 2 36 byte (gli indici dei blocchi di memoria fisica sono codificati con 3 byte)

4 SRIZIO Tabella delle pagine 2 Un sistema gestisce la memoria con paginazione e usa indirizzi logici di 32 bit, blocchi di memoria di kbyte e tabelle delle pagine a due livelli. La tabella delle pagine di livello (o directory) e quelle di 2 livello hanno uguale dimensione. Ogni elemento della tabella di primo livello e di quelle di secondo livello contiene l indice di un blocco di memoria e 2 bit di controllo. La memoria fisica ha una capacità di 4 Gbyte (= 2 32 byte) omande:. Nell indirizzo logico, quanti bit sono riservati all offset nella tabella di livello, quanti all offset nella tabella di 2 livello e quanti all offset nella pagina logica? 2. Quanti bit sono necessari per codificare un indice di blocco e quanti bit contiene ogni elemento dei tabella di primo o di secondo livello? 3. Quanti byte e quanti blocchi di memoria occupa ogni tabella? SOLUZION Il numero di blocchi fisici è Offset in Tab livello (numero di bit): bit Offset in Tab 2 livello (numero di bit): bit Offset in pagina logica (numero di bit): bit 2. it necessari per codificare un indice di blocco: 22 bit Lunghezza in bit di ogni elemento di tabella: 24 bit (22 bit per l indice di blocco + 2 bit di controllo) 3. Numero di byte occupati da ogni tabella: Numero di blocchi occupati da ogni tabella: 2 elementi di 3 byte 6 * 2 byte 6 blocchi

5 SRIZIO Tabella delle pagine 3 Si consideri un sistema che gestisce la memoria con paginazione dinamica con le seguenti caratteristiche: indirizzi logici di 32 bit e ampiezza dello spazio logico di ogni processo pari a 2 32 byte; pagine logiche e blocchi fisici di Kyte; tabelle delle pagine a due livelli; la tabella di primo livello comprende 2 elementi; tutti gli elementi della tabella di primo e di secondo livello hanno lunghezza pari a 32 bit, di cui sono indicatori e i restanti 22 codificano l indice di un blocco fisico; In questo sistema è presente il processo P, che ha allocato nello spazio virtuale due aree di memoria: rea : 2 Mbyte a partire dalla locazione * 24 rea 2: 4 Mbyte a partire dalla locazione 46* 24 Si chiede:. La lunghezza, in numero di bit, delle componenti dell indirizzo logico che indirizzano, rispettivamente, la tabella di primo livello, di secondo livello, e l offset; 2. Lo spazio occupato in memoria dalla tabella di primo livello e da ogni tabella di secondo livello (in byte); 3. La massima dimensione della memoria fisica (numero di blocchi e di byte, espressi come potenze di 2); 4. Lo spazio indirizzabile da una tabella di secondo livello;. Quali elementi della tabella di primo livello sono usati per indirizzare l rea ; 6. Quali elementi della tabella/ delle tabelle di secondo livello sono usate per indirizzare l rea ;. Quali elementi della tabella di primo livello sono usati per indirizzare l rea 2;. Quali elementi della tabella/ delle tabelle di secondo livello sono usate per indirizzare l rea 2; Soluzione. Lunghezza del campo che indirizza la tabella di livello: bit 2. Lunghezza del campo che indirizza la tabella di 2 livello: 2 bit 3. Lunghezza del campo offset: bit 4. Spazio occupato in memoria dalla tabella di livello: 4 kyte. Spazio occupato in memoria dalla tabella di 2 livello: 6 kyte 6. Massima dimensione della memoria fisica: 2 22 blocchi = ytes. Spazio indirizzabile da una tabella di 2 livello: 2 2+ ytes = 4 Mytes. L rea occupa le locazioni comprese tra *24 e (+24) *24, quindi tra Kbyte (estremo incluso) e 2Mbyte+Kbyte (estremo escluso). Si tratta di locazioni comprese nei primi 4Mbyte della memoria virtuale, che sono indirizzabili dalla prima tabella di secondo livello. Quindi l rea è indirizzata dall elemento della tabella di primo livello.. Ogni elemento di una tabella di 2 livello indirizza Kbyte, quindi l rea è indirizzata dagli elementi della tabella di secondo livello compresi tra: e L rea 2 occupa le locazioni comprese tra 46* 24 e (46+46) *24, quindi tra 4 Myte (estremo incluso)e Myte (estremo escluso). Si tratta di locazioni comprese nei secondi 4Mbyte della memoria virtuale, che sono indirizzabili dalla seconda tabella di secondo livello. Quindi l rea 2 è indirizzata dall elemento della tabella di primo livello.. Ogni elemento di una tabella di 2 livello indirizza Kbyte, quindi l rea 2 è indirizzata dagli elementi della tabella di secondo livello compresi tra e 46-. In altri termini, per indirizzare l rea 2 si utilizzano tutti gli elementi della tabella di secondo livello di indice.

6 SRIZIO Tabella delle pagine 4 Si consideri un sistema dove gli indirizzi logici hanno la lunghezza di 32 bit e le pagine logiche e i blocchi fisici hanno ampiezza di 2 kyte.per la gestione della memoria con paginazione a domanda si utilizzano tabelle delle pagine a 3 livelli. Le tabelle di primo, secondo o terzo livello hanno tutte uguale lunghezza.per ogni tabella, gli elementi occupano 3 byte e riservano 4 bit agli indicatori (bit di presenza, riferimento, modifica e protezione in scrittura). I rimanenti bit codificano un indice di blocco fisico. Si chiede:. la lunghezza del campo offset, in numero di bit; 6. la lunghezza delle tabelle di secondo livello (numero di elementi);. lo spazio occupato in memoria da ogni tabella di secondo livello (numero di byte);. la massima estensione della memoria fisica (numero di blocchi e di byte, espressi come potenze di 2). SOLUZION. lunghezza del campo offset : bit 6. lunghezza, in numero di elementi, di ogni tabella di primo, secondo o terzo livello: 2 elementi. spazio occupato da ogni tabella di primo, secondo o terzo livello, in numero di byte : 3* 2 = 34 byte. massima estensione della memoria fisica : 2 2 blocchi 2 2 * 2 = 2 3 byte 2 Gbyte.

7 SRIZIO Segmentazione paginata In un sistema che gestisce la memoria con segmentazione paginata, l indirizzo logico è di 32 bit, dei quali i primi 6 bit codificano l indice di segmento e i restanti 26 bit definiscono l offset all interno del segmento. I 26 bit dell offset codificano l indice di pagina con 4 bit e l offset all interno della pagina con i restanti 2 bit. Si chiede: il massimo numero di segmenti di un processo, la dimensione di una pagina (in byte); la massima dimensione di un segmento (in numero di pagine); la massima dimensione della tabella delle pagine (in numero di descrittori). SOLUZION. Massimo numero di segmenti di un processo: 2 6 segmenti = 64 segmenti 6. imensione di una pagina: 2 2 = 4K. Massima dimensione di un segmento : 2 4 = 6K pagine Massimo numero di descrittori nella tabella delle pagine: 2 4 = 6K

8 sercizio Segmentazione paginata 2 Si consideri un sistema che gestisce la memoria con segmentazione, con spazio logico suddiviso in segmento codice, segmento dati e pila (rispettivamente individuati dagli indici,, 2) e caricamento in partizioni variabili con rilocazione dinamica. un certo istante i registri base e limite del segmento codice, dati e pila hanno rispettivamente i valori =.4 e L= 3., = 2. e L=.22 e 2=. e L2= 3.2. Supponendo che il processo in esecuzione riferisca i seguenti indirizzi logici, formati da coppie contenenti l indice di segmento e l offset,. <,.4>, 2. <2, 3.>, 3. <3,.>, 4. <, 2.3>, si chiede se ognuno dei precedenti indirizzi logici è legittimo e, in caso affermativo, di qual è il corrispondente indirizzo fisico. Soluzione Indirizzo logico Legittimo? Indirizzo fisico 4. <,.4>, SI 4.. <2, 3.>, SI. 6. <3,.>, NO. <, 2.3>, NO

9 SRIZIO Page daemon Un sistema operativo simile a UNIX, che gestisce la memoria con paginazione a domanda, utilizza il processo Pageaemon, con parametri lotsfree= e minfree=2, e l algoritmo di sostituzione Second hance. Gli elementi della oremap hanno i campi Proc (processo a cui è assegnato il blocco; il campo è vuoto se il blocco è libero); Pag (pagina del processo caricata nel blocco), Rif (bit di pagina riferita utilizzato da Second hance). l tempo t sono presenti i processi,,, e la ore Map ha la configurazione mostrata in figura, con il puntatore dell algoritmo di sostituzione posizionato sul blocco. I primi 6 blocchi della memoria fisica sono riservati al sistema operativo e sono ignorati dall algoritmo di sostituzione. Proc Pag Rif locco ore Map al tempo t Il Pageaemon interviene al tempo t e successivamente ogni msec. d ogni intervento, Pageaemon avanza per msec occupando in modo esclusivo il processore e scarica fino a 3 pagine o, in alternativa, se il numero di pagine libere è minore di minfree, esegue lo swapout di un processo. La selezione dei processi candidati allo swapout avviene in ordine alfabetico. In caso di errori di pagina, i blocchi liberi vengono assegnati in ordine crescente di indice. onsiderare la seguente evoluzione del sistema:. al tempo t al tempo t+ avanza il processo Pageaemon; 2. al tempo t+ al tempo t+ avanzano i processi e, che riferiscono nell ordine le pagine,, 6, 2,, 4, 2, 3. al tempo t+ al tempo t+ avanza il processo Pageaemon; 4. al tempo t+ al tempo t+2 avanzano i processi e, che riferiscono nell ordine le pagine 3, 6, 2,,, 2, 3, ;. al tempo t+2 al tempo t+2 avanza il processo Pageaemon. Mostrare la configurazione della oremap ai tempi,,, 2 e 2 SOLUZION (Modificare incrementalmente la configurazione iniziale della oremap, aggiornando anche la posizione del puntatore) Proc Pag Rif locco ore Map al tempo t+ (scaricata pagina) Proc Pag Rif loc co ore Map al tempo t+ (2 blocchi liberi) Proc Pag Rif loc co ore Map al tempo t+ (scaricate 3 pagine)

10 Proc Pag Rif locco ore Map al tempo t+2 ( blocco libero) Proc Pag Rif locco ore Map al tempo t+2 (scaricato il processo : il numero di pagine libere rimane < lotsfree, ma Pageraemon ha il vincolo di scaricare un solo processo in ogni intervento) )

11 SRIZIO Page daemon bis Un sistema operativo simile a UNIX, che gestisce la memoria con paginazione a domanda, utilizza il processo Pageaemon, con parametri lotsfree= e minfree=4, e l algoritmo di sostituzione Second hance. Per l eventuale swapout, i processi sono considerati in ordine alfabetico. Notare che non si considera il parametro desfree. Gli elementi della oremap hanno i campi Proc (processo a cui è assegnato il blocco), Pag (pagina del processo caricata nel blocco) e Rif (bit di uso, utilizzato da Second hance); questi campi sono vuoti se il blocco è libero. I blocchi di indici,, 2, 3, 4, e sono riservati al sistema operativo e sono ignorati dal Pageaemon. Il Pageaemon interviene al tempo t sono quando sono presenti i processi,,,, e rimane in esecuzione per tutto il tempo necessario ad applicare la sua politica, utilizzando in modo esclusivo il processore (in altri termini, nessuno dei processi avanza in questo intervallo di tempo. onsiderando le ipotesi a), b), c) d) per la configurazione della oremap e per la posizione del puntatore al tempo t, definire per ciascuna ipotesi la configurazione della oremap e la posizione del puntatore al termine dell intervento del Pageaemon (riempire solo le caselle modificate). Inoltre elencare, con formato (proc, pag), le pagine eventualmente scaricate o i processi eventualmente scaricati. SOLUZION Ipotesi a) S. S. S. S. O. O. O. O. S. S. O. O onfigurazione della oremap e posizione del puntatore al tempo t (per esempio: il blocco 2 è assegnato alla pagina del processo, con bit di uso,e il puntatore è posizionato sul blocco 2) S. S. S. S. S. S. O. O. O. O. O. O onfigurazione della oremap e posizione del puntatore al termine dell intervento di Pageaemon Pagine scaricate: (, ), (, ), (, ) Processi scaricati: Ipotesi b) S. S. S. S. S. S. O. O. O. O. O. O S. S. S. S. S. S. O. O. O. O. O. O onfigurazione della oremap e posizione del puntatore al tempo t onfigurazione della oremap e posizione del puntatore al termine dell intervento di Pageaemon Pagine scaricate: Processi scaricati: Ipotesi c) S. S. S. S. S. S. O. O. O. O. O. O onfigurazione della oremap e posizione del puntatore al tempo t

12 S. S. S. S. S. S. O. O. O. O. O. O onfigurazione della oremap e posizione del puntatore al termine dell intervento di Pageaemon Pagine scaricate: (, ), (, 6), (, 4), (, 3), (, ) Ipotesi d) S. S. S. S. S. S. O. O. O. O. O. O Processi scaricati: onfigurazione della oremap e posizione del puntatore al tempo t S. S. S. S. S. S. O. O. O. O. O. O onfigurazione della oremap e posizione del puntatore al termine dell intervento di Pageaemon Pagine scaricate: Processi scaricati:,

13 sercizio second chance Un sistema operativo simile a UNIX, che gestisce la memoria con paginazione a domanda, utilizza il processo Pageaemon, con parametri lotsfree= e minfree=3, e l algoritmo di sostituzione Second hance. Gli elementi della oremap hanno i campi Proc (processo a cui è assegnato il blocco; il campo è vuoto se il blocco è libero); Pag (pagina del processo caricata nel blocco), Rif (bit di pagina riferita utilizzato da Second hance). l tempo t sono presenti i processi,,, e la ore Map ha la configurazione mostrata in figura, con il puntatore dell algoritmo di sostituzione posizionato sul blocco. I primi 2 blocchi della memoria fisica sono riservati al sistema operativo e sono ignorati dall algoritmo di sostituzione. Proc Pag Rif locco ore Map al tempo t Pageaemon interviene al tempo t e successivamente ogni msec. d ogni intervento, Pageaemon avanza per msec occupando in modo esclusivo il processore e scarica fino a 4 pagine (per arrivare a lotsfree pagine libere) se il numero di pagine libere è almeno minfree. Se invece il numero di pagine libere è minore di minfree, allora esegue lo swapout di uno o più processi fino ad arrivare ad almeno lotsfree pagine libere. La selezione dei processi candidati allo swapout avviene in ordine di dimensione (per primi i processi più grandi). In caso di errori di pagina, i blocchi liberi vengono assegnati in ordine crescente di indice. onsiderare la seguente evoluzione del sistema (i tempi sono espressi in millisecondi): al tempo t al tempo t+ avanza il processo Pageaemon; al tempo t+ al tempo t+ i processi,, e riferiscono nell ordine le pagine:, 3,,, 2, 6, 3, 2,,, al tempo t+ al tempo t+ avanza il processo Pageaemon; al tempo t+ al tempo t+2 i processi,, e riferiscono nell ordine le pagine: 2,,,, 4,,, 6,, 6, al tempo t+2 al tempo t+2 avanza il processo Pageaemon. Mostrare la configurazione della oremap ai tempi,,, 2 e 2 Soluzione (Modificare incrementalmente la configurazione iniziale della oremap, aggiornando anche la posizione del puntatore) Proc Pag Rif locco ore Map al tempo t+ Pagine scaricate: 2,, 4 Proc Pag Rif locco ore Map al tempo t+ Proc Pag Rif locco ore Map al tempo t+ Pagine scaricate:, 2, 6, 3, 4,, (intero processo )

14 Proc Pag Rif locco ore Map al tempo t+2 Proc - - Pag Rif - - locco ore Map al tempo t+2 Pagine scaricate: 6, 2

15 sercizio LRU locale e working set In un sistema che gestisce la memoria con paginazione, sono presenti i processi, e. Lo stato di occupazione della memoria al tempo è descritto dalla seguente ore Map, dove per ogni blocco si specifica il processo a cui appartiene la pagina caricata e l indice della pagina medesima. d esempio, nel blocco è caricata la pagina 6 del processo. Proc Pag locc o un certo tempo le tabelle delle pagine dei tre processi sono le seguenti, dove il campo Rif contiene il tempo virtuale (locale al processo) al quale è avvenuto l ultimo riferimento alla pagina. Pagina locco Rif Pagina locco Rif Pagina locco Rif Processo Processo Processo Per la gestione della memoria si utilizza un algoritmo di sostituzione LRU locale con controllo del working set. Il working set assegnato ai tre processi (inteso come numero di blocchi a disposizione del processo, anche se momentaneamente non occupati) ha dimensione. l verificarsi di un errore di pagina, la pagina riferita viene caricata in un blocco disponibile se il numero di blocchi occupati dal processo è minore del limite assegnato al suo working set; in caso contrario si applica l algoritmo di sostituzione. I blocchi disponibili vengono assegnati in ordine crescente di indice. Si chiede come si modificano la ore Map e le Tabelle delle pagine se, a partire dal tempo considerati, si verificano le seguenti sequenze di riferimenti alla memoria (considerare le due alternative): 4. lternativa : - ai tempi 2, 22, 23 e 24 il processo riferisce le pagine 2, 3,, ; - quindi ai tempi 3, 4, e 6 il processo riferisce le pagine,, 4,. lternativa 2: - ai tempi 3, 4, e 6 il processo riferisce le pagine,, 6, ; - quindi ai tempi, 2, 2 e 22 il processo riferisce le pagine,, 6,

16 Soluzione 6. lternativa : - ai tempi 2, 22, 23 e 24 il processo riferisce le pagine 2, 3,, ; - quindi ai tempi 3, 4, e 6 il processo riferisce le pagine,, 4, Proc Pag locc o Pagina locco Rif Pagina locco Rif Pagina locco Rif Processo Processo Processo. lternativa 2: - ai tempi 3, 4, e 6 il processo riferisce le pagine,, 6, ; - quindi ai tempi, 2, 2 e 22 il processo riferisce le pagine,, 6, Proc Pag locc o Pagina locco Rif Pagina locco Rif Pagina locco Rif Processo Processo Processo

17 sercizio Paginazione a domanda Un sistema operativo simile a UNIX, che gestisce la memoria con paginazione a domanda, utilizza il processo Pageaemon, con parametri lotsfree= 6 e minfree=2, e l algoritmo di sostituzione Second hance globale. Gli elementi della oremap hanno i campi Proc (processo a cui è assegnato il blocco; il campo è vuoto se il blocco è libero); Pag (pagina del processo caricata nel blocco), Rif (bit di pagina riferita utilizzato da Second hance). l tempo t sono presenti i processi,,, e la ore Map ha la configurazione mostrata in figura, con il puntatore dell algoritmo di sostituzione posizionato sul blocco 6. Proc Pag Rif locco ore Map al tempo t Il Pageaemon interviene al tempo t e successivamente ogni msec. d ogni intervento, Pageaemon avanza per msec occupando in modo esclusivo il processore e scarica pagine occupate fino a che il numero di pagine libere è pari a lotsfree+2 o, in alternativa, se il numero di pagine libere è minore di minfree, esegue lo swap out di alcuni processi. Per semplicità, la selezione dei processi candidati allo swap out avviene in ordine di dimensione (per primi i processi che occupano più blocchi), e i processi vengono scaricati finché in memoria ci sono almeno lotsfree+2 blocchi liberi. Il Pageaemon esegue anche lo swap in dei processi (sempre in ordine di dimensione), dei quali vengono caricate in memoria le sole pagine riferite al momento dello swap out. Lo swap in avviene quando il numero di blocchi liberi è pari al numero di pagine del processo da caricare più lotsfree+2. In caso di errori di pagina, i blocchi liberi vengono assegnati in ordine crescente di indice. onsiderare la seguente evoluzione del sistema:. al tempo t al tempo t+ avanza il processo Pageaemon; 2. al tempo t+ al tempo t+ avanzano i processi, e, che riferiscono nell ordine le pagine, 6,,,,,,,,,, 3. al tempo t+ al tempo t+ avanza il processo Pageaemon; 4. al tempo t+ al tempo t+2 avanzano i processi, e, che riferiscono nell ordine le pagine,,, 2, 3,,, 2,,, 6. al tempo t+2 al tempo t+2 avanza il processo Pageaemon. Mostrare la configurazione della oremap ai tempi,,, 2 e 2 Soluzione Proc Pag Rif locco ore Map al tempo t+ Scaricate le pagine:,, 6, 2, Proc Pag Rif locco ore Map al tempo t+ aricate le pagine:,,,,, Proc Pag 6 2 Rif locco ore Map al tempo t+ Scaricate le pagine:,, 3, 3,,

18 Proc Pag Rif locco ore Map al tempo t+2 aricate le pagine:,,, 2, 3,, Proc Pag 2 Rif locco ore Map al tempo t+2 Swapout dei processi e uno tra, e (ad esempio )

19 sercizio LRU globale In un sistema che gestisce la memoria con paginazione, sono presenti i processi, e. Lo stato di occupazione della memoria al tempo è descritto dalla seguente tabella, dove per ogni blocco si specifica nell ordine: il processo a cui appartiene la pagina caricata, l indice della pagina e il tempo al quale è avvenuto l ultimo riferimento alla pagina stessa. d esempio, nel blocco è caricata la pagina 6 del processo, il cui ultimo riferimento è avvenuto al tempo. SO SO SO SO SO SO,3,,,,6,,4,3,,,4, Per la gestione della memoria si utilizza un algoritmo di sostituzione LRU globale. Si considerino le seguenti sequenze di eventi (da considerare in alternativa): a) Il processo riferisce la pagina 3 al tempo 3, la pagina 6 al tempo 4 e la pagina 4 al tempo ; b) Il processo riferisce la pagina al tempo 3, la pagina al tempo 4 e la pagina al tempo ; c) Il processo riferisce la pagina 4 al tempo 3, la pagina al tempo 4 e la pagina al tempo ; ire quali pagine vengono scaricate dalla memoria e caricate in memoria ai tempi t= 3, t=4 e t=: Soluzione (a) (b) (c) t= Pagina scaricata Pagina caricata... Nel blocco

20 sercizio Working set Un sistema simile a Windows gestisce la memoria con paginazione a domanda mediante un Working Set Manager. un certo tempo, lo stato di occupazione della memoria (senza considerare i blocchi riservati al sistema operativo) è quello descritto nella seguente ore Map, i cui elementi hanno valore nullo se il blocco è libero, o altrimenti identificano il processo e la pagina a cui il blocco è assegnato.,6,,,4,2,,,,6,2,,,, Nel sistema sono presenti i processi, e, le cui tabelle delle pagine sono le seguenti (il campo TempoRif registra il tempo virtuale del processo al quale è avvenuto l ultimo riferimento alla pagina): Pagina locco TempoRif Pagina locco TempoRif Pagina locco TempoRif Processo - Processo - 4 Processo - 6 ogni processo è assegnato un WorkingSet mmissibile di 4 pagine. Per ogni pagina riferita da un processo che avanza, si procede nel modo seguente: Se la pagina è presente in memoria, si scrive il valore attuale del tempo virtuale del processo nel campo TempoRif della tabella delle pagine. Se si verifica un PageFault, la pagina riferita viene caricata in un blocco disponibile (anche se il numero di pagine caricate, o insieme residente, supera la dimensione del Working Set mmissibile), registrando il valore attuale del tempo virtuale del processo nel campo TermpoRif. I blocchi disponibili vengono assegnati in ordine crescente di indice. Il Working Set Manager viene attivato quando il numero di blocchi disponibili si riduce a 2, e si comporta nel modo seguente: - considera i soli processi la cui dimensione dell insieme residente (numero di pagine caricate in memoria) superi quello del WorkingSet mmissibile (che è 4 per tutti i processi) e per questi processi ordina globalmente le pagine per valori decrescenti del parametro TempoVirtuale- TempoRif, dove TempoVirtuale è il valore attuale del tempo virtuale del processo; - scarica dalla memoria le pagine secondo questo ordinamento, fino a quando il numero di blocchi disponibili diventa uguale a. In caso di parità tra due o più pagine si considera l ordine alfabetico dei processi. partire dal tempo considerato il sistema evolve nel modo seguente: vanza il processo, che ai tempi virtuali 2, 3, 4 e riferisce rispettivamente le pagine, 2,, e vanza il processo, che ai tempi virtuali,, 2, 3 e 4 riferisce rispettivamente le pagine 6,,, 6 e. Si chiede la configurazione della oremap e delle tabelle delle pagine dei 3 processi al termine dei punti e 2. Nei casi nei quali viene eseguito il Working Set Manager indicare anche il tempo virtuale dei processi al momento dell esecuzione del Working Set Manager, e quante e quali pagine vengono rimosse. Soluzione ) onfigurazione della oremap e delle tabelle delle pagine al termine del punto :,6,,,,,4,2,,,,6,2,,,,

21 Pagina locco TempoRif Pagina locco TempoRif Pagina locco TempoRif Processo - Processo - 4 Processo - 6 Non è stato eseguito il Working Set Manager 2) onfigurazione della oremap e delle tabelle delle pagine al termine del punto 2:,6,,,,,,4,2,,,,,6,2,,,, Pagina locco TempoRif Pagina locco TempoRif Pagina locco TempoRif Processo - Processo - 4 Processo - 6 Viene quindi eseguito il Working Set Manager che rimuove 6 pagine dei soli processi e. Il tempo attuale del processo è: Il tempo attuale del processo è: 6 TempoVirtuale- TempoRif delle pagine dei processi e : 6. 3; ; 2 ; 4 ; 4; 6 2; ;. 2; 4; 2 3; ; 6 ; ; ; Vengono quindi rimosse le pagine:,, 4, 2,, 6,6,,,,,,2,,,,, Pagina locco TempoRif Pagina locco TempoRif Pagina locco TempoRif

22 4 4 2 Processo - Processo - 4 Processo - 6