Czym jest pamięć wirtualna i dlaczego systemy operacyjne jej używają?

Question

IT Interview Practice · Accepted Answer

**Pamięć wirtualna (virtual memory)** daje każdemu procesowi złudzenie posiadania własnego, prywatnego, ciągłego bloku adresów pamięci (od 0 do dużego maksimum), niezależnie od tego, ile fizycznego RAM naprawdę istnieje i gdzie dane faktycznie się znajdują. OS i **MMU (Memory Management Unit)** procesora tłumaczą te **adresy wirtualne** na **adresy fizyczne** w locie.

## Jak działa to złudzenie

Pamięć jest podzielona na **strony (pages)** o stałym rozmiarze (zwykle 4 KB). **Page table** przypisana do każdego procesu mapuje każdą stronę wirtualną na fizyczną **ramkę (frame)**:

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

## Dlaczego pamięć wirtualna istnieje

- **Izolacja** — adresy każdego procesu mapują się na różne ramki, więc proces A dosłownie nie może nazwać pamięci procesu B. To sprzętowa podstawa ochrony.
- **Overcommit / więcej niż RAM** — strony, które nie są używane, mogą leżeć na dysku (**swap**); RAM trzyma tylko working set, więc program może użyć więcej pamięci, niż jest fizycznie zainstalowane.
- **Prostota dla programów** — każdy proces dostaje ten sam czysty, ciągły układ; kompilator/linker nie martwi się, gdzie w RAM to wyląduje.
- **Współdzielenie** — ta sama fizyczna ramka (biblioteka współdzielona albo strony copy-on-write po `fork`) może być zmapowana do kilku procesów.

Jeśli proces dotknie strony, której nie ma w RAM, MMU wywołuje **page fault**, a OS ją wczytuje (z dysku albo wypełnia zerami świeżą stronę).

## Dlaczego to ważne

Pamięć wirtualna leży u podstaw niemal wszystkiego w tym, jak programy używają RAM: izolacji procesów, tego, dlaczego `fork` jest szybki (copy-on-write), dlaczego działa plik zmapowany w pamięci (memory-mapped file) i dlaczego program może zaalokować gigabajty, które nie są pokryte prawdziwą pamięcią, dopóki się ich nie dotknie. Zrozumienie stron i translacji adresów to punkt wejścia do głębszych tematów: TLB, page faults i thrashingu.

Jak działa to złudzenie

Dlaczego pamięć wirtualna istnieje

Dlaczego to ważne

Powiązane pytania