分布式系统百科

分布式系统的核心不是把服务拆到多台机器，而是在网络分区、时钟漂移、节点故障和软件缺陷面前仍然维持正确性。本索引把一致性、共识、复制、事务、存储和验证方法放在一条阅读路径上。

本页提供统一入口；当前共收录 69 篇正文。

专题入口

• 旧版专题页：分 Part 导航

推荐入口

• 【分布式系统百科】分布式系统模型：你的假设决定你的命运
• 【分布式系统百科】FLP、CAP 与不可能性结果：被误读的三座里程碑
• 【分布式系统百科】故障的分类学：从 fail-stop 到 Byzantine
• 【分布式系统百科】端到端论证：分布式系统设计的第一性原理

目录

1. 【分布式系统百科】分布式系统模型：你的假设决定你的命运
2. 【分布式系统百科】FLP、CAP 与不可能性结果：被误读的三座里程碑
3. 【分布式系统百科】故障的分类学：从 fail-stop 到 Byzantine
4. 【分布式系统百科】端到端论证：分布式系统设计的第一性原理
5. 【分布式系统百科】05 · 分布式系统的复杂性度量：消息复杂度、轮次复杂度与空间下界
6. 【分布式系统百科】物理时钟的谎言：NTP、PTP 与时钟漂移的工程现实
7. 【分布式系统百科】逻辑时钟：Lamport 时钟、向量时钟与矩阵时钟
8. 【分布式系统百科】混合逻辑时钟与 TrueTime：在物理和逻辑之间找到平衡
9. 【分布式系统百科】一致性模型全景：从线性一致性到最终一致性的光谱
10. 【分布式系统百科】会话保证与因果一致性：用户视角的一致性
11. 【分布式系统百科】共识问题的精确定义：Agreement、Validity、Termination
12. 【分布式系统百科】Paxos：从 Single-Decree 到 Multi-Paxos 的工程之路
13. 【分布式系统百科】Raft 深度重写：从论文的 18 页到 etcd 的 15000 行
14. 【分布式系统百科】EPaxos 与 Flexible Paxos：打破 Leader 瓶颈的两条路
15. 【分布式系统百科】Viewstamped Replication 与 PBFT：从 CFT 到 BFT
16. 【分布式系统百科】HotStuff 与现代 BFT：从三轮到两轮的优化之路
17. 【分布式系统百科】共识协议的工程权衡：Raft vs Multi-Paxos vs EPaxos 实测对比
18. 【分布式系统百科】主从复制：同步、异步与半同步的工程权衡
19. 【分布式系统百科】多主复制：冲突检测与解决策略的深水区
20. 【分布式系统百科】无主复制：Dynamo 风格的读写 Quorum
21. 【分布式系统百科】链式复制与 CRAQ：不走寻常路的高吞吐方案
22. 【分布式系统百科】线性一致性的实现：从理论定义到工程验证
23. 【分布式系统百科】复制日志的设计：物理复制 vs 逻辑复制 vs 状态机复制
24. 【分布式系统百科】哈希分区：一致性哈希、Jump Hash 与虚拟节点
25. 【分布式系统百科】范围分区：分裂、合并与热点处理
26. 【分布式系统百科】分区环境下的二级索引：本地索引 vs 全局索引
27. 【分布式系统百科】数据再平衡：固定分区、动态分区与 TiKV 的调度策略
28. 【分布式系统百科】2PC 的真实失败模式：阻塞、脑裂与恢复
29. 【分布式系统百科】3PC 的理论改进与 Saga 的工程妥协
30. 【分布式系统百科】Percolator 模型：Google 的乐观事务方案
31. 【分布式系统百科】Spanner 与 TrueTime：用硬件解决分布式时间问题
32. 【分布式系统百科】Calvin 与确定性事务：另一条路
33. 【分布式系统百科】分布式快照隔离：从 Write Skew 到 Serializable SI
34. 【分布式系统百科】分布式事务实战对比：TiDB vs CockroachDB vs YugabyteDB
35. 【分布式系统百科】分布式日志：Kafka 的日志抽象与 Pulsar 的分层架构
36. 【分布式系统百科】Dynamo 论文精读：最终一致性的工业级范本
37. 【分布式系统百科】从 GFS 到 HDFS：分布式文件系统的设计空间
38. 【分布式系统百科】Ceph 与 CRUSH：去中心化存储的工程实现
39. 【分布式系统百科】分布式 KV 存储对比：etcd、TiKV 与 FoundationDB
40. 【分布式系统百科】NewSQL 架构拆解：Spanner、CockroachDB 与 TiDB
41. 【分布式系统百科】CRDT 理论：从半格代数到强最终一致性
42. 【分布式系统百科】CRDT 类型目录：从计数器到序列的完整图谱
43. 【分布式系统百科】CRDT 在协同编辑中的应用：从 OT 到 Yjs 与 Automerge
44. 【分布式系统百科】Delta-state CRDT 与反熵优化：从全量同步到增量传播
45. 【分布式系统百科】MapReduce：大规模数据处理的工程原点
46. 【分布式系统百科】Spark 内核：从 RDD 到 Tungsten 的性能进化
47. 【分布式系统百科】Flink 深度拆解：流计算引擎的工程实现
48. 【分布式系统百科】Dataflow 模型与流批一体：统一数据处理的理论基础
49. 【分布式系统百科】ZooKeeper 内核：从 ZAB 协议到分布式协调实践
50. 【分布式系统百科】etcd 深度解剖：从 Watch 机制到 MVCC 存储引擎
51. 【分布式系统百科】分布式锁的真相：从 Redlock 争论到 Fencing Token
52. 【分布式系统百科】成员协议：SWIM 与 Gossip 的工程实现
53. 【分布式系统百科】Jepsen 方法论：如何科学地证明分布式系统有 Bug
54. 【分布式系统百科】确定性模拟测试：让分布式系统的 Bug 无处遁形
55. 【分布式系统百科】形式化验证：用数学证明分布式协议的正确性
56. 【分布式系统百科】混沌工程：在生产环境中主动寻找系统弱点
57. 【分布式系统百科】大规模故障复盘：从真实事故中学习分布式系统设计
58. 【分布式系统百科】RPC 框架内核：从透明调用幻觉到工程实战
59. 【分布式系统百科】Gossip 协议：从流行病模型到大规模集群通信
60. 【分布式系统百科】可靠广播：从尽力而为到全序的五层抽象
61. 【分布式系统百科】新硬件对分布式系统的冲击
62. 【分布式系统百科】存算分离架构
63. 【分布式系统百科】Serverless 的分布式系统挑战
64. 【分布式系统百科】可验证分布式系统的未来
65. 【分布式系统实战】CRDT 入门：不靠共识也能合并——但代价是什么
66. 【分布式系统实战】分布式事务不是你以为的那个 2PC
67. 【分布式系统实战】混合时钟与因果一致性：Lamport → Vector → HLC
68. Raft：让共识算法不再是黑魔法
69. 【分布式系统实战】Raft 实现拆解：etcd 的共识算法到底长什么样

延伸阅读

• 全部系列索引
• 存储工程索引
• 网络工程索引