07
第07章 · 从理论到工程：分布式系统中的共识
提纲 v1 · 待素材核实
章目标
从 Paxos 到 Raft 到工业系统——理论如何落地为工程；并正面回应「烽火台已解决共识问题」的流行说法。
小节结构（写作序）
Paxos 家族：从论文到工程化的二十年
Raft：可理解性驱动的共识再设计
工业形态：数据库主备、服务发现、区块链的共识层
误区澄清：为什么烽火系统没有「解决」共识问题
六模块落实位
开篇钩子（拟）：一次数据中心主备切换与一次镇城兵力调度并置
事实档案：见下「素材卡引用」，成稿时逐条带出处
古今对照（拟）：镇城总调 ↔ leader；塘报奏报 ↔ 复制日志（差异显著，须克制）
边界声明（拟）：无全局时钟、无持久日志、无自动故障切换——三条硬差异
坊间说法 vs 可考事实（栏目选题）：「长城=区块链鼻祖」的说法 vs 共识三性质逐一对照
设计原则卡（拟）：P1-12 工程共识=多数表决+持久日志+故障切换三件套
素材卡引用（事实底稿）
fact-007/008/009
理论底稿（现代概念卡）
Paxos/Raft 要点（fact-008）
FLP 不可能性（fact-007）
复制状态机模型（概念卡）
体量配额
历史:理论:工程 ≈ 40:35:25，本章目标 1.2-1.8 万字
提纲层先行：对本章结构的任何调整，先在「丛书文控」面板提 modify 提议，共识后再动成稿。