Concetti Chiave
- La memoria virtuale combina memoria centrale e di massa, creando uno spazio di indirizzi virtuali che semplifica la gestione della RAM per i programmatori.
- La tecnica di paginazione su richiesta permette di caricare in RAM solo le pagine necessarie, mantenendo le altre nella memoria di massa.
- Il paginatore, un modulo del sistema operativo, gestisce il caricamento delle pagine previste come necessarie per il processo in esecuzione.
- Un bit di validità nella tabella delle pagine verifica se una pagina è in memoria centrale; se manca, si genera un'eccezione e la pagina viene caricata.
- In caso di sovrallocazione, si esegue la sostituzione delle pagine, scambiando pagine non usate in memoria di massa con quelle necessarie in RAM.
Memoria virtuale di un calcolatore
La memoria virtuale è un blocco di memoria logica di cui fanno parte la memoria centrale e la memoria di massa mentre, lo spazio degli indirizzi, viene detto spazio degli indirizzi virtuali. Grazie alla memoria virtuale il programmatore non deve più preoccuparsi delle dimensioni della RAM, poiché non vi vengono caricate tutte le pagine del processo ma solo quelle necessarie al suo funzionamento mentre tutte le altre pagine accessorie non immediatamente necessarie rimangono nella memoria di massa, questa tecnica viene chiamata paginazione su richiesta. Il modulo del S.O. che gestisce tale tecnica è il paginatore, che seleziona e carica solo le pagine che prevede siano necessarie. Se durante l’esecuzione del processo si rende necessaria una pagina non presente, viene prelevata dalla memoria di massa e trasferita in RAM. Per gestire in modo efficiente la paginazione su richiesta occorre inserire nella tabella delle pagine un bit di validità che consente di verificare se la pagina è caricata in memoria centrale, se non è presente viene generata un’eccezione di pagina mancante e la pagina viene caricata in memoria centrale. In caso di sovrallocazione viene eseguita la sostituzione delle pagine spostando una pagina non utilizzata in memoria di massa sostituendola con quella necessaria.