Πώς λειτουργούν το paging, το TLB, και τα page faults;

Question

IT Interview Practice · Accepted Answer

Το **paging** και το **segmentation** είναι δύο τρόποι οργάνωσης ενός εικονικού χώρου διευθύνσεων· τα σύγχρονα συστήματα βασίζονται συντριπτικά στο paging (μερικές φορές με ένα λεπτό στρώμα segmentation από πάνω).

## Paging

Η εικονική και η φυσική μνήμη κόβονται σε **σελίδες (pages)** και **frames** σταθερού μεγέθους (συνήθως 4 KB). Ένας **page table** αντιστοιχίζει εικονική σελίδα → φυσικό frame. Μια διεύθυνση χωρίζεται σε έναν **αριθμό σελίδας (page number)** (δείκτης μέσα στον πίνακα) και ένα **offset**:

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

Οι page tables είναι μεγάλοι, οπότε είναι **πολυεπίπεδοι (multi-level)** (ένα δέντρο) ή hashed, και διατρέχονται (walked) από την **MMU** του υλικού.

## Το TLB: κάνοντάς το γρήγορο

Η διάσχιση ενός πολυεπίπεδου page table σε κάθε πρόσβαση στη μνήμη θα ήταν καταστροφική. Το **TLB (Translation Lookaside Buffer)** είναι μια μικρή, γρήγορη cache πρόσφατων μεταφράσεων virtual→physical μέσα στη CPU:

```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 είναι κανονικά >99%· ένα miss είναι δαπανηρό, γι' αυτό η **spatial locality** (χωρική εντοπιότητα) και χαρακτηριστικά όπως οι **huge pages** (2 MB — λιγότερα entries για την κάλυψη της ίδιας RAM) έχουν σημασία για τις επιδόσεις.

## Page faults

Αν το entry του page table λέει ότι η σελίδα **δεν είναι στη RAM** (ή τα bits προστασίας της παραβιάζονται), η MMU εγείρει ένα trap **page fault**. Το OS το χειρίζεται: φορτώνει τη σελίδα από τον δίσκο (ένα *major* fault), γεμίζει με μηδενικά μια νέα σελίδα, ή κάνει copy-on-write. Ένα page fault που χτυπά τον δίσκο κοστίζει εκατομμύρια κύκλους — γι' αυτό έχει σημασία να κρατάτε το working set στη RAM.

## Segmentation

Το **Segmentation** διαιρεί τη μνήμη ανά **λογική μονάδα** — code, data, stack — σε **segments μεταβλητού μεγέθους**, με διεύθυνση της μορφής `[segment selector | offset]`. Αντιστοιχίζεται φυσικά στη δομή του προγράμματος αλλά υποφέρει από **εξωτερικό κατακερματισμό (external fragmentation)** (κενά μεταβλητού μεγέθους). Το καθαρό segmentation είναι σε μεγάλο βαθμό ιστορικό· η x86 διατηρεί μια υποτυπώδη μορφή, αλλά το Linux το ισοπεδώνει και βασίζεται στο paging.

## Γιατί έχει σημασία

Το paging, το TLB, και τα page faults είναι εκεί όπου η "εικονική μνήμη" συναντά τις πραγματικές επιδόσεις. Οι συνεντευξιαστές το χρησιμοποιούν για να ελέγξουν αν συνδέετε τις αφαιρέσεις με το κόστος του υλικού: γιατί οι huge pages μειώνουν τα TLB misses, γιατί μια καταιγίδα page fault βυθίζει τη latency, και γιατί τα φιλικά προς cache/TLB μοτίβα πρόσβασης τρέχουν γρήγορα. Είναι επίσης απαραίτητο υπόβαθρο για τα memory-mapped αρχεία, το copy-on-write, και το thrashing.

Paging

Το TLB: κάνοντάς το γρήγορο

Page faults

Segmentation

Γιατί έχει σημασία

Σχετικές ερωτήσεις