![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
paxos
wanghao229
JUSTTODOIT
展开
-
Paxos理论介绍(1): 朴素Paxos算法理论推导与证明-总结提问
文章目录思考如何证明多次投票可以引出一致性如何获得MaxVotePaxos实操过程参考链接思考朴素Paxos算法是用来干什么的。用来唯一确定一个值。怎么来确定。采用投票(B 一轮投票的集合)一轮投票能解决一致性问题吗。不能。因为任何节点都能发起投票。所以涉及到了多轮投票Beta的概念。多轮投票有什么问题。多轮投票中,应该选那个呢,即如何处理冲突,建立多轮投票之间的关联。采用MaxVo...转载 2019-06-15 12:41:33 · 205 阅读 · 0 评论 -
Paxos理论介绍(3): Master选举-总结提问
文章目录看博客笔记参考链接看博客笔记Master我还是不懂Master 和Leader 的区别是什么状态机这只是一种设计思路吗。具体实现了就行。就如同数据库一样。Master选举租约算法一致性由Paxos保证Master 比 Folloer更早到期算法保证由version 乐观锁确保。比较每次version的大小,确保自己数据是最新的。参考链接Paxos理论介...转载 2019-06-16 06:24:24 · 234 阅读 · 0 评论 -
Paxos理论介绍(2): Multi-Paxos与Leader-总结提问
文章目录Multi-Paxos如何解决效率差的问题如何解决连续Paxos被打断的问题Multi-Paxos确定多个值,而且这些值的顺序在各个节点完全一致。多节点A/B/C同时提交,执行过程如下图。如何解决效率差的问题采用并行提交。Promised(b)变成全局。并行提交在什么时候被破坏. 其他节点打破了A的连续提交。为了希望大部分时间都只有一个节点在提交。采用了Lead...转载 2019-06-16 06:39:31 · 578 阅读 · 0 评论 -
Paxos理论介绍(4): 动态成员变更-总结提问
文章目录多数派的本质人肉配置进行成员变更?Paxos动态成员变更算法参考多数派的本质Paxos算法约束的第二条就是 Bqrm ⋂\bigcap⋂ B’qrm ≠\neq̸= ∅\varnothing∅。但是如果投票者集合发生变化,我们反证法1就会无效。也就是固定成员是Paxos算法的根基。人肉配置进行成员变更?不可能,只能理论上无限逼近。Paxos动态成员变更算法我们通...转载 2019-06-16 07:51:55 · 277 阅读 · 0 评论 -
微信PaxosStore:深入浅出Paxos算法协议-思考
文章目录第二阶段A归纳法证明反证法证明证明细节参考第二阶段AA3 没有经过Prepare(n)为什么会Accepted结果。Acceptor 不是需要 b = pb 的吗?难道是因为pb = 0的原因。Accept如何确定自己的内容是被Chosen 的呢。Accept只进行选举,不保存值,有Follower 的 Leader 来学习 Master的值。归纳法证明...转载 2019-06-16 13:39:19 · 405 阅读 · 0 评论 -
微信自研生产级paxos类库PhxPaxos实现原理介绍-总结
文章目录前言有序的确定多个值工程化生产级的paxos库正确性保证参考前言算法的场景让我们理解更容易。Master/Leader 架构设计方式。什么叫被Chosen的值。有序的确定多个值实例的对齐(Learn)解决不同机器,实例编号不一致的问题。按照 《微信PaxosStore:深入浅出Paxos算法协议》1的说法。如果第二阶段B Accepted 没有通过,但是已经有...转载 2019-06-16 20:33:59 · 292 阅读 · 0 评论 -
微信PaxosStore内存云揭秘:十亿Paxos/分钟的挑战-思考
文章目录QuorumKV架构新架构(无租约版Paxos分布式协议)挑战1:Paxos分布式协议PaxosLog基于PaxosLog的强一致性读写协议挑战2:基于机械盘的DirectIO存储挑战3:复杂的现网场景参考QuorumKV架构新架构(无租约版Paxos分布式协议)挑战1:Paxos分布式协议PaxosLogPaxosLog,PLog as DB。为什么需要db。...转载 2019-06-16 23:33:28 · 327 阅读 · 0 评论