知识卡片

MultiPaxos复用准备

普通读书笔记卡 · 1725.c

内容

Multi Paxos 把多个 consensus 实例排列成日志;稳定 leader 可共用 prepare 阶段,后续实例直接进入 accept,提高复制状态机吞吐。发散:工程化共识通常不是每条日志完整跑一遍基础算法,而是利用稳定领导权摊薄成本。

参考来源

- 位置:《分布式系统与一致性》第10章《共识算法Paxos》"10.4.3 只运行一次prepare消息的完整Paxos算法"一节(源文件:_epub-src/OEBPS/Text/chapter14.xhtml) - 结论依据:原文明确"每个实例的prepare阶段都是相同的,所以leader可以为所有的实例发送一个共同的prepare消息,也就是所有的实例共用第一阶段",示例中"'进程1'不再发送prepare消息,而是直接发送第二个实例的accept消息,运行第二个实例"。 - 原始内容:分析前面所讲的独立实例运行的完整Paxos算法,可以总结出这样一条规律:每个实例都是相互独立的,且从头开始编号运行,而且到第二阶段才开始提议具体的值,相当于每个实例的prepare阶段都是相同的,所以leader可以为所有的实例发送一个共同的prepare消息……"进程1"不再发送prepare消息,而是直接发送第二个实例的accept消息,运行第二个实例。