专题阅读路线9 篇约 12 小时读完
分布式系统必读
从拜占庭共识理论到工业级容错实践
这条路线以拜占庭将军问题为起点，沿着容错设计、工业级数据库与存储、共识算法比较三条线索，串起分布式系统的经典与前沿工作。适合已有一定分布式基础、想系统补齐共识与容错认知的工程师和研究者。读完后，你能看清共识算法的真实分歧与共性，也能理解大规模系统在一致性、容错和解耦上的工程取舍。
阅读顺序
- 01
拜占庭将军问题（1982）
The Byzantine Generals Problem (1982)
路线起点：形式化不可信节点下的一致性问题，是后续所有讨论的概念源头。
网络与分布式2018 · 290 分 · 77 评进阶 · 约 75 分钟编辑精选 - 02
在存在软件错误的情况下构建可靠的分布式系统（2003 博士论文）
Making reliable distributed systems in the presence of software errors (2003)
从理论转向工程，用 Erlang/OTP 监督树说明软件错误不可避免时如何做容错设计。
系统与数据库2015 · 216 分 · 25 评进阶 · 约 180 分钟编辑精选 - 03
F1：支撑 Google 广告业务的容错分布式关系数据库
F1 - The Fault-Tolerant Distributed RDBMS Supporting Google's Ad Business
工业级案例，看容错与一致性如何在 Google 广告业务的关系数据库中落地。
系统与数据库2012 · 201 分 · 56 评进阶 · 约 60 分钟编辑精选 - 04
一万亿条边：Facebook 规模的图处理
One trillion edges: graph processing at Facebook scale
把视角拉到超大规模图计算，展示万亿边规模下的工程实践与优化经验。
系统与数据库2015 · 201 分 · 25 评进阶 · 约 45 分钟编辑精选 - 05
Zanzibar：Google 的一致性全球授权系统（2019）
Zanzibar: Google’s Consistent, Global Authorization System (2019)
转向全球一致性授权服务，理解低延迟与强一致之间的权衡。
系统与数据库2021 · 258 分 · 97 评专业 · 约 75 分钟编辑精选 - 06
FoundationDB：一个分布式、解耦的事务型键值存储
FoundationDB: A distributed, unbundled, transactional key value store
事务型键值存储的解耦架构，补充存储层如何组织分布式事务与分层。
系统与数据库2021 · 283 分 · 99 评进阶 · 约 90 分钟编辑精选 - 07
Paxos vs. Raft：分布式共识是否已达成共识？
Paxos vs. Raft: Have we reached consensus on distributed consensus?
回到共识算法本身，用统一框架比较 Paxos 与 Raft，澄清被夸大的差别。
网络与分布式2020 · 343 分 · 65 评 · 引用 10进阶 · 约 28 分钟编辑精选 - 08
使 CRDT 能够容忍拜占庭故障
Making CRDTs Byzantine Fault Tolerant
把拜占庭威胁带入 CRDT，与开篇呼应，形成从问题到新方向的闭环。
网络与分布式2022 · 266 分 · 40 评进阶 · 约 90 分钟编辑精选 - 09
Stellar 协议：互联网级共识的联邦模型
Stellar Protocol: A Federated Model for Internet-Level Consensus (2016)
收尾：联邦拜占庭协议模型，展示互联网级共识的一种开放组织方式。
网络与分布式2018 · 301 分 · 61 评专业 · 约 90 分钟编辑精选