分布式一致性协议：Paxos算法

术语

• Proposal Value：提案的值。即合同约定中指定的票选候选人。
• Proposal Number：提案的编号。会在贿选阶段，本地持久化。（比喻为承诺贿金）
• Proposal：提案=提案的编号+提案的值。
• Chosen：批准/选定，一旦某个值被Chosen，后续Paxos都必须用该值进行交互。

算法分析

• 算法背景是什么？

  答：分布式节点，需要消息互通，保持状态（数据）一致性。

• 算法面临的挑战是什么？

  答：CA的抉择，以及对于P的无奈（网络丢包现象不可避免，无法掌控）。

• 算法追求的效果是什么？

  答：不是强一致性（Strong Consistency），而是最终一致性（Eventual Consistency）。

• 算法映射到现实，如何解读？

  答：民主选举的过程。

• 最终的选举结果如何确定？

  答：少数服从多数。

• 如何保障选举一定会出现超过半数投票一致的情况？

  答：二阶段：贿选阶段（prepare->promise）+提议阶段（propose->accept）。