大规模共识算法：第二部分 - 共识规则
内容提要
本文讨论了大规模系统中的共识算法，特别是单领导者设计。强调在高并发环境下确保请求的持久性和一致性。提出共识系统的基本规则，包括领导者职责、选举新领导者的流程及成功路径。指出传统共识系统中的一些要求并非绝对必要，鼓励探索更灵活的实现方式。
延伸解读
从YouTube实践看共识的权衡
作者在YouTube运行Vitess时，面对数万节点、高QPS和跨数据中心拓扑，需要在延迟、可用性和持久性之间取得平衡。他们通过定期故障转移（大多自动化）实现无数据丢失。这段经历表明，大规模共识系统必须根据实际资源可靠性和数据关键性来定义持久性要求，而非追求绝对保证。
单值共识到请求序列的扩展
共识系统最初保证单值一旦被接受就不会被遗忘。但存储系统需要处理请求序列，因此规则扩展为：若v1失败，后续v2必须决定v1是完成还是拒绝，并保持顺序。这类似于Raft的日志复制，但作者用“请求”替代“值”，涵盖事务、键值设置等原子操作，使共识更贴近存储系统的实际需求。
单领导者设计的两个核心工作流
文章聚焦单领导者设计，它由两个协作的工作流组成：领导者接受请求并使其持久化；以及选举新领导者以无分歧、无数据丢失地恢复请求。Paxos和Raft也采用此方法。这种设计限制了复杂度，但作者指出，传统共识中的多数派法定人数、节点交集和提案编号并非绝对必要，鼓励探索更灵活的实现。
共识规则泛化的意义与后续
作者将共识规则提炼为领导者职责、选举流程、前进路径和竞争唯一性四条，并有意保持通用，以允许不同实现。这偏离了传统系统对多数派和提案编号的依赖，例如可以构建50节点但法定人数仅为2的系统。后续文章将探讨这些规则支持的实际用例，并深入每个属性的权衡。
Q&A
大规模共识算法的核心目标是什么？
大规模共识算法的核心目标是确保在高并发环境下请求的持久性和一致性。
单领导者设计在共识系统中有什么优势？
单领导者设计可以有效管理请求，确保数据不丢失，并简化系统的复杂性。
共识系统中领导者的职责是什么？
领导者的职责是接受请求并满足规定的持久性要求。
如何选举新的领导者？
选举新的领导者需要终止之前的领导，招募必要的节点，并传播之前完成的请求以满足新领导者的持久性要求。
共识系统的基本规则有哪些？
共识系统的基本规则包括领导者的职责、选举新领导者的流程和确保前进的路径。
传统共识系统的哪些要求并非绝对必要？
传统共识系统中的一些要求，如多数法定人数和提案编号，并非绝对必要，可以探索更灵活的实现方式。
