分布式系统基石:Paxos

栏目: IT技术 · 发布时间: 4年前

内容简介:这个世界上只有一种一致性算法,那就是Paxos,其它的算法都是残次品。——Mike Burrows(Google Chubby 的作者)Paxos是学习分布式系统无法绕开的一环,从理论上看Paxos是非常优雅的,但是实现起来就没有那么简单了。《

这个世界上只有一种一致性算法,那就是Paxos,其它的算法都是残次品。

——Mike Burrows(Google Chubby 的作者)

Paxos是学习分布式系统无法绕开的一环,从理论上看Paxos是非常优雅的,但是实现起来就没有那么简单了。《 The Part-Time Parliament 》又看不懂,只能看《 Paxos Made Simple 》和 视频教程 这种东西才能维持的了生活这样子。

Paxos

基本问题

假设一组进程可以提议一些值,共识算法需要保证最终只有一个提议的值被选中。对于共识的安全性要求如下:

  • 只有被提出的值才有可能被选中
  • 只有一个值被选中
  • 进程只会学习选中的值

Paxos算法中有三中主体:提议者(proposer)、接受者(acceptor)和学习者(learner),一个进程可以扮演多种主体。

  • 任何主体会以任意速度执行,可能停机或者重启
  • 消息会花费任意长的时间传递,会丢失或者重复,但是不会被破坏

选一个值

一个最简单的方案就是设置唯一接受者,让它选择第一接收到的值,但是这样是无法处理接受者崩溃的情况的。因此比较安全的方法是设置多个接受者,选择当大多数接受者接收的值。

可以尝试设计一个要求:

P1. 接受者接收它收到的第一个提议。

然而,如果不存在一个被大多数接受的值,那么就无法达成共识了。因此最好让接受者可以接收多个提议,每个提议用一个递增的数字进行编号。现在接受者可以接收多个提议了,但是需要保证所有选中的提议都包含同一个值,根据编码递增性质,可以给出要求:

P2. 如果一个包含值v的提议被选中,任何选中的高编号的提议必须包含值v。

一个提议被选中的前提是至少被一个接受者接收,所以通过满足一下条件来满足P2:

P2a. 如果一个包含值v的提议被选中,任何被接受的高编号的提议必须包含值v。

如果一个刚苏醒的提议者给没有接收过任何提议的接受者一个高编号的提议,那就有可能破坏P2a,因此可以加强为:

P2b. 如果一个包含值v的提议被选中,任何由提议者提出的高编号的提议必须包含值v。

进一步可以通过满足P2c来满足P2b:

P2c. 对于任意的v和n,如果一个包含值v,编号为n的提议被提出,存在一个由大多数接受者组成的集合S,那么必然为两种情况之一:

  • S中不存在任何接受者接受了编号小于n的提议
  • v就是S中接受者已经接受的最高编号并且编号小于n的提议的值

根据P2c的要求,提议者在提议之前必须知道编号小于n的最大编号提议,包括那些已经被接受的或者将要被接受的。一个提议是否会被接受无法预测,但是可以让接受者保证不接受编号小于n的提议。

这就需要提议者事先发送一个带编号n的准备请求给接受者,要求接受者返回:

  • 一个承诺:它不会接收任何编号小于n的提议
  • 已经接受的最高编号的提议

如果提议者发出的准备请求得到了大多数接受者的回应,那么它将编号n包含值v的提议发送给这些接受者,那么v是回应中最高编号的提议值,如果没有提议,那么可以是任意值。

因此对于接受要求就是:

P1a 接受者接受一个编号n的提议当且仅当它没有响应过编号大于n的准备请求。

阶段1:

  • 提议者选择一个提议编号n,然后将带有编号n的准备请求发送给大多数接受者。
  • 如果一个接受者接收到一个准备请求,其编号n大于任何已经回应过的准备请求,那么接收者返回一个承诺:它不会接收任何编号小于n的提议,以及已经接受的最高编号的提议。

