文章目录

• 多数派的本质
• 人肉配置进行成员变更？
• Paxos动态成员变更算法
• 参考

多数派的本质

• Paxos算法约束的第二条就是 Bqrm $\bigcap$⋂ B’qrm $\neq$̸​= $\varnothing$∅。
• 但是如果投票者集合发生变化，我们反证法¹就会无效。
• 也就是固定成员是Paxos算法的根基。

人肉配置进行成员变更？

• 不可能，只能理论上无限逼近。

Paxos动态成员变更算法

• 我们通过Paxos来决议出成员变更的操作系列
• 延缓变更生效。
  • 但是产生了一个问题，旧的Leader不写入数据怎么办。解决方法是，察觉后进行nullvalue的写入。

---

参考

• Paxos理论介绍(4): 动态成员变更

---

1. Paxos理论介绍(1): 朴素Paxos算法理论推导与证明 ↩︎