第十二部分 · 元抽象: 跨章节大主题

为什么需要这一部分

前面十一部分按"领域"切片：DSA / OS / 网络 / DB / 编译 / 分布式 / 系统设计 / 计算机组成原理 / 计算理论 / 密码学与安全 / 信息论与编码。每一章其实都在反复讨论几个横切关注点——但这些横切关注点被领域拆散了。

这一部分把它们抽出来，单独成章：每一篇都假设你已经读完前面十一部分的具体章节。第八部分（计算机组成原理）提供了硬件层的 Cache/MESI/HBM/SM/Tensor Core/NVLink 等深度细节；第九部分（计算理论）给"可计算=_可高效计算"封顶；第十部分（密码学）把对抗 NPC 难度的代价转移为协议设计目标；第十一部分（信息论）给压缩 / 通信 / 纠错的数学极限。本章把这些分散的极限上升到抽象层——MESI 与 Paxos / FLP 与 Rice / 香农熵与 NP 复杂度 / 椭圆曲线群与图灵机归约之间的同构。读完后你不再需要记某个具体算法的常数，因为支撑它的抽象结构已经刻在脑子里。

与前面几个关键部分的关系

第十一部分（计算机组成原理）是硬件底座，本部分是抽象桥梁。比如：

• 第八部分讲 MESI cache coherence 的细节（snoop bus, directory protocol, write-back buffer），本章 memory-hierarchy.md 把 MESI 上升到"它是一种分布式一致性协议"——和 Paxos、两阶段提交同构
• 第八部分讲 HBM3 的 TSV 堆叠、3.35 TB/s 带宽，本章 hardware-shapes-software.md 推理出为什么 LSM-tree 的 compaction 要以 MB 为单位做 IO
• 第八部分讲 GPU warp、Tensor Core systolic array，本章 hardware-shapes-software.md 串联出"SIMT → 矩阵乘友好 → Transformer attention 爆发"的完整推理链
• 第九部分讲 Rice 定理对所有非平凡语义性质封顶，本章 runtime-semantics.md 解释为什么静态分析 / borrow checker 永远只能近似——必须借助 抽象解释 限制在可判定子语言
• 第十部分讲 SHA-256 / Shamir / Schnorr，本章 concurrency-consistency.md 把"共识协议"与"分布式工作流验证"统一在"无信任协调"框架下
• 第十一部分讲 Shannon 熵 / 容量，本章 memory-hierarchy.md 把"信道容量"和"cache + DRAM + SSD"层级放回同一条带宽—延迟幂律曲线

读法：先扫一遍第八到十一部分对应章节，再回来看本章对应抽象——你会感受到"硬件限制 / 数学极限 / 协议抽象"与"软件选择"之间那条清晰的因果线。

章节

• 1. 顺序 vs 链接: CPU 视角下两种物理化
• 2. 摊还 vs 最坏: 工程常数与硬实时的张力
• 3. 分治 vs 贪心 vs DP: 什么是"最优子问题分解"
• 4. 缓存层级: 从 L1 到 HBM 到 RDMA 的同构
• 5. 编程语言运行时: 四种实现语义
• 6. 并发与一致性: 单机到分布式同构
• 7. 推理链: 硬件层如何决定软件设计

阅读顺序建议

1-3 看"抽象上的等价 / 不等价"; 4-7 看"硬件到软件 / 软件到分布式"的同构。尤其 4 和 7 应与第八部分（计算机组成原理）交叉阅读；5 与第九部分（计算理论）/ 第五部分（编译原理）交叉阅读；6 与第六部分（分布式系统）/ 第十部分（密码学）交叉阅读。每篇引用前面的具体章节作为论据。