Kaip veikia paging, TLB ir page faults?

Question

IT Interview Practice · Accepted Answer

**Paging** ir **segmentation** yra du būdai organizuoti virtualią adresų erdvę; modernios sistemos didžia dalimi remiasi paging (kartais su plonu segmentation sluoksniu viršuje).

## Paging

Virtuali ir fizinė atmintis supjaustyta į fiksuoto dydžio **pages** ir **frames** (paprastai 4 KB). **Page table** susieja virtualų puslapį → fizinį frame. Adresas skyla į **puslapio numerį (page number)** (indeksą į lentelę) ir **offset**:

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

Page tables yra didelės, todėl jos yra **daugiapakopės (multi-level)** (medis) arba maišomos (hashed), ir jas pereina (walks) aparatinis **MMU**.

## TLB: kad būtų greita

Daugiapakopės page table perėjimas kiekvieno atminties kreipimosi metu būtų žlugdantis. **TLB (Translation Lookaside Buffer)** yra maža, greita neseniai naudotų virtualus→fizinis vertimų talpykla CPU viduje:

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

TLB hit dažnis paprastai >99%; miss yra brangus, todėl **spatial locality** (erdvinis lokalumas) ir tokios savybės kaip **huge pages** (2 MB — mažiau įrašų tam pačiam RAM kiekiui padengti) yra svarbios našumui.

## Page faults

Jei page-table įrašas sako, kad puslapio **nėra RAM** (arba pažeisti jo apsaugos bitai), MMU sukelia **page fault** trap. OS jį apdoroja: įkelia puslapį iš disko (*major* fault), užpildo naują puslapį nuliais arba atlieka copy-on-write. Page fault, kuris pasiekia diską, kainuoja milijonus ciklų — todėl svarbu working set laikyti RAM.

## Segmentation

**Segmentation** dalija atmintį pagal **loginį vienetą** — code, data, stack — į **kintamo dydžio** segmentus, adresuojamus kaip `[segment selector | offset]`. Ji natūraliai atitinka programos struktūrą, bet kenčia nuo **išorinės fragmentacijos (external fragmentation)** (kintamo dydžio skylės). Gryna segmentation didžia dalimi istorinė; x86 laiko liekaninę formą, bet Linux ją suplokština ir remiasi paging.

## Kodėl tai svarbu

Paging, TLB ir page faults yra vieta, kur „virtualioji atmintis“ susitinka su realiu našumu. Interviuotojai naudoja tai, kad patikrintų, ar susiejate abstrakcijas su aparatinės įrangos kaina: kodėl huge pages sumažina TLB miss, kodėl page-fault audra parbloškia latency ir kodėl cache/TLB draugiški kreipimosi šablonai veikia greitai. Tai taip pat esminis pagrindas memory-mapped failams, copy-on-write ir thrashing.

Paging

TLB: kad būtų greita

Page faults

Segmentation

Kodėl tai svarbu

Susiję klausimai