多数派的实质
在解说成员变更之前，咱们先回顾一下前文介绍的 Paxos 实践第一篇文章 Paxos 实践介绍(1): 奢侈 Paxos 算法实践推导与证实，（认真回顾数学定义和投票束缚章节）文中提到 Bqrm 为一轮胜利投票所须要的投票者汇合，而 Paxos 算法实践第二条束缚要求任意两个 Bqrm 的交加不为空，于是乎咱们能够了解为 Bqrm 就是一个多数派的意思，因为在一个固定的投票者汇合外面，取多数派作为 Bqrm，必定是满足条件的。
而所有的实践介绍，都是基于投票者汇合是固定的。一旦投票者汇合呈现变动，Bqrm 的定义将不再是多数派，Bqrm 的取值将变得异样艰难，而无奈定义 Bqrm，Paxos 算法的束缚就无奈达成一致性。也就是说，固定的成员是 Paxos 算法的根基。
人肉配置进行成员变更？
咱们再进行第二篇文章 Paxos 实践介绍(2): Multi-Paxos 与 Leader 的回顾，通过文章咱们晓得 Paxos 是以独立的实例的形式推动，从而产生一个统一的有序的系列，而每个实例都是独自运作的 Paxos 算法。再依据上文，咱们得出一个要求，在雷同的实例上，咱们要求各个成员所认为的成员汇合必须是统一的，也就是在一次残缺的 Paxos 算法外面，成员其实还是固定的。
每个成员如何得悉这个成员汇合是什么？通常咱们是通过配置文件。在通过配置的变更是否满足以上的要求呢？咱们晓得 Multi-Paxos 在推动的过程中是容许少数派落后的，而在同一个实例外面，获知 Value 被 chosen 也是有先后的，那么配置的变更可能呈现在以上任何的先后夹缝内，下图演示一个更换节点 C 为 D 的样例。
注：绿色代表曾经获知 chosen value 的实例
能够察看到 4 这个实例，曾经呈现了成员凌乱，(A,C),(B,D)都能够被认为是 Bqrm，但显著这两个 Bqrm 没有交加，曾经违反 Paxos 协定。
事实上咱们谋求的是找到一个切入机会，使得 Paxos 的运作程序都在这雷同的时刻实现配置的原子切换，但显著在分布式环境外面能做原子切换的只有一致性算法，所以配置更新不靠谱。
题外话，如果真的要应用人肉配置更新，在工程上是有一些方法，通过一些工具加人肉的轻微察看来有限迫近这个正确性，但究竟只能迫近。在实践层面咱们会放大任何事实中可能不会呈现的轻微谬误，比方工夫的不同步，网络包在交换机有限停留，操作系统调度导致的代码段卡壳等等，这些都会导致这些人肉办法不能回升到实践层面。况且，咱们接下来要介绍的动静成员变更算法也是十分的简略。所以这些粗疏的问题就不开展来聊了。
Paxos 动静成员变更算法
这个算法在 Paxos Made Simple 的最初一段被一句话带过，可能作者认为这个是瓜熟蒂落的事件，基本不值一提。
Multi-Paxos 决定出的有序系列，个别被用来作为状态机的状态转移输出，统一的状态转移得出统一的状态，这是 Paxos 的根本利用。那么十分瓜熟蒂落的事件就是，成员 (投票者汇合) 自身也是一个状态，咱们通过 Paxos 来决定出成员变更的操作系列，那么各台机器就能取得统一的成员状态。如下图。
在 4 这个实例，咱们通过 Paxos 算法来决定一个成员变更操作，所有的节点在实例 4 之后都能获取到成员从 A,B,C 变成了 A,B,D，在实践上达到了原子变更的要求。
延缓变更失效
通常 Paxos 的工程化为了性能和停顿性都会由一个 Leader 节点进行数据写入，而成员变更往往可能会导致 Leader 节点发生变化。那么变动的霎时可能会呈现大量以后 Leader 节点沉积申请的失败。
另外如果采纳多个实例基于窗口滑动并行提交（这里临时不开展讲，而且我感觉这个在理论工程实现中必要性也不是很大）的话，在成员变更操作被 chosen 后，之后的实例可能还在 Paxos 算法运行当中，那么这些实例的 Bqrm 可能曾经被确定下来，所以咱们不能再去改变这些实例的 Bqrm。如上图例子，4 的时候进行了成员变更，然而因为并行提交的关系，5 和 6 可能都曾经在提交当中了，那么他的 Bqrm 还是被确定下来为 A,B,C，这时候咱们不能去改这些实例的 Bqrm 为 A,B,D。
为了解决这个问题，咱们能够将成员失效时间延缓一下，在这个期间将申请疏导到新的写入节点。
咱们能够定义一个延缓窗口为 a，成员变更点为 I，则失效点为 I + a。这个 a 依据理论状况进行调节。如上图，成员变更点在实例 4，然而失效点能够在实例 6 之后。咱们规定旧的 Leader 在 I + a 之前依然能失常写入数据，而新的写入节点必须从 I + a 开始写入数据，这样能够实现一个平滑过渡。
这里有个异常情况，如果成员变更后，旧的 Leader 不写入数据了，实例停留在 (I, I + a), 而新的写入节点因为要在 I + a 后能力写入数据，真个算法就卡住无奈进行申请写入了。这种状况须要在工程上进行察看，如果呈现则由新的写入节点对(I, I + a) 进行 nullvalue 的写入，从而填补空洞。
说的再多不如浏览源码，猛击进入咱们的开源 Paxos 类库实现：https://github.com/tencent-wechat/phxpaxos，咱们残缺的实现成员变更算法。
OpenIMgithub 开源地址：
https://github.com/OpenIMSDK/…
OpenIM 官网： https://www.rentsoft.cn
OpenIM 官方论坛：https://forum.rentsoft.cn/
更多技术文章：
开源 OpenIM：高性能、可伸缩、易扩大的即时通讯架构
https://forum.rentsoft.cn/thr…
【OpenIM 原创】简略轻松入门 一文解说 WebRTC 实现 1 对 1 音视频通信原理
https://forum.rentsoft.cn/thr…