Τι είναι η εικονική μνήμη (virtual memory) και γιατί τη χρησιμοποιούν τα λειτουργικά συστήματα;

Question

IT Interview Practice · Accepted Answer

Η **εικονική μνήμη (virtual memory)** δίνει σε κάθε διεργασία την ψευδαίσθηση ότι έχει το δικό της ιδιωτικό, συνεχόμενο μπλοκ διευθύνσεων μνήμης (από το 0 μέχρι ένα μεγάλο μέγιστο), ανεξάρτητα από το πόση φυσική RAM υπάρχει πραγματικά ή πού βρίσκονται πραγματικά τα δεδομένα. Το OS και η **MMU (Memory Management Unit)** της CPU μεταφράζουν αυτές τις **εικονικές διευθύνσεις (virtual addresses)** σε **φυσικές διευθύνσεις (physical addresses)** εν κινήσει.

## Πώς λειτουργεί η ψευδαίσθηση

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

```text
   Virtual address space          Page table            Physical RAM
   (per process)                                         (shared)
   ┌──────────┐  page 0 ─────────▶ frame 5  ───────────▶ ┌────────┐ frame 5
   │  page 0  │                                          │        │
   │  page 1  │  page 1 ─────────▶ frame 2  ───────────▶ ├────────┤ frame 2
   │  page 2  │  page 2 ─────────▶ (on disk) swap-in ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Γιατί υπάρχει η εικονική μνήμη

- **Απομόνωση** — οι διευθύνσεις κάθε διεργασίας αντιστοιχίζονται σε διαφορετικά frames, οπότε η διεργασία A κυριολεκτικά δεν μπορεί να ονομάσει τη μνήμη της διεργασίας B. Αυτό είναι η βάση της προστασίας σε επίπεδο υλικού.
- **Overcommit / μεγαλύτερο από τη RAM** — οι σελίδες που δεν χρησιμοποιούνται μπορούν να βρίσκονται στον δίσκο (**swap**)· η RAM κρατά μόνο το working set, οπότε ένα πρόγραμμα μπορεί να χρησιμοποιήσει περισσότερη μνήμη από όση είναι φυσικά εγκατεστημένη.
- **Απλότητα για τα προγράμματα** — κάθε διεργασία παίρνει την ίδια καθαρή, συνεχόμενη διάταξη· ο compiler/linker δεν ανησυχεί για το πού στη RAM θα καταλήξει.
- **Κοινή χρήση** — το ίδιο φυσικό frame (μια shared library, ή σελίδες copy-on-write μετά από `fork`) μπορεί να αντιστοιχιστεί σε πολλές διεργασίες.

Αν μια διεργασία αγγίξει μια σελίδα που δεν βρίσκεται στη RAM, η MMU πυροδοτεί ένα **page fault** και το OS τη φορτώνει (από τον δίσκο, ή γεμίζει με μηδενικά μια νέα σελίδα).

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

Η εικονική μνήμη υποστηρίζει σχεδόν τα πάντα σχετικά με το πώς τα προγράμματα χρησιμοποιούν τη RAM: την απομόνωση διεργασιών, το γιατί το `fork` είναι γρήγορο (copy-on-write), το γιατί λειτουργεί ένα memory-mapped αρχείο, και το γιατί ένα πρόγραμμα μπορεί να δεσμεύσει gigabytes που δεν υποστηρίζονται από πραγματική μνήμη μέχρι να τα αγγίξει. Η κατανόηση των σελίδων και της μετάφρασης διευθύνσεων είναι το σημείο εισόδου στα βαθύτερα θέματα των TLBs, των page faults, και του thrashing.

Πώς λειτουργεί η ψευδαίσθηση

Γιατί υπάρχει η εικονική μνήμη

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

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