Basic Paxos：两阶段与多数派
2026/8/22大约 2 分钟
分布式事务系列 · 阶段 5 · 共识算法 · 第 38/49 篇 · 🚧 占位待学
上一篇：《复制与 Quorum：NWR 基础》
下一篇：《Multi-Paxos：从单值到日志（附 ZAB 对照）》
学习大纲：《分布式事务学习总纲》
状态：待学习。 本文为占位文档：知识点清单、实验与验收标准已就绪，正文待按「先学习、先实验、再撰写」补全。
对应总纲单元：阶段 5.1 · 单元 5.1.1
一、本文要解决的问题
没有 leader 时，一群人怎么对一个值达成一致？prepare 与 accept 两阶段各自防住什么？活锁又是怎么发生的？
二、知识点清单
- Proposer / Acceptor / Learner 三角色
- prepare 阶段：承诺不再接受更旧提案；accept 阶段：选定值
- 多数派的意义：任意两个多数派必有交集
- 被拒绝后的重新提案与编号规则
- 活锁：两个 Proposer 交错抬价的场景
三、动手实验（学习时必须真跑）
- 纸面推演两个 Proposer 交错提案的活锁场景（对照论文走一遍消息）
四、验收标准（全部通过才进入下一篇）
五、写作提示（补正文时遵守）
- 开篇问题驱动；结构走「是什么 → 为什么 → 怎么做 → 背景知识」
- 所有代码、命令、输出必须先在本机跑通再写入，不得杜撰
- 版本口径以总纲环境清单为准（Apache Seata 2.6.0 / MySQL 8.0 / RocketMQ 5.x / Spring Boot 3.x）
- 涉及版本敏感结论时标注出处与时间
本篇完成后，把文首导航块的「🚧 占位待学」去掉，并在总纲处打卡。