X'inhi l-virtual memory u għaliex l-operating systems jużawha?

Question

IT Interview Practice · Accepted Answer

Il-**virtual memory** tagħti lil kull process l-illużjoni li għandu blokk privat u kontigwu tiegħu ta' indirizzi tal-memory (minn 0 sa massimu kbir), irrispettivament minn kemm RAM fiżika verament teżisti jew minn fejn tinsab id-data tabilħaqq. L-OS u l-**MMU (Memory Management Unit)** tal-CPU jittraduċu dawn l-**indirizzi virtwali** f'**indirizzi fiżiċi** fil-ħin.

## Kif taħdem l-illużjoni

Il-memory hija maqsuma f'**pages** ta' daqs fiss (komunement 4 KB). **Page table** għal kull process timmappja kull virtual page ma' **frame** fiżiku:

```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 ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## Għaliex teżisti l-virtual memory

- **Iżolament** — l-indirizzi ta' kull process jimmappjaw ma' frames differenti, u għalhekk il-process A litteralment ma jistax isemmi l-memory tal-process B. Din hija l-bażi tal-hardware għall-protezzjoni.
- **Overcommit / akbar mir-RAM** — pages li mhux qed jintużaw jistgħu jgħixu fuq id-disk (**swap**); ir-RAM iżżomm biss il-working set, u għalhekk programm jista' juża aktar memory milli hemm installata fiżikament.
- **Sempliċità għall-programmi** — kull process jieħu l-istess layout nadif u kontigwu; il-compiler/linker ma jinkwetax fejn jaqa' fir-RAM.
- **Qsim** — l-istess frame fiżiku (shared library, jew pages copy-on-write wara `fork`) jista' jiġi mmappjat f'diversi processes.

Jekk process imiss page li mhix fir-RAM, l-MMU jiskatta **page fault** u l-OS jgħabbiha (mid-disk, jew jimla b'żero page ġdida).

## Għaliex huwa importanti

Il-virtual memory tinsab taħt kważi kollox dwar kif il-programmi jużaw ir-RAM: iżolament tal-process, għaliex `fork` huwa mgħaġġel (copy-on-write), għaliex memory-mapped file taħdem, u għaliex programm jista' jalloka gigabytes li mhumiex sostnuti minn memory reali sakemm ma jintmessux. Li tifhem il-pages u t-traduzzjoni tal-indirizzi hija l-punt tad-dħul għat-temi aktar profondi tat-TLBs, page faults, u thrashing.

Kif taħdem l-illużjoni

Għaliex teżisti l-virtual memory

Għaliex huwa importanti

Mistoqsijiet relatati