Che cos’è la memoria virtuale e perché i sistemi operativi la usano?

Question

IT Interview Practice · Accepted Answer

La **memoria virtuale (virtual memory)** dà a ogni processo l'illusione di avere un proprio blocco privato e contiguo di indirizzi di memoria (da 0 fino a un massimo grande), indipendentemente da quanta RAM fisica esista davvero o da dove i dati si trovino realmente. L'OS e la **MMU (Memory Management Unit)** della CPU traducono al volo questi **indirizzi virtuali** in **indirizzi fisici**.

## Come funziona l'illusione

La memoria è divisa in **pagine (page)** di dimensione fissa (comunemente 4 KB). Una **page table** per ogni processo mappa ciascuna pagina virtuale su un **frame** fisico:

```text
   Virtual address space          Page table            Physical RAM
   (per process)                                         (shared)
   ┌──────────┐  page 0 ─────────▶ frame 5  ───────────▶ ┌────────┐ frame 5
   │  page 0  │                                          │        │
   │  page 1  │  page 1 ─────────▶ frame 2  ───────────▶ ├────────┤ frame 2
   │  page 2  │  page 2 ─────────▶ (on disk) swap-in ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Perché esiste la memoria virtuale

- **Isolamento** — gli indirizzi di ogni processo mappano su frame diversi, quindi il processo A letteralmente non può nominare la memoria del processo B. È la base hardware della protezione.
- **Overcommit / più grande della RAM** — le pagine non in uso possono stare su disco (**swap**); la RAM contiene solo il working set, quindi un programma può usare più memoria di quanta ne sia fisicamente installata.
- **Semplicità per i programmi** — ogni processo ottiene lo stesso layout pulito e contiguo; il compilatore/linker non si preoccupa di dove finisca in RAM.
- **Condivisione** — lo stesso frame fisico (una shared library, o pagine copy-on-write dopo `fork`) può essere mappato in più processi.

Se un processo tocca una pagina che non è in RAM, la MMU scatena un **page fault** e l'OS la carica (dal disco, oppure riempie di zeri una pagina nuova).

## Perché è importante

La memoria virtuale sta alla base di quasi tutto ciò che riguarda l'uso della RAM da parte dei programmi: l'isolamento dei processi, perché `fork` è veloce (copy-on-write), perché un memory-mapped file funziona, e perché un programma può allocare gigabyte che non sono coperti da memoria reale finché non vengono toccati. Capire le pagine e la traduzione degli indirizzi è la porta d'ingresso ai temi più profondi di TLB, page fault e thrashing.

Come funziona l'illusione

Perché esiste la memoria virtuale

Perché è importante

Domande correlate