Jak działają paging, TLB i page faults?

Question

IT Interview Practice · Accepted Answer

**Paging** i **segmentacja (segmentation)** to dwa sposoby organizacji wirtualnej przestrzeni adresowej; nowoczesne systemy są w przeważającej mierze oparte na pagingu (czasem z cienką warstwą segmentacji na wierzchu).

## Paging

Pamięć wirtualna i fizyczna są pocięte na **strony (pages)** i **ramki (frames)** o stałym rozmiarze (zwykle 4 KB). **Page table** mapuje stronę wirtualną → ramkę fizyczną. Adres dzieli się na **numer strony (page number)** (indeks do tabeli) i **offset**:

```text
 virtual address  =  [ page number | offset ]
                          │            │
              page table[page] = frame │
                          ▼            ▼
 physical address =  [   frame    | offset ]
```

Page table są duże, więc są **wielopoziomowe (multi-level)** (drzewo) albo haszowane i przechodzone przez sprzętową **MMU**.

## TLB: przyspieszanie

Przechodzenie wielopoziomowej page table przy każdym dostępie do pamięci byłoby paraliżujące. **TLB (Translation Lookaside Buffer)** to mały, szybki cache ostatnich translacji wirtualna→fizyczna wewnątrz CPU:

```text
CPU needs addr → TLB hit?  ── yes ──▶ get frame immediately (~1 cycle)
                    │
                    └── no (TLB miss) → walk the page table, fill the TLB (slower)
```

Współczynniki trafień TLB są zwykle >99%; chybienie jest kosztowne, dlatego **lokalność przestrzenna (spatial locality)** i funkcje takie jak **huge pages** (2 MB — mniej wpisów pokrywających ten sam RAM) mają znaczenie dla wydajności.

## Page faults

Jeśli wpis w page table mówi, że strony **nie ma w RAM** (albo jej bity ochrony są naruszone), MMU zgłasza trap **page fault**. OS to obsługuje: wczytuje stronę z dysku (błąd *major*), wypełnia zerami świeżą stronę albo robi copy-on-write. Page fault trafiający na dysk kosztuje miliony cykli — stąd znaczenie trzymania working setu w RAM.

## Segmentacja

**Segmentacja** dzieli pamięć według **jednostki logicznej** — kod, dane, stos — na **segmenty o zmiennym rozmiarze**, adresowane jako `[segment selector | offset]`. Mapuje się naturalnie na strukturę programu, ale cierpi na **fragmentację zewnętrzną (external fragmentation)** (dziury o zmiennym rozmiarze). Czysta segmentacja jest w dużej mierze historyczna; x86 zachowuje szczątkową formę, ale Linux ją spłaszcza i polega na pagingu.

## Dlaczego to ważne

Paging, TLB i page faults to miejsce, gdzie „pamięć wirtualna" spotyka realną wydajność. Rozmówcy używają tego, by sprawdzić, czy łączysz abstrakcje z kosztem sprzętowym: dlaczego huge pages redukują chybienia TLB, dlaczego burza page faultów zatapia opóźnienia i dlaczego wzorce dostępu przyjazne cache'owi/TLB działają szybko. To także niezbędne tło dla plików zmapowanych w pamięci, copy-on-write i thrashingu.

Paging

TLB: przyspieszanie

Page faults

Segmentacja

Dlaczego to ważne

Powiązane pytania