Miten paging, TLB ja page faultit toimivat?

Question

IT Interview Practice · Accepted Answer

**Paging** ja **segmentation** ovat kaksi tapaa järjestää virtuaalinen osoiteavaruus; modernit järjestelmät ovat ylivoimaisesti paging-pohjaisia (joskus ohuella segmentation-kerroksella päällä).

## Paging

Virtuaali- ja fyysinen muisti pilkotaan kiinteän kokoisiin **sivuihin (page)** ja **frameihin** (tyypillisesti 4 KB). **Page table** kuvaa virtuaalisivun → fyysiseen frameen. Osoite jakautuu **sivunumeroon (page number)** (indeksi tauluun) ja **offsetiin**:

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

Page tablet ovat suuria, joten ne ovat **monitasoisia (multi-level)** (puu) tai hashattuja, ja niitä kävelee laitteisto-**MMU**.

## TLB: nopeuden takaaminen

Monitasoisen page tablen kävely jokaisella muistihaulla lamauttaisi järjestelmän. **TLB (Translation Lookaside Buffer)** on pieni, nopea cache viimeaikaisista virtuaali→fyysinen-käännöksistä CPU:n sisällä:

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

TLB-osumaprosentit ovat normaalisti >99 %; miss on kallis, minkä vuoksi **spatial locality** ja ominaisuudet kuten **huge pages** (2 MB — vähemmän merkintöjä saman RAM:in kattamiseen) ovat suorituskyvyn kannalta tärkeitä.

## Page faultit

Jos page-table-merkintä sanoo, ettei sivu **ole RAM:issa** (tai sen suojausbittejä rikotaan), MMU nostaa **page fault** -trapin. OS käsittelee sen: lataa sivun levyltä (*major* fault), nollatäyttää tuoreen sivun tai tekee copy-on-writen. Levylle osuva page fault maksaa miljoonia syklejä — siksi working setin pitäminen RAM:issa on tärkeää.

## Segmentation

**Segmentation** jakaa muistin **loogisen yksikön** mukaan — code, data, stack — **vaihtelevan kokoisiin** segmentteihin, osoitettuina muodossa `[segment selector | offset]`. Se kuvautuu luonnollisesti ohjelman rakenteeseen mutta kärsii **external fragmentationista** (vaihtelevan kokoiset aukot). Puhdas segmentation on suurelta osin historiaa; x86 säilyttää jäänteenomaisen muodon, mutta Linux litistää sen ja nojaa pagingiin.

## Miksi se on tärkeää

Paging, TLB ja page faultit ovat paikka, jossa "virtuaalimuisti" kohtaa todellisen suorituskyvyn. Haastattelijat käyttävät tätä tarkistaakseen, yhdistätkö abstraktiot laitteistokustannukseen: miksi huge pages vähentävät TLB-misseja, miksi page-fault-myrsky romahduttaa latenssin ja miksi cache/TLB-ystävälliset hakukuviot ajavat nopeasti. Se on myös olennainen taustatieto memory-mapped-tiedostoille, copy-on-writelle ja thrashingille.

Paging

TLB: nopeuden takaaminen

Page faultit

Segmentation

Miksi se on tärkeää

Aiheeseen liittyvät kysymykset