Stanford CS111 Lecture 1：作業系統的歷史、抽象化與三條課程主線
第 1 講沿 1940 年代共用 I/O 卡片、batch processing、multiprogramming 與個人電腦的演變，解釋 OS 的功能如何隨硬體成本與使用者需求逐層增加。
#systems
27 篇文章Stanford CS111 Lecture 2：行程與執行緒的執行抽象、狀態與切換
第 2 講先定義行程與執行緒的共享／私有狀態，再用 fork、execvp、waitpid 與 thread creation 說明核心如何建立執行單位。
Stanford CS111 Lecture 3：核心執行緒、使用者執行緒、context switch 與 dispatcher
第 3 講沿 running、blocked、ready 狀態轉移，拆解 PCB、context save/restore 與 dispatcher 如何完成一次 CPU 控制權交接。
Stanford CS111 Lecture 4：交錯執行、race condition、atomicity 與 critical section
第 4 講逐步拆解 Too Much Milk 的失敗排程，從具體 interleaving 推導 race condition、atomicity、critical section 與正確同步條件。
Stanford CS111 Lecture 5：mutex、condition variable 與 Mesa semantics
第 5 講用容量為 8 的環形 Pipe 證明：mutex 只提供互斥；condition variable 才能在 predicate 不成立時原子地釋放鎖並阻塞；Mesa semantics 下，wait 返回後必須用 while 重查條件。
Stanford CS111 Lecture 6：關中斷、原子指令、spinlock 與阻塞式 lock 的實作
第 6 講從單核心關中斷一路修到多核心 v5，追蹤 guard、lock 與 wait queue，說明 atomic exchange、spin、block 與 wakeup 如何避免 race 和 lost wakeup。
Stanford CS111 Lecture 7：Deadlock 的四個必要條件與全域鎖順序
第 7 講用 request/ownership graph 拆出 deadlock 的四個必要條件，再比較 detection、prevention 與 lock ranking；實務上最常破壞 circular wait，但代價是所有模組必須遵守同一個全域順序。
Stanford CS111 Lecture 8：FIFO、round robin、priority 與多核心排程
第 8 講從 FIFO、round robin 與不可實作的 SRPT，推到自適應 priority queues、BSD scheduler，再處理多核心 queue contention、core affinity 與 work-conserving 的衝突。
Stanford CS111 Lecture 9：object file、symbol、relocation、static 與 dynamic linking
第 9 講沿著 source→assembly→object→executable→process，拆解 linker 的三次掃描、symbol relocation，以及 dynamic loader 如何用 jump table 把 shared library 位址延後到啟動時解決。
Stanford CS111 Lecture 10：allocator 介面、free list、fragmentation 與 placement policy
第 10 講從 stack 的可預測 LIFO，推到 heap 的 free lists、first/best fit 與 slabs，再比較 reference counting 和 mark-and-sweep 如何在 dangling pointers、leaks、cycles、fragmentation 間取捨。
Stanford CS111 Lecture 11：Storage Reclamation、Reference Counting 與 GC
第 11 講的官方 PDF 與 Lecture 10 逐位元組相同；本文誠實保留此 artifact 缺口，聚焦後半的 reachability、dangling pointers、leaks、reference-count cycles 與 mark/compact GC。
Stanford CS111 Lecture 12：可信任的定義、隔離、驗證與從不信任建立信任
第 12 講把 trust 定義為自願承受 vulnerability，區分 over-trust 與 untrustworthiness，再用 assumption、inference、substitution 分析 Linux TCB、xz attack 與 AI code policy。
Stanford CS111 Lecture 13：位址空間、relocation、base-and-bound 與保護
第 13 講從 single-tasking 與 load-time relocation 的失敗出發，以 MMU 的 base/bound 建立 virtual/physical address spaces、透明隔離與 traps，再用 segmentation 解開單一連續區域的限制。
Stanford CS111 Lecture 14：segmentation、共享、稀疏位址空間與配置限制
Lecture 14 的官方 PDF 與 Lecture 13 逐位元組相同；本文明示此缺口，聚焦 segmentation 如何以多組 base/bound/protection 支援 growth、sharing、compaction，以及 fixed-count、fragmentation、rigid layout 限制。
Stanford CS111 Lecture 15：page、frame、page table、TLB 與多層頁表
第 15 講以固定大小 pages 消除跨 process external fragmentation，再拆解 x86-64 四層 page-table walk、sharing/aliasing 與 TLB，說明 translation speed、table sparsity、context switch 和 page size 的連動取捨。
Stanford CS111 Lecture 16：Page Fault、Demand Fetching 與 Prefetch
Demand paging 只在需要時載入頁面；present bit、精確例外與可重啟指令讓核心能從 executable、zero-fill 或 backing store 安全補頁。
Stanford CS111 Lecture 17：從 page fault 到 Clock，記憶體滿了該換掉誰？
第 17 講把 demand paging 分成 fetching 與 replacement：MIN 無法預知未來，精確 LRU 成本過高，Clock 只靠 reference／dirty bits 找夠舊的 page；active working sets 放不進 RAM 時，1% fault rate 就可能帶來約 1,000 倍 slowdown。
Stanford CS111 Lecture 18：磁碟幾何、Interrupt 與 DMA
磁碟把機械式 seek 與 rotation 隱藏成線性 block API；現代 I/O 再用 memory-mapped registers、DMA queues 與 interrupts，讓 CPU 只負責下命令和收完成通知。
Stanford CS111 Lecture 19：檔案抽象、配置策略與 FAT
檔案系統把耐久 byte collection 映射到磁碟 blocks；contiguous、linked 與 FAT 分別交換 locality、成長彈性、random access 與 metadata 成本。
Stanford CS111 Lecture 20：多層 Inode、Index Walk 與磁碟排程
4.3BSD inode 用 direct、single-indirect 與 double-indirect pointers 讓 lookup depth 隨檔案大小分級；FIFO、SPTF、SCAN 與 CSCAN 則交換 seek cost、公平性與等待時間。
Stanford CS111 Lecture 21：Block Cache、Free Bitmap 與 Delayed Allocation
Block cache 把熱索引留在 DRAM，bitmap 與保留空間維持配置選擇，fragments 和 delayed allocation 則用較晚、較完整的資訊換取 locality。
Stanford CS111 Lecture 22：Directory Lookup、Hard Link 與 Symbolic Link
Directory 把文字名稱映射到 file-system-local i-number；hard link 共享 inode 與 reference count，symbolic link 則保存 pathname，換得跨檔案系統能力但可能形成 loop 或 dangling link。
Stanford CS111 Lecture 23：從 fsck、Ordered Writes 到 Write-Ahead Logging
檔案系統一次操作會改動多個 block，崩潰卻可能發生在任兩次寫入之間；本講比較 fsck、ordered writes 與 write-ahead logging 如何交換復原時間、效能、耐久性與一致性。
Stanford CS111 Lecture 24：Journaling、Transaction 與 Checkpoint
第 24 講從 WAL 入口往下拆 transaction、idempotent replay 與 checkpoint，說明一致性不等於 durability，journal 也不能取代 fsync 與備份。
Stanford CS111 Lecture 25：Truth, Trust, and Technology——演算法、生成式 AI 與 deepfake 如何改寫信任
第 25 講把 trust 拆成假設、推論與替代三種建立方式，再檢視社群推薦、生成式 AI 與合成媒體如何放大過度信任；實務答案是保留來源、交叉驗證並協調責任。
Stanford CS111 Lecture 26：Flash Translation Layer、Garbage Collection 與 Wear Leveling
Flash 只能逐頁 program、整個 erase unit 清除；FTL 以 out-of-place mapping 隱藏不對稱，再用 garbage collection、temperature segregation、wear leveling 與 TRIM 管理放大成本。
Stanford CS111 Lecture 28：用四個觀念串起並行、記憶體與儲存
第 28 講把整學期收斂成並行、記憶體、儲存三條主線，再用 virtualization、atomicity、locality、layering 四個觀念解釋作業系統如何管理共享資源。