- 博客(4)
- 资源 (4)
- 收藏
- 关注
原创 带你一步步走入Paxos的世界 -- 序列4 -- Multi-Paxos
在前面的序列中,我们知道Basic Paxos可以用来确定1条日志。而Multi-Paxos就是针对每条日志都执行1个2PC的Paxos协议,从而确定多条日志,也就是一个日志流。有了日志流,就能基于日志流建立一个”复制状态机“模型。有兴趣朋友可以关注公众号“架构之道与术”, 获取最新文章。 或扫描如下二维码: 复制状态机在上图中,有3台机器,每台机器上都有一个日志流+1个状态机...
2017-06-30 12:12:05 2140 1
原创 带你一步步走入Paxos的世界 -- 序列3 -- Basic Paxos
在前面的序列2中,我们引出了Basic Paxos,其目的就是为了确定1条日志,1条日志对应到Basic Paxos里面就是一个value。有兴趣朋友可以关注公众号“架构之道与术”, 获取最新文章。 或扫描如下二维码: 2个角色:Proposer和Acceptor在前面的场景中,我们提到3个client并发的往3个node发送3条写指令。对应到Paxos协议里面,就是每个node同...
2017-06-05 20:25:28 1135 3
原创 带你一步步走入Paxos的世界 -- 序列2
在上一篇我们谈到了复制日志的问题,每个node上面存储日志序列,node之间保证日志完全一样。可能有人会疑问:为啥我要存储日志,直接存储最终的数据不就行了吗?有兴趣朋友可以关注公众号“架构之道与术”, 获取最新文章。 或扫描如下二维码: 复制状态机日志与状态机我们可以把一个变量x,或者复杂一点,一个对象,看成是一个状态机。每1次写请求,就是一次导致这个状态机发生变化的事...
2017-06-01 21:46:18 989
原创 带你一步步走入Paxos的世界 -- 序列1
说起Paxos,很多人都知道,并且大家对它的看法基本都是“晦涩难懂”。除了Lamport那2篇鼎鼎大名的原生paper,网上文章也很多。但看来看去,总觉得“云山雾罩”,也不知道为什么要这么做,以及它到底能解决什么问题。我觉得究其原因,一方面是很多Paxos的资料,都是在通过形式化的证明,去论证这个算法的正确性,自然艰深晦涩;另一方面,基于Paxos的成熟的工程实践也不多,大家讨论来讨论去,都不...
2017-06-01 18:53:06 1407 1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人