Hogyan működik a paging, a TLB és a page fault?

Question

IT Interview Practice · Accepted Answer

A **paging** és a **segmentation** két módszer egy virtuális címtér szervezésére; a modern rendszerek túlnyomórészt paging-alapúak (néha egy vékony segmentation-réteggel a tetején).

## Paging

A virtuális és a fizikai memória rögzített méretű **page**-ekre és **frame**-ekre van vágva (jellemzően 4 KB). Egy **page table** képezi le: virtuális page → fizikai frame. Egy cím egy **page number**-re (index a táblába) és egy **offset**-re oszlik:

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

A page table-ök nagyok, ezért **többszintűek** (fa) vagy hasheltek, és a hardveres **MMU** járja be (walk) őket.

## A TLB: gyorssá tenni

Egy többszintű page table bejárása minden memóriahozzáférésnél megbénítaná a rendszert. A **TLB (Translation Lookaside Buffer)** a legutóbbi virtuális→fizikai fordítások kicsi, gyors cache-e a CPU-n belül:

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

A TLB találati aránya normál esetben >99%; egy miss költséges, ezért számít a teljesítmény szempontjából a **spatial locality** és az olyan funkciók, mint a **huge page**-ek (2 MB — kevesebb bejegyzés ugyanannyi RAM lefedéséhez).

## Page fault-ok

Ha a page table bejegyzés azt mondja, hogy a page **nincs a RAM-ban** (vagy a védelmi bitjeit megsértették), az MMU egy **page fault** trapet vált ki. Az OS lekezeli: betölti a page-et lemezről (egy *major* fault), nullákkal tölt fel egy friss page-et, vagy copy-on-write-ot végez. Egy lemezt érintő page fault milliónyi ciklusba kerül — ezért számít a working set RAM-ban tartása.

## Segmentation

A **segmentation** a memóriát **logikai egység** szerint — code, data, stack — osztja **változó méretű** szegmensekre, `[segment selector | offset]` formában címezve. Természetesen illeszkedik a program szerkezetéhez, de **külső fragmentációtól** (variable-size lyukak) szenved. A tiszta segmentation nagyrészt történelem; az x86 megtart egy csökevényes formát, de a Linux ellapítja, és a pagingra támaszkodik.

## Miért fontos

A paging, a TLB és a page fault az a pont, ahol a "virtuális memória" találkozik a valódi teljesítménnyel. Az interjúztatók ezzel ellenőrzik, hogy összekötöd-e az absztrakciókat a hardveres költséggel: miért csökkentik a huge page-ek a TLB miss-eket, miért zúzza szét a latency-t egy page-fault vihar, és miért futnak gyorsan a cache/TLB-barát hozzáférési minták. Ez egyben elengedhetetlen háttér a memory-mapped fájlokhoz, a copy-on-write-hoz és a thrashinghez is.

Paging

A TLB: gyorssá tenni

Page fault-ok

Segmentation

Miért fontos

Kapcsolódó kérdések