5.4 Paxos
容错共识
1. 知识点论述
「5.4 Paxos」是《分布式计算系统》容错共识部分的核心知识点。回答故障后如何继续服务，以及如何在多数派下达成一致。本知识点首先把握：角色：Proposer、Acceptor、Learner。学习时请把它放回整门课主线——把独立计算机组织成对用户像一台机器的系统，并用通信、数据放置、复制、容错与调度把这件事做可靠。
2. 视频教程
十五分钟带你了解 Paxos
3. 知识点详解
下面围绕本知识点展开要点说明，建议结合上方视频边看边对照。
- 角色：Proposer、Acceptor、Learner。
- 准备阶段：更高编号的提案让 Acceptor 承诺不再接受更小编号，并带回已接受的值。
- 接受阶段：若多数 Acceptor 接受同一值，该值被选定，Learner 学习它。
- 要点：在崩溃故障下，多数派保证不会选出两个值。
学习建议：先抓住定义与问题，再理解机制步骤，最后对照应用场景思考“何时用、何时不用、代价是什么”。
4. 应用场景
- 理解多数派表决与“只选出一个值”。
- 为学习 Raft/Zab 打基础。
- 配置变更、命名服务等强一致控制面场景。