阶段2:

  • 如果提议者发出的准备请求得到了大多数接受者的回应,那么它将编号n包含值v的提议发送给这些接受者,那么v是回应中最高编号的提议值,如果没有提议,那么可以是任意值。
  • 如果接收者收到了编号为n的接受请求,除非已经回应了一个更高编号的准备请求,否则接收这个提议。

学习选到值

最简单的策略就是让每个接受者把选中的提议发送给全部的学习者,但是这样的消息数量巨大。消息最少的方法是将每个接受者将选中的提议发送给一个特殊的学习者,然后又转给全体学习者。只有一个负责转发的特殊学习者容错性较差,可以设置多个这样的学习者。如果消息丢失的话,学习者可能得不到大多数接受者的选择提议,这个时候可以通过新的提议获取,比如让提议者主动发起一个提议。

进展

如果有两个提议者互相不停打断对方的准备阶段,那么永远没有提议被选中。解决方法就是使用领导选举算法,选举一个唯一的提议者。

实现

在具体实现中,算法需要选举一个领导作为唯一提议者和特殊学习者。要使用容错的稳定存储来记录接受者需要记住的信息。

MultiPaxos

Paxos每次只达成一个值的共识,如果我们要实现状态机就需要一条日志,做法就是在每条日志项上运行一次Paxos,然而这样做的代价是巨大的,将Paxos应用到日志上需要处理以下技术点。

新项

新的日志项需要加到从头开始第一个值没有被选中的日志槽中。

分布式系统基石:Paxos

服务器可以并行处理添加表项,但是应用到状态机的时候必须是有序的。

提高效率

  • 领导选举:多个提议者容易造成冲突,降低性能,索性选举一个领导负责提议,领导选举可以采用最大ID等选举算法;
  • 单次准备:将领导任期内的所有选中表项都使用一个编号(前提是插入位置的后面没有其他被选中的日志槽),这样每个领导任期之内只需要一次准备,后续添加表项直接使用接收请求(直到被拒绝为止);

备份和应用

算法还面临两个问题。

问题一:如何将日志备份到全部节点?

在后台不断尝试发送接受请求确保全部节点响应。

问题二:如何让其他节点知道日志项被选中?

首先约定将选中的日志槽的编号设为无穷acceptedProposal[i] = ∞,记录第一个未选中日志槽的位置firstUnchosenIndex。

  • 提议者告知接收者:在请求RPC中包含firstUnchosenIndex,接收者将所有满足i < request.firstUnchosenIndex和acceptedProposal[i] == request.proposal的日志槽i标记为选中;
  • 处理旧领导添加的日志项:接受者在回应中包含firstUnchosenIndex,如果提议者的firstUnchosenIndex大于接收者的firstUnchosenIndex,提议者发送Success RPC。

接收者收到RPC Success(index, v)之后,设置acceptedValue[index] = v和acceptedProposal[index] = ∞,返回firstUnchosenIndex。

原文链接: https://juejin.im/post/5d81cd1bf265da03b31c0466 ,作者:zhenghaoz


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

失控的真相

失控的真相

[美] 迈克尔·帕特里克·林奇 / 赵亚男 / 中信出版社 / 2017-6 / 42.00元

编辑推荐 在信息泛滥的时代,知识变得无处不在。鼠标轻轻一点,我们就坐拥一座巨型图书馆。然而,我们并没有因此就离真相更近。相反,互联网的普及使人们早已习惯于凡事问搜索引擎,并形成了一种“搜索即相信”的认知模式。当社交网络把数字人类带入一个个彼此隔绝的线上群体中,我们清楚地看到,真相与谎言在互联网中交织,知识与观念混为一谈,情绪宣泄掩盖了事实分析。联网的世界让我们更容易看到彼此的观点,但同时也制......一起来看看 《失控的真相》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具

UNIX 时间戳转换
UNIX 时间戳转换

UNIX 时间戳转换