ICode9

精准搜索请尝试: 精确搜索
首页 > 编程语言> 文章详细

说到分布式,重要的Paxos算法你看透了么?

2021-01-08 18:00:02  阅读:231  来源: 互联网

标签:副本 Quorum 看透 value Proposer 分布式 Paxos Acceptor


前言

开源分布式锁组件 Google Chubby 的作者 Mike Burrows 说——

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

Paxos 算法虽然重要,但也复杂。

Quorum 机制

在说 Paxos 算法之前,先来看分布式系统中的 Quorum 选举算法。

在各种一致性算法中都可以看到 Quorum 机制的身影,主要数学思想来源于抽屉原理:在 N 个副本中,一次更新成功的如果有 W 个,那么我在读取数据时是要从大于 N-W 个副本中读取,这样就能至少读到一个更新的数据了。

和 Quorum 机制对应的是 WARO(Write All Read one),是一种简单的副本控制协议,当 Client 请求向某副本写数据时(更新数据),只有当所有的副本都更新成功之后,这次写操作才算成功,否则视为失败。

  • WARO 优先保证读服务,从而保证了所有的副本一致,只需要读任何一个副本上的数据即可。

  • 写服务的可用性较低,假设有 N 个副本,N-1 个都宕机了,剩下的那个副本仍能提供读服务;但是只要有一个副本宕机了,写服务就不会成功。

WARO 牺牲了更新服务的可用性,最大程度地增强了读服务的可用性,而 Quorum 就是在更新服务和读服务之间进行的一个折衷。

1. Quorum 定义

Quorum 的定义如下——

假设有 N 个副本,更新操作 wi 在 W 个副本中更新成功之后,才认为此次更新操作 wi 成功,把这次成功提交的更新操作对应的数据叫作“成功提交的数据”。

对于读操作而言,至少需要读 R 个副本才能读到此次更新的数据,其中,W+R>N ,即 W 和 R 有重叠,一般,W+R=N+1。

  • N = 存储数据副本的数量

  • W = 更新成功所需的副本

  • R = 一次数据对象读取要访问的副本的数量

Quorum 就是限定了一次需要读取至少 N+1-W 的副本数据。

举个例子,我们维护了 10 个副本,一次成功更新了 3 个,那么至少需要读取 8 个副本的数据,可以保证我们读到最新的数据。

2. Quorum 的应用

Quorum 机制无法保证强一致性,也就是无法实现任何时刻任何用户或节点都可以读到最近一次成功提交的副本数据。

需要配合一个获取最新成功提交的版本号的 metadata 服务,这样可以确定最新已经成功提交的版本号,然后从已经读到的数据中就可以确认最新写入的数据。

Quorum 是分布式系统中常用的一种机制,用来保证数据冗余和最终一致性的投票算法,在 Paxos、Raft 和 ZooKeeper 的 Zab 等算法中,都可以看到 Quorum 机制的应用。

Paxos

1. Paxos 的节点角色

在 Paxos 协议中,有三类节点角色,分别是 ProposerAcceptor 和 Learner,另外还有一个 Client 作为产生议题者。

上述三类角色只是逻辑上的划分,在工作实践中,一个节点可以同时充当这三类角色。

  • Proposer 提案者

在流程开始时,Proposer 提出议案,也就是 value。在工程中 value 可以是任何操作,比如“修改某个变量的值为某个新值”。

Proposer 可以有多个,不同的 Proposer 可以提出不同的甚至矛盾的 value,比如某个 Proposer 提议“将变量 X 设置为 1”,另一个 Proposer 提议“将变量 X 设置为 2”,但对同一轮 Paxos 过程,最多只有一个 value 被批准。

  • Acceptor 批准者

在集群中,Acceptor 有 N 个,Acceptor 之间完全对等独立,Proposer 提出的 value 必须获得超过半数(N/2+1)的 Acceptor 批准后才能通过。

  • Learner 学习者

Learner 不参与选举,而是学习被批准的 value,在 Paxos 中,Learner 主要参与相关的状态机同步流程。

这里 Leaner 的流程就参考了 Quorum 议会机制,某个 value 需要获得 W=N/2+1 的 Acceptor 批准,Learner 需要至少读取 N/2+1 个 Accpetor,最多读取 N 个 Acceptor 的结果后,才能学习到一个通过的 value。

  • Client 产生议题者

Client 作为产生议题者,实际不参与选举过程,比如发起修改请求的来源等。

2. Proposer 与 Acceptor 之间的交互

Paxos 中,Proposer 和 Acceptor 是算法核心角色。Paxos 描述的就是在一个由多个 Proposer 和多个 Acceptor 构成的系统中,如何让多个 Acceptor 针对 Proposer 提出的多种提案达成一致的过程,而 Learner 只是“学习”最终被批准的提案。

Proposer 与 Acceptor 之间的交互主要有 4 类消息通信,对应 Paxos 算法的两个阶段 4 个过程。

3. Paxos 选举过程

选举过程可以分为两个部分,准备阶段和选举阶段,可以查看下面的时序图:

3.1 Phase 1 准备阶段

Proposer 生成全局唯一且递增的 ProposalID,向 Paxos 集群的所有机器发送 Prepare 请求,这里不携带 value,只携带 N,即 ProposalID。

Acceptor 收到 Prepare 请求后,判断收到的 ProposalID 是否比之前已响应的所有提案的 N 大。

如果是,则——

  • 在本地持久化 N,可记为 Max_N

  • 回复请求,并带上已经 accept 的提案中 N 最大的 value,如果此时还没有已经 accept 的提案,则返回 value 为空

  • 做出承诺,不会 accept 任何小于 Max_N 的提案

如果否,则——

  • 不回复或者回复 Error

3.2 Phase 2 选举阶段

为了方便描述,我们把 Phase 2 选举阶段继续拆分为 P2a、P2b 和 P2c。

  • P2a:Proposer 发送 Accept

经过一段时间后,Proposer 收集到一些 Prepare 回复,有下列几种情况:

(1) 若回复数量 > 一半的 Acceptor 数量,且所有回复的 value 都为空时,则 Porposer 发出 accept 请求,并带上自己指定的 value。

(2) 若回复数量 > 一半的 Acceptor 数量,且有的回复 value 不为空时,则 Porposer 发出 accept 请求,并带上回复中 ProposalID 最大的 value,作为自己的提案内容。

(3) 若回复数量 <= 一半的 Acceptor 数量时,则尝试更新生成更大的 ProposalID,再转到准备阶段执行。

  • P2b:Acceptor 应答 Accept

Accpetor 收到 Accpet 请求后,判断:

(1) 若收到的 N >= Max_N(一般情况下是等于),则回复提交成功,并持久化 N 和 value;

(2) 若收到的 N < Max_N,则不回复或者回复提交失败。

  • P2c:Proposer 统计投票

经过一段时间后,Proposer 会收集到一些 Accept 回复提交成功的情况,比如:

(1) 当回复数量 > 一半的 Acceptor 数量时,则表示提交 value 成功,此时可以发一个广播给所有的 Proposer、Learner,通知它们已 commit 的 value;

(2) 当回复数量 <= 一半的 Acceptor 数量时,则尝试更新生成更大的 ProposalID,转到准备阶段执行。

(3) 当收到一条提交失败的回复时,则尝试更新生成更大的 ProposalID,也会转到准备阶段执行。

Paxos 常见的问题

  1. 如果半数以内的 Acceptor 失效,如何正常运行?

在 Paxos 流程中,如果出现半数以内的 Acceptor 失效,可以分为两种情况。

  • 第一种,如果半数以内的 Acceptor 失效时还没确定最终的 value,此时所有的 Proposer 会重新竞争提案,最终有一个提案会成功提交。

  • 第二种,如果半数以内的 Acceptor 失效时已确定最终的 value,此时所有的 Proposer 提交前必须以最终的 value 提交,也就是 value 实际已经生效,此值可以被获取,并不再修改。

  1. Acceptor 需要接受更大的 N,也就是 ProposalID,这有什么意义?

这种机制可以防止其中一个 Proposer 崩溃宕机产生阻塞问题,允许其他 Proposer 用更大 ProposalID 来抢占临时的访问权。

  1. 如何产生唯一的编号,也就是 ProposalID?

在《Paxos made simple》的论文中提到,唯一编号是让所有的 Proposer 都从不相交的数据集合中进行选择,需要保证在不同 Proposer 之间不重复。

比如系统有 5 个 Proposer,则可为每一个 Proposer 分配一个标识 j(0~4),那么每一个 Proposer 每次提出决议的编号可以为 5*i+ji 可以用来表示提出议案的次数。

总之,Paxos 是经典的分布式协议,理解了以后,学习其他分布式协议会简单很多。

写在最后

大家看完有什么不懂的可以在下方留言讨论.
谢谢你的观看。
觉得文章对你有帮助的话记得关注我点个赞支持一下!

标签:副本,Quorum,看透,value,Proposer,分布式,Paxos,Acceptor
来源: https://blog.csdn.net/weixin_49723683/article/details/112375205

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有