Paxos理论介绍(4): 动态成员变更-总结提问

多数派的本质

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

人肉配置进行成员变更？

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

Paxos动态成员变更算法

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

---

参考

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

---

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