从晶体管到应用：抽象层次
计算机科学的核心技巧只有一个：分层抽象——把一个复杂的系统组织成若干层，每一层只依赖下一层的接口，而不关心其实现。晶体管不需要知道自己在算 Excel 表格，Python 程序员不需要知道缓存行是什么。本章建立全书的分层坐标系：每一层向上提供什么承诺、隐藏什么细节，以及性能与安全问题为何常常是"下层细节泄漏到上层"的结果。
抽象作为组织原则
Section titled “抽象作为组织原则”一个抽象由两部分组成：
- 接口（承诺）：对使用者可见的行为约定。"这个函数把两个数相加"、"这个协议保证字节按序到达"。
- 实现（机制）：接口背后的具体做法。加法器用进位链实现，可靠性用重传与校验实现。
分层能成立的前提只有一条：接口稳定、实现可变。x86-64 指令集四十年未变，于是三十年前的二进制今天仍能运行；而 CPU 微架构每一两年换一代，操作系统内核每周都在改。接口是契约，实现是自由度——工程上的进步几乎都发生在"保持契约、重写机制"里。
抽象还有第二个作用：局部化推理。判断一段程序是否正确时，只需要它所在层以下的接口语义，而不需要无穷递归地追问"晶体管可靠吗"。没有这个前提，任何非平凡软件都无法书写。
| 层次 | 向上提供什么 | 隐藏了什么 | 对应本百科 |
|---|---|---|---|
| 器件：晶体管、门电路 | 0/1 的开关与布尔运算 | 电子的量子行为、物理噪声 | 第二卷第一部分 |
| 微架构：流水线、缓存 | "每条指令按 ISA 语义执行"的假象 | 流水线乱序、分支预测、缓存层次 | 第二卷第二、三部分 |
| 指令集（ISA） | 寄存器、指令、内存模型的稳定契约 | 具体实现方式 | 第二卷第二部分 |
| 操作系统 | "每个进程独占一台机器"的假象 | 虚拟内存的页表、调度的交错、共享内核 | 第六卷 |
| 语言与运行时 | 类型、对象、垃圾回收、异常 | 栈与堆的布局、GC 停顿、JIT 去优化 | 第五卷 |
| 算法与数据结构 | "这个问题能在多长时间内解决" | 常数因子、缓存友好性 | 第三、四卷 |
| 应用与系统设计 | 业务功能、服务契约 | 上述所有层的选择 | 第九、十一卷 |
注意这张表的规律：每一层的"承诺"都是一台更好的虚拟机器。微架构把时序复杂的电路虚拟成"顺序执行指令"的机器，操作系统把一台机器虚拟成许多台，语言运行时把内存管理的脏活虚拟成"对象用不完就扔"。理解一台真实计算机，就是理解这些虚拟机器各自在哪里、如何兑现承诺。
Joel Spolsky 的名言："所有非平凡的抽象都或多或少泄漏。"原因是成本与物理约束不会消失，只会转移。当下层的机制有限时，它只能通过可观察行为把压力传给上层：
- 缓存未命中：语言层说"访问数组任意元素一样快"，但按列遍历二维数组可能慢十倍——存储层次的物理事实泄漏到了算法层（→ 存储层次与缓存）。
- GC 停顿：运行时说"内存随便用"，但垃圾回收的暂停会打乱服务的延迟分布，p99 尾部延迟常常就是 GC（→ 运行时、内存管理与垃圾回收）。
- TCP 重传：传输层说"字节流按序可靠"，但一条丢包会让后面所有字节等待——队头阻塞泄漏到了应用层，HTTP/3 为此把传输层搬进用户态重建（→ 传输层：TCP 与 UDP）。
- 推测执行的副作用：微架构说"指令顺序提交"，但推测执行留下的缓存痕迹可以被测量，Spectre 就是这样绕过了进程隔离（→ 内存安全与常见漏洞）。
泄漏的抽象不是设计失败，而是性能与安全问题的常驻形态。这也是本百科的结构逻辑：应用问题查不清时，往往要沿层下降；每一卷都假设你偶尔会从上一层的洞里掉下来。
本百科的坐标系
Section titled “本百科的坐标系”本书按这条分层链组织成十二卷：第一卷是地图（本章与下一章）；第二卷自底向上盖到处理器与存储；第三、四卷是算法层；第五卷是语言与运行时层；第六、七、八卷分别是操作系统、网络、数据库三个大型中间层；第九卷把这些放进分布式环境；第十卷回到"可计算"的数学地基；第十一、十二卷是横切的工程与安全视角。阅读时可以自底向上，也可以自顶向下——路线见如何使用本百科。
- 接口稳定、实现可变，是分层能成立的前提
- 每一层的承诺都是"一台更好的虚拟机器"：微架构虚拟出顺序执行，操作系统虚拟出多台机器，运行时虚拟出无限内存
- 缓存未命中、GC 停顿、TCP 重传、推测执行副作用都是抽象泄漏——性能与安全问题的常驻形态
- 本书的十二卷就是这条分层链：每卷假设读者可能从上一层的洞里掉下来