Kas yra virtualioji atmintis ir kodėl operacinės sistemos ją naudoja?

Question

IT Interview Practice · Accepted Answer

**Virtualioji atmintis (virtual memory)** kiekvienam procesui suteikia iliuziją, kad jis turi savo privatų, ištisinį atminties adresų bloką (nuo 0 iki didelio maksimumo), nepriklausomai nuo to, kiek fizinės RAM iš tikrųjų yra ar kur duomenys tikrai guli. OS ir CPU **MMU (Memory Management Unit)** verčia šiuos **virtualius adresus** į **fizinius adresus** skrydžio metu.

## Kaip veikia iliuzija

Atmintis padalyta į fiksuoto dydžio **puslapius (pages)** (dažniausiai 4 KB). Kiekvienam procesui atskira **page table** susieja kiekvieną virtualų puslapį su fiziniu **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 ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Kodėl egzistuoja virtualioji atmintis

- **Izoliacija** — kiekvieno proceso adresai susiejami su skirtingais frames, todėl procesas A tiesiogine prasme negali įvardyti proceso B atminties. Tai yra aparatinis apsaugos pagrindas.
- **Overcommit / didesnė nei RAM** — nenaudojami puslapiai gali gyventi diske (**swap**); RAM laiko tik working set, todėl programa gali naudoti daugiau atminties, nei fiziškai įdiegta.
- **Paprastumas programoms** — kiekvienas procesas gauna tą patį švarų, ištisinį išdėstymą; kompiliatoriui/linker nereikia rūpintis, kur RAM jis pateks.
- **Dalijimasis** — tas pats fizinis frame (bendra biblioteka arba copy-on-write puslapiai po `fork`) gali būti susietas su keliais procesais.

Jei procesas paliečia puslapį, kurio nėra RAM, MMU sukelia **page fault**, ir OS jį įkelia (iš disko arba užpildo naują puslapį nuliais).

## Kodėl tai svarbu

Virtualioji atmintis yra beveik viso to, kaip programos naudoja RAM, pagrindas: procesų izoliacija, kodėl `fork` yra greitas (copy-on-write), kodėl veikia memory-mapped failas ir kodėl programa gali išskirti gigabaitus, kurie realia atmintimi nepadengti, kol nepaliečiami. Puslapių ir adresų vertimo supratimas yra įėjimo taškas į gilesnes temas — TLB, page faults ir thrashing.

Kaip veikia iliuzija

Kodėl egzistuoja virtualioji atmintis

Kodėl tai svarbu

Susiję klausimai