分布式与一致性协议之Paxos算法(三)

Paxos算法

兰伯特关于Multi-Paxos的思考

领导者

我们可以通过引入领导者(Leader)节点来解决第一个问题。也就是说将领导者节点作为唯一提议者，如图所示。这样就不存在多个提议者同时提交提案的情况，也就不存在提案冲突的情况了。这里补充一点:在论文中，兰伯特没有说如何选举领导者，需要我们在实现Multi-Paxos算法的时候自己实现。比如Chubby中的主节点(也就是领导者节点)是通过执行Basic Paxos算法进行投票选举产生的，那么如何解决第二个问题，也就是如何优化Basic Paxos执行呢

优化Basic Paxos执行过程

我们可以采用"当领导者处于稳定状态时,省掉准备阶段，直接进入接受阶段"这个优化机制，优化Basic Paxos执行过程。也就是说，领导者节点上的序列中的命令是最新的，不再需要通过准备请求来发现之前被大多数节点通过的提案，即领导者可以独立指定提案中的值。这时，领导者在提交命令时，可以省掉准备阶段，直接进入接受阶段，如图所示。

可以看到，与重复执行Basic Paxos相比，当Multi-Paxos引入领导者节点之后，因为只有领导者节点一个提议者，所以不存在提案冲突。另外，当主节点处于稳定状态时，省掉准备阶段，直接进入接受阶段，会在很大程度上减少了往返的消息数，提升了性能，降低了延迟。看到这里你可能会问:在实际系统中，该如何实现Multi-Paxos呢?接下来，接下来以Chubby的Multi-Paxos算法的。