仮想メモリとは何で、なぜオペレーティングシステムはそれを使うのですか?

Question

IT Interview Practice · Accepted Answer

**仮想メモリ (virtual memory)** は、実際にどれだけの物理 RAM が存在するか、データが実際にどこにあるかに関わらず、すべてのプロセスに独自のプライベートで連続したメモリアドレスの塊 (0 から大きな最大値まで) という錯覚を与えます。OS と CPU の **MMU (Memory Management Unit)** が、これらの **仮想アドレス** を **物理アドレス** にその場で変換します。

## 錯覚の仕組み

メモリは固定サイズの **ページ (page)** (一般に 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 ──▶ │        │
   │   ...    │                                          └────────┘
   └──────────┘
```

## 仮想メモリが存在する理由

- **隔離** — 各プロセスのアドレスは異なるフレームにマップされるため、プロセス A はプロセス B のメモリを文字通り名指しできません。これが保護のハードウェア的基礎です。
- **オーバーコミット / RAM より大きく** — 使われていないページはディスク上 (**swap**) に置けます。RAM は working set だけを保持するので、プログラムは物理的に搭載された量より多くのメモリを使えます。
- **プログラムにとっての単純さ** — すべてのプロセスが同じクリーンで連続したレイアウトを得ます。コンパイラ/リンカは RAM のどこに配置されるか気にしません。
- **共有** — 同じ物理フレーム (共有ライブラリ、または `fork` 後の copy-on-write ページ) を複数のプロセスにマップできます。

プロセスが RAM にないページに触れると、MMU が **page fault** を発生させ、OS がそれをロードします (ディスクから、または新しいページをゼロ埋め)。

## なぜ重要なのか

仮想メモリは、プログラムが RAM をどう使うかのほぼすべての基盤です: プロセスの隔離、なぜ `fork` が速いか (copy-on-write)、なぜ memory-mapped file が機能するか、なぜプログラムが触れるまで実メモリに裏付けられないギガバイト単位を確保できるか。ページとアドレス変換を理解することは、TLB、page fault、スラッシングというより深いトピックへの入口です。

錯覚の仕組み

仮想メモリが存在する理由

なぜ重要なのか

関連する質問