O que é memória virtual e por que os sistemas operacionais a usam?

Question

IT Interview Practice · Accepted Answer

A **memória virtual** dá a cada processo a ilusão de ter seu próprio bloco privado e contíguo de endereços de memória (de 0 até um máximo grande), independentemente de quanta RAM física realmente existe ou de onde os dados de fato estão. O OS e a **MMU (Memory Management Unit)** da CPU traduzem esses **endereços virtuais** em **endereços físicos** em tempo real.

## Como a ilusão funciona

A memória é dividida em **pages** de tamanho fixo (comumente 4 KB). Uma **page table** por processo mapeia cada página virtual para um **frame** físico:

```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 ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Por que a memória virtual existe

- **Isolamento** — os endereços de cada processo mapeiam para frames diferentes, então o processo A literalmente não consegue nomear a memória do processo B. Essa é a base de hardware da proteção.
- **Overcommit / maior que a RAM** — páginas não usadas podem ficar no disco (**swap**); a RAM guarda apenas o working set, então um programa pode usar mais memória do que a que está fisicamente instalada.
- **Simplicidade para os programas** — todo processo recebe o mesmo layout limpo e contíguo; o compiler/linker não se preocupa com onde na RAM ele cai.
- **Compartilhamento** — o mesmo frame físico (uma shared library, ou páginas copy-on-write após `fork`) pode ser mapeado em vários processos.

Se um processo toca uma página que não está na RAM, a MMU dispara um **page fault** e o OS a carrega (do disco, ou preenche com zeros uma página nova).

## Por que isso importa

A memória virtual está por trás de quase tudo sobre como os programas usam a RAM: isolamento de processos, por que `fork` é rápido (copy-on-write), por que um arquivo memory-mapped funciona, e por que um programa pode alocar gigabytes que não são respaldados por memória real até serem tocados. Entender páginas e tradução de endereços é a porta de entrada para os tópicos mais profundos de TLBs, page faults e thrashing.

Como a ilusão funciona

Por que a memória virtual existe

Por que isso importa

Perguntas relacionadas