前言

分布式系统中，最难的问题是：如何在网络不可靠、节点可能宕机的环境下，让多个节点对某个值达成一致？

这就是 共识问题（Consensus Problem）。解决好这个问题，就能构建：

• 高可用数据库（MySQL复制、PostgreSQL）
• 分布式协调服务（Zookeeper、etcd）
• 一致性存储（Google Bigtable、HDFS）

本文从 CAP定理 出发，深入讲解 Paxos 和 Raft 两大共识算法的原理、差异与应用。