分布式服务框架 Zookeeper -- 管理分布式环境中的数据引言本节本来是要介绍ZooKeeper的实现原理,但是ZooKeeper的原理比较复杂,它涉及到了paxos算法、Zab协议、通信协议等相关知识,理解起来比较抽象所以还需要借助一些应用场景,来帮我们理解。由于内容比较多,一口气吃不成胖子...
分类:
其他好文 时间:
2014-11-17 17:36:16
阅读次数:
171
Paxos Made Practical
当一个组中一台机器提出一个值时,其他成员机器通过PAXOS算法在这个值上达成一致。
Paxos分三个阶段。
第一阶段:
提出者会选出一个提议编号n(n>0,n的低位应当包含提出者的唯一标识,这样两台机器就不会产生相同的编号),然后会向组内其他成员发送信息PREPARE(n)。成员如果已经见到过PREPARE信息大于n,就会拒绝它;如果已经见...
分类:
其他好文 时间:
2014-11-15 06:39:05
阅读次数:
220
一、问题起源淘宝搜索的博客http://www.searchtb.com/2011/01/zookeeper-research.html 提到Paxos是zookeeper的灵魂有一篇文章标题更是以“Zookeeper全解析——Paxos作为灵魂” 作为标题,认为是zookeeper的基础:“Goo...
分类:
编程语言 时间:
2014-10-29 14:28:49
阅读次数:
717
Paxos协议/算法是分布式系统中比较重要的协议,它有多重要呢?
:
Google Chubby的作者Mike Burrows说过这个世界上只有一种一致性算法,那就是Paxos,其它的算法都是残次品。
:
理解了这两个分布式协议之后(Paxos/2PC),学习其他分布式协议会变得相当容易。
学习Paxos算法有两部分:a) 算法的原理/证明;b) 算法的理解/运作。
理...
分类:
其他好文 时间:
2014-10-16 02:05:01
阅读次数:
243
对Paxos算法做个总结,包括1-论文阅读 2-经典Paxos图示 3-Paxos实例与Mutl-Paxos 4-编号n的选择 5-Paxos优化 6-Paxos用法...
分类:
其他好文 时间:
2014-10-02 15:24:13
阅读次数:
225
维基的简介:Paxos算法是莱斯利·兰伯特(Leslie Lamport,就是 LaTeX 中的"La",此人现在在微软研究院)于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法。Paxos算法目前在Google的Chubby、MegaStore、Spanner等系统中得到了应用,Ha...
分类:
其他好文 时间:
2014-09-06 21:18:13
阅读次数:
28286
自从Lamport在1998年发表Paxos算法后,对Paxos的各种改进工作就从未停止,其中动作最大的莫过于2005年发表的Fast Paxos。无论何种改进,其重点依然是在消息延迟与性能、吞吐量之间作出各种权衡。为了容易地从概念上区分二者,称前者Classic Paxos,改进后的后者为Fast...
分类:
其他好文 时间:
2014-08-29 23:57:38
阅读次数:
433
在众多的分布式一致性算法中,经常需要通过节点的数量满足某种规则来保证算法的正确性,比如Paxos算法,依赖一个”多数派“ 节点的工作的正确性。这类算法的共同目标是容许尽量多的节点失败但又不影响算法的正确性”。 这类问题本质上都抽象为数学上集合之间的逻辑关系,下面我们便从集合的性质入手讨论,为此先引入...
分类:
其他好文 时间:
2014-08-29 23:57:08
阅读次数:
495
1?问题 一般来说,在实际运行中,ceph?monitor的个数是2n+1(n>=0)个,在线上至少3个,只要正常的节点数>=n+1,ceph的paxos算法能保证系统的正常运行。所以,对于3个节点,同时只能挂掉一个。一般来说,同时挂掉...
分类:
其他好文 时间:
2014-08-28 13:27:39
阅读次数:
357
一般来说,在实际运行中,ceph monitor的个数是2n+1(n>=0)个,在线上至少3个,只要正常的节点数>=n+1,ceph的paxos算法能保证系统的正常运行。所以,对于3个节点,同时只能挂掉一个。一般来说,同时挂掉2个节点的概率比较小,但是万一挂掉2个呢?
分类:
其他好文 时间:
2014-08-21 00:01:33
阅读次数:
312