第五章：共识算法
共识算法旨在解决分布式系统在部分节点故障或网络异常时，如何让存活节点就系统状态达成一致的根本问题。它不仅是实现状态机复制的理论基础，也是 Leader 选举、原子广播和集群配置变更等核心功能的驱动力。不同于两阶段提交协议的阻塞特性，共识算法追求的是在容错前提下达成一致，即使少数节点失效也能保证系统持续推进。 其核心目标是在不可靠的异步网络中，使一组进程就某个提议值达成唯一且不可逆的协定。这一机制广泛应用于确保主从复制的正确性、维护分布式数据库的副本一致、实现分布式事务的原子性以及决定事件的全局顺序等场景。 算法的复杂性主要源于节点崩溃、网络延迟或分区、拜占庭故障等挑战。从概念上必须区分“共识”与“一致性”：一致性描述数据副本的状态或外部视图的一致，而共识是达成该状态所采用的一种内部协调协议，是实现强一致性的重要技术手段。