理解分布式一致性:Paxos协议之Cheap Paxos & Fast Paxos

最新推荐文章于 2022-03-22 21:02:36 发布
最新推荐文章于 2022-03-22 21:02:36 发布
阅读量8.9k 收藏 4
点赞数 4
分类专栏： 分布式技术 文章标签： Paxos Fast Paxos Cheap Paxos 分布式 一致性
本文为flydean原创文章，未经博主允许不得转载，更多内容请参考www.flydean.com。
本文链接：https://blog.csdn.net/superfjj/article/details/89389885
版权

理解分布式一致性:Paxos协议之Cheap Paxos & Fast Paxos

在前面一篇文章我们讲到了理解分布式一致性:Paxos协议之Multi-Paxos，本篇文章我会讲解Paxos协议的另外两个变种：Cheap Paxos和Fast Paxos。

Cheap Paxos

Cheap Paxos 是Basic Paxos 的继承版本。其实所有的Paxos变种都来自与Basic Paxos，都是基于它来进行改进的。那么Cheap Paxos有什么特点呢？
在Basic Paxos中，我们知道，共识如果想要正常进行的话，出错的节点数目必须小于n/2, 也就是说必须要有大于n/2的节点正常运行才能共识成功。节点运行就不可避免的会占用资源，有没有什么办法可以即节省资源又可以保证节点正常共识呢？
办法就是Cheap Paxos：我们在Cheap Paxos里面引入了辅助节点的概念，辅助节点只有在必须需要它来达成共识的情况下才会启动。举个例子，如果我们总共有N+1个节点，那么我们只能够忍受N/2个节点出错，否则系统不能达成共识。但是当我们再引入N个辅助节点，即使有N个节点出错，只要额外的N个辅助节点启动并正常工作，就能达成共识并保证系统的正常运行，辅助节点在正常节点恢复工作后会自动停止，这样只是在必要的时候才启动辅助资源，就大大的解约了分布式系统的成本，所以叫它Cheap Paxos.

Message flow: Cheap Multi-Paxos

下图是3个正常节点+1个辅助节点的流程，如果系统规定的共识节点个数是3个，那么当一个正常节点挂掉之后，辅助节点会起来帮助完成共识工作。

Proposer Acceptor1 Acceptor2 Acceptor3 Aux -- Phase 2 -- Accept!(1,I,V) Accept!(1,I,V) Accept!(1,I,V) Accepted(1,I,V) Accepted(1,I,V) Acceptor3 is down 共识数目不够，重 发请求给辅助节点 Accept!(1,I,V) Accept!(1,I,V) Accept!(1,I,V) Accepted(1,I,V) Accepted(1,I,V) Accepted(1,I,V) 共识成功，将 最小共识节点 减一，停止辅 助节点继续下一轮 Accept!(1,I+1,W) Accept!(1,I+1,W) Accepted(1,I+1,W) Accepted(1,I+1,W) Proposer Acceptor1 Acceptor2 Acceptor3 Aux

Fast Paxos

在之前提到的Paxos协议中，消息最后到达Learner一般都要经历 Client–>Proposer–>Acceptor–>Learner 总共3个步骤。

那么有没有更快的方法让消息到达Learner呢？毕竟Learner是真正执行任务的，我们希望这个任务更加快速的为Learner所知。方法就是如果Proposer本身没有数据需要被确认的话，那么Client可以直接发送Accept请求给Acceptor，从而跳过Proposer这一步，这样的操作叫做Fast Paxos。

这里还要注意一点，Client 发送请求给Proposer是直接发送给Leader，也就是发送一次就够了，但是发给Acceptor的话就要所有的Acceptors都发一遍。

Message flow: Fast Paxos, non-conflicting

下图列出了正常运行的情况，没有冲突正常执行。

Client Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Response(W) Client Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner

Message flow: Fast Paxos, conflicting proposals

当有多个Client同时发送Accept请求的时候就有可能产生冲突。这时候有两种解决办法。

  1. Leader检测到冲突之后，根据规定的算法从冲突中选择一个数据，重新发送Accept请求。如下图所示：
Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Leader收到了2个Accepted(N,I,V)，2个 Accepted(N,I,W)， 产生了冲突，Leader选择W，重新发起一轮Accept请求 Accept!(N+1,I,W) Accept!(N+1,I,W) Accept!(N+1,I,W) Accept!(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Response(W) Response(W) Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner
  1. 当检测到冲突的时候，如果Acceptors自己就能解决冲突，那么就完全不需要Leader再次发送Accept请求了，这样就又减少了一次请求，节省了时间。如下图所示：
Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Accepted(N,I,W) Acceptors 检测到冲突，直接根 据协议自行解决，这 里选择W为最终结果 Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Response(W) Response(W) Client1 Client2 Leader Acceptor1 Acceptor2 Acceptor3 Acceptor4 Learner

Message flow: Fast Paxos with uncoordinated recovery, collapsed roles

下图是所有的角色集合到一个Server的情况，是更加简洁的实现。

Client1 Client2 Server1 Server2 Server3 Server4 Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,V) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accept!(N,I,W) Accepted(N,I,V) Accepted(N,I,V) Accepted(N,I,W) Accepted(N,I,W) Servers检 测到冲突，直接根 据协议自行解决， 这里选择W为最终 结果 Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Accepted(N+1,I,W) Response(W) Response(W) Client1 Client2 Server1 Server2 Server3 Server4

更多精彩内容且看：

更多教程请参考flydean的博客

flydean程序那些事
关注
  • 4
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 5
    评论
专栏目录
Cheap Paxos
angela wei 多肉植
04-18 933
这篇文章主要是讲了Paxos发展的历史，发展的过程从Basic Paxos算法，再到Dynamic Paxos算法，还有本文中提到的Cheap Paxos算法。    一．BasicPaxos算法    Basic Paxos算法首先将议员的角色分为proposers，acceptors，和learners（允许身兼数职）。proposers提出提案，提案信息包括提案编号和提议的value；a
Fast Paxos
热门推荐
老码农的专栏
02-28 5万+
自从Lamport在1998年发表Paxos算法后，对Paxos的各种改进工作就从未停止，其中动作最大的莫过于2005年发表的Fast Paxos。无论何种改进，其重点依然是在消息延迟与性能、吞吐量之间作出各种权衡。为了容易地从概念上区分二者，称前者Classic Paxos，改进后的后者为Fast Paxos。 1. Fast Paxos概览 Lamport在40多页的论文中不仅提出了Fas
cheap-paxos.pdf_Paxos算法_
10-01
cheap-paxos 的论文
用故事的方式说Paxos和Fast Paxos算法
汤圆一号已就位
01-10 1206
| Paxos 1. 故事背景 有一个25人的团队（Porposer：P1，P2 … P25），现在需要选举一个团队负责人（TL） 有人说：可以采用投票制，但如果每个人都投自己，就会出现无解情况了… 那么我们来看看Paxos是如何选举的～ 2. 选举方法 邀请了5个评审人员（Acceptor：C1，C2，C3，C4，C5），奇数个!! 同时选择一个临时负责人专门汇报情况（Leader：P1），P1...
fast paxos算法和zoopkeeper中的应用
taizitj的专栏
06-29 1835
首先，感谢雷明写的文章让我对fastpaxos算法有了一个初步的了解，联系方式leiming0571@gmail.com，该文章被分享在百度文库中，也感谢百度文库提供的平台。 原文链接 1、paxos算法 1.1、分布式一致性问题 在分布式系统中，有多个节点（服务器），这些节点可以为客户（客户端）提供某种服务。这至少带来两个好处：一方面可以提供性能，另一方面可以提供容错，当部分服务
人人都是分布式专家 paxos raft
fei33423的专栏
03-22 353
人人都是分布式专家
《Paxos Made Simple》分布式一致性协议Paxos论文翻译
04-04
总之，《Paxos Made Simple》这篇论文是理解Paxos协议的入门宝典，通过阅读和理解这篇论文，开发者可以更好地掌握如何在分布式环境中保证数据一致性，这对于构建大规模、高可用的云服务至关重要。对于深入研究分布式...
《The Part-Time Parliament》分布式一致性协议Paxos论文翻译
09-25
此外，通过对比其他分布式一致性协议，如ZAB协议，可以进一步加深对Paxos及其在现代分布式系统设计中地位的理解。 - 总体而言，Paxos协议不仅为分布式系统提供了一种有效的解决方案，而且也为理解分布式一致性问题...
图解分布式一致性协议Paxos
09-08
分布式一致性协议Paxos是一种解决分布式系统中一致性问题的算法，由莱斯利·兰伯特（Leslie Lamport）提出，主要用于保证在一个分布式系统中，尽管有部分节点出现故障，系统仍然能够达成一致性的决策。Paxos算法的...
分布式一致性——Paxos
xl十一的博客
11-25 1720
Paxos 文章目录Paxos前言复制策略对比Basic-Paxos是什么角色casecase-1 无冲突case-2 XY冲突，X失败Y成功case-3 在case-2基础上，X发出round=3步骤refer 前言 一致性： CAP BASE 一致性模型及算法： 弱一致性 最终一致性 DNS Gossip 强一致性 主从同步 Paxos：basic-paxos、multi-paxos、fast-paxos Raft(multi-paxos) ZAB(multi-paxos)
Paxos-->Fast Paxos-->Zookeeper分析
Kuzury
04-14 1万+
1. Paxos算法1.1 基本定义算法中的参与者主要分为三个角色，同时每个参与者又可兼领多个角色:⑴、proposer 提出提案，提案信息包括提案编号和提议的value;⑵、acceptor 收到提案后可以接受(accept)提案;⑶、learner 只能”学习”被批准的提案;算法保重一致性的基本语义:⑴、决议(value)只有在被proposers提出后才能被批准(未经批准的决议称为”提案(pr
理解分布式一致性:Paxos协议之Multi-Paxos
程序那些事
04-18 6954
理解分布式一致性:Paxos协议之Multi-PaxosMulti-Paxos without failuresMulti-Paxos when phase 1 can be skippedMulti-Paxos when roles are collapsedMulti-Paxos when roles are collapsed and the leader is steady 在前面一篇文章...
分布式 Paxos和Fast Paxos算法
SAY_GOODNAME的博客
05-21 861
一. Paxos 算法中的参与者主要分为三个角色，同时每个参与者又可兼领多个角色 Client：产生议题者 –> 交付Proposer提出 Proposer：提议者 –> 提出提案（提案编号和提议的value） Acceptor：决策者 –> 收到提案后可以决定是否accept Learner：最终决策学习者 –> 只能学习被批准的提案 Acceptor必须最少大于等...
Paxos算法（Basic Paxos 与 Multi-Paxos思想）
hanhan的博客
09-18 1096
Paxos 算法包含 2 个部分： 1、Basic Paxos ： 描述多节点之间如何就某个值达成共识 2、Multi-Paxos ： 描述执行多个Basic Paxos实例，对一系列值达成共识 Basic Paxos 三个角色 该算法中存在三个角色：提议者、接受者、学习者，关系如下： 提议者：提议一个值，用于投票表决。在大多数场景中，往往是集群中收到客户端请求的节点时提议者。这样对于业务代码就没有侵入性，不需要再业务代码中实现算法逻辑。 接受者：对每个提议的值进行投票，并存储接受的值。一般来说，集群中的
Paxos理论介绍(2): Multi-Paxos与Leader
道法自然
06-04 1571
转载自 微信后台团队公众号，文章地址：https://mp.weixin.qq.com/s?__biz=MzI4NDMyNTU2Mw==&mid=2247483798&idx=1&sn=42dd222ae255b13f1f67cd9e6d3f3dc0&scene=21#wechat_redirect 前文介绍了朴素Paxos理论，理解朴素Paxos是理解本文的前提...
从 Basic Paxos 到 Multi Paxos 到 Raft
weixin_30580943的博客
03-17 143
在朴素Paxos算法中, 各个节点经过 Prepare 和 Accept 阶段, 会达成一个值, 这个值一旦达成, 就不能被修改, 如下例子: 图示1 上面的操作几乎没有任何实用价值, 于是演变成下面这种操作, 多个"实例(Instance)", 每个Instance负责一轮Paxos投票, 这样可以有序确定多个值, 形成日志; 图2 将日志输入到状态机, 就形成...
半小时学会什么是分布式一致性算法——Paxos
westbrookliu的博客
08-19 2万+
Paxos 目标：复制日志 复制日志 => 复制状态机 所有服务器按照相同的顺序执行相同的命令 一致性模型确保正确的日志复制 只要大部分服务器是运行的系统就能工作 失败的模型：失败-停止(非拜占庭)，延迟/丢失信息 Basic Paxos Proposers： 活动的：提出特定的值被选中 处理客户请求 Acceptors： 被动的：响应消息给proposers 回应达成...
一致性算法之一：paxos 文章汇总
dellme99的专栏
11-05 2157
Fast Paxos: http://blog.csdn.net/chen77716/article/details/7297122 介绍的最清楚的，易懂的paxos: 算法原理：http://blog.csdn.net/chen77716/article/details/6166675 算法过程： http://blog.csdn.net/chen77716/article/
SD-WAN CHEAP组网说明
SDWAN_Cheap的博客
08-26 377
1.组网用途:可用于在公网上建立专用网络，实现不同分支节点间的一键互联，使企业、餐饮、连锁超市等数据互通。 举例如：杭州有A路由，北京有B路由，两个地点是同一家企业，两个地点需要通过管家婆、金蝶办公、FTP、smb或监控视频等的网络进行联通。但由于两个地点过远用网线光纤连结并不现实，所以可以使用SD-WAN CHEAP智能组网一键组网，让两个企业局域网连结在一起通过内网IP直接访问。 2.开通条件：智能组网业务至少需要两台SDWAN CHEAP路由器，绑定云平台一键开通即开即用 3.费用说明：...
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

flydean程序那些事

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值