
Ufficiale
TPSIT: Trattamento del Page Fault
Trattamento del Page Fault: il kernel gestisce l’interruzione dovuta al page fault eseguendo una sequenza di operazioni.
- Riferimento a una pagina non presente genera un page fault trap.
- Verifica del motivo del page fault: riferimento illegale o legale.
- Individua un frame libero e carica la pagina.
- Aggiorna la tabella delle pagine e riprende l’esecuzione del processo.
La scelta della pagina ‘vittima’ avviene mediante strategie di REPLACEMENT POLICY, che includono:
- Resident set management
- Page replacement algorithm
- Optimal page replacement algorithm.
La procedura per sostituire la pagina vittima (Pvitt) con la nuova (Pnew) prevede:
- Individuazione di Pvitt.
- Salvataggio di Pvitt sul disco.
- Caricamento di Pnew nel frame liberato.
- Aggiornamento tabelle.
- Ripresa del processo.
- L’uso del dirty bit consente di evitare il salvataggio di Pvitt se non modificata, ottimizzando le operazioni di trasferimento.
Scarica PDF
Tags: page fault, replacement policy, TPSIT, gestione memoria, algoritmi di sostituzione
*Riassunto iniziale realizzato con l’ausilio dell’IA