0.5 · 作業系統地基

Part 0 前置知識

預估 25 分鐘

難度：入門

行程

記憶體

fsync

讀前須知

需要先會

任何一門程式語言寫過 hello world知道「程式跑起來叫一個程式」這個直覺

第一次讀預估

沒上過作業系統課的讀者建議 45-60 分鐘——本章把 OS 課的一學期內容壓到剛好夠看懂 DDIA Ch3 / Ch7。每節讀完試著用自己的話對朋友說一次再進下節

可跳過的小節

§3 虛擬記憶體深入（DDIA 後續章節用不太到、留作補充）
§5 page fault 詳細流程（看 TLDR + 例子就夠）

TL;DR · 本章重點

行程 vs 執行緒：行程有獨立虛擬記憶體；執行緒共享行程內記憶體 —— 後者並發寫共享資料就是 race condition 的源頭。
Page cache：OS 把最近讀寫的磁碟頁保留在 RAM —— 同一份資料第二次讀比第一次快很多就是它。
fsync 才強制寫回磁碟：沒呼叫的寫入、停電可能丟失 —— 這是 WAL（先寫日誌再改資料）為何存在的根本原因。
Process Pause 真實存在：GC、VM 遷移、闔上筆電 —— 分散式系統會把它誤判為「節點失聯」、是 Ch8 的反覆主題。
Page Fault：要存取的頁不在 RAM、OS 同步從磁碟載入、行程停下等磁碟 —— 工作集大於 RAM 會雪崩就是這個。

1) 行程與執行緒

	行程 Process	執行緒 Thread
記憶體	獨立虛擬記憶體	共享行程內記憶體
切換成本	高（換 page table）	低
通訊	IPC、socket、檔案	直接讀寫共享變數
崩潰影響	不影響其他行程	整個行程一起死

為什麼 DDIA 在意這個

DB 內部要嘛多行程（PostgreSQL：每連線一個行程）、要嘛多執行緒（MySQL）。Ch7 並發控制根本上是「兩個執行緒同時操作共享狀態」的問題。

2) 虛擬記憶體 = 一層抽象

每個行程看到的記憶體位址都是「虛擬的」，OS 透過 page table 對應到實體 RAM。好處：

行程之間彼此隔離
可以「假裝」記憶體比 RAM 大（swap 到磁碟）
mmap 可以把檔案「映射」進記憶體位址空間

DDIA Ch3 提到 LMDB 用 mmap 直接操作 B-Tree——這就是利用 OS 已有的虛擬記憶體機制。

3) Page Cache 與 fsync

Page Cache 是 OS 自動做的快取

當你 write(fd, buf, n)，OS 不一定立刻寫到磁碟——可能只放在 page cache 裡。讀的時候也一樣，最近用過的頁會留在 RAM。

程式 ── write() ──▶ Page Cache（RAM）──── 背景 flush ─▶ 磁碟
                       ▲
                       │
程式 ── read()  ─── hit 就直接拿

沒 fsync = 可能丟資料

如果 page cache 還沒 flush 就斷電——資料消失。

write(fd, "ACID 交易已提交", 16);  // 只寫到 page cache
// 此時斷電 → 資料丟失

正確做法（WAL 的根本）：

write(log_fd, log_entry, n);
fsync(log_fd);                    // 等 OS 真的寫回磁碟
// 現在才能告訴使用者「交易已提交」

DDIA Ch3 反覆強調

所有「持久性」保證的根源都是 fsync。fsync 很慢（要等磁碟），所以 DB 設計核心就是「盡量批次 fsync」「順序寫 log 比隨機寫資料快」。

4) Page Fault 與工作集

程式存取的記憶體頁不在 RAM 中—— OS 必須先從磁碟把它載入，程式同步等待。

程式: data = mem[0x7fff...]  ← 頁不在 RAM
       │
       ▼
OS:    Page Fault → 從磁碟讀 → 載入 → 恢復程式
       （這段時間 CPU 給別人用）

如果工作集 > RAM，就會頻繁 page fault——效能雪崩。DDIA Ch3 提到 LSM-Tree 的 SSTable 設計就在優化這個（連續讀比隨機讀快幾個數量級）。

5) Process Pause：DDIA Ch8 的核心難題

行程可能「死一段時間」的真實原因：

GC（特別是 stop-the-world GC）：可以暫停數秒到數十秒
VM live migration：可暫停整個 VM 數百毫秒到數秒
作業系統把行程 swap 出去：等下次排程
闔上筆電然後打開：機器時間跳了好幾小時
CPU 過熱降頻：執行速度突然慢 10 倍

分散式系統的麻煩：這些都會被其他節點誤判為「失聯」。Ch8 完整處理這個問題（fencing token 是解法之一）。

6) 與 DDIA 章節的對應

DDIA 章節	用到的 OS 概念
Ch3 儲存引擎	page cache、fsync、mmap、順序 vs 隨機 I/O
Ch7 交易	執行緒、race condition、lock、原子操作
Ch8 分散式麻煩	process pause、GC、虛擬機遷移
Ch11 串流	mmap log files、零拷貝（Kafka 的 sendfile）

想更深入？

資源	內容
OSTEP（Operating Systems: Three Easy Pieces）	免費 OS 教科書，比《恐龍書》易讀
MIT 6.1810 xv6 book	用 100 頁實作一個 mini OS，看完通
Brendan Gregg: Systems Performance	效能分析聖經
Linux Performance	Gregg 的工具圖鑑

章末自評

The Next Chapter

0.6 網路地基

OS 層之後是網路層—— TCP、HTTP、RPC、為什麼「網路會丟包延遲」是 Ch4 / Ch8 的全部前提。

Continue Reading→

0.5 · 作業系統地基 ​

1) 行程與執行緒 ​

2) 虛擬記憶體 = 一層抽象 ​

3) Page Cache 與 fsync ​

Page Cache 是 OS 自動做的快取 ​

沒 fsync = 可能丟資料 ​

4) Page Fault 與工作集 ​

5) Process Pause：DDIA Ch8 的核心難題 ​

6) 與 DDIA 章節的對應 ​

想更深入？ ​

章末自評 ​