Kaj je navidezni pomnilnik in zakaj ga operacijski sistemi uporabljajo?

Question

IT Interview Practice · Accepted Answer

**Navidezni pomnilnik (virtual memory)** vsakemu procesu daje iluzijo lastnega zasebnega, zveznega bloka pomnilniških naslovov (od 0 do velikega maksimuma), ne glede na to, koliko fizičnega RAM-a dejansko obstaja ali kje podatki v resnici ležijo. OS in **MMU (Memory Management Unit)** procesorja sproti prevajata te **navidezne naslove** v **fizične naslove**.

## Kako deluje iluzija

Pomnilnik je razdeljen na **strani (pages)** fiksne velikosti (običajno 4 KB). **Page table** za vsak proces preslika vsako navidezno stran v fizični **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 ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Zakaj navidezni pomnilnik obstaja

- **Izolacija** — naslovi vsakega procesa se preslikajo v različne frame, zato proces A dobesedno ne more poimenovati pomnilnika procesa B. To je strojna osnova zaščite.
- **Overcommit / večji od RAM-a** — strani, ki niso v rabi, lahko živijo na disku (**swap**); RAM hrani le working set, zato lahko program uporabi več pomnilnika, kot ga je fizično nameščenega.
- **Preprostost za programe** — vsak proces dobi enako čisto, zvezno postavitev; prevajalnik/povezovalnik (linker) se ne obremenjuje s tem, kam v RAM pade.
- **Deljenje** — isti fizični frame (deljena knjižnica ali strani copy-on-write po `fork`) je lahko preslikan v več procesov.

Če se proces dotakne strani, ki ni v RAM-u, MMU sproži **page fault** in OS jo naloži (z diska ali z ničlami napolni svežo stran).

## Zakaj je to pomembno

Navidezni pomnilnik je osnova skoraj vsega o tem, kako programi uporabljajo RAM: izolacija procesov, zakaj je `fork` hiter (copy-on-write), zakaj memory-mapped datoteka deluje in zakaj lahko program dodeli gigabajte, ki jih resnični pomnilnik ne podpira, dokler se jih ne dotaknemo. Razumevanje strani in prevajanja naslovov je vstopna točka v globlje teme TLB-jev, page faultov in thrashinga.

Kako deluje iluzija

Zakaj navidezni pomnilnik obstaja

Zakaj je to pomembno

Povezana vprašanja