编者按:这是看过的Raft算法博客中比较通俗的一篇了,讲解问题的角度比较新奇,图文并茂,值得一看。原文链接:Raft 为什么是更易理解的分布式一致性算法 一致性问题可以算是分布式领域的一个圣殿级问题了,关于它的研究可以回溯到几十年前。 拜占庭将军问题 Leslie Lamport 在三十多年前发表的 ...
分类:
编程语言 时间:
2018-01-01 20:43:56
阅读次数:
187
先说Paxos,它是一个基于消息传递的一致性算法,Leslie Lamport在1990年提出,近几年被广泛应用于分布式计算中,Google的Chubby,Apache的Zookeeper都是基于它的理论来实现的,Paxos还被认为是到目前为止唯一的分布式一致性算法,其它的算法都是Paxos的改进或 ...
分类:
其他好文 时间:
2017-09-28 12:53:30
阅读次数:
175
Paxos发展史 Leslie Lamport所提出的Paxos算法是现代分布式系统中的一项重要的基础性技术,得到广泛的应用。Paxos的整个发展过程大概可以分为三个阶段: 第一阶段:萌芽期,大致是1988-1996年。Liskov等人在PODC上发表了Viewstamped Replication... ...
分类:
编程语言 时间:
2017-09-11 12:27:07
阅读次数:
351
1982年 拜占庭将军问题 Leslie Lamport等人提出拜占庭将军问题(Byzantine Generals Problem),把军中各地军队彼此取得共识、决定是否出兵的过程,延伸至运算领域,设法建立具容错性的分散式系统,即使部分节点失效仍可确保系统正常运行,可让多个基于零信任基础的节点达成 ...
分类:
其他好文 时间:
2017-08-04 10:10:56
阅读次数:
256
1.来源 Paxos算法是莱斯利·兰伯特(Leslie Lamport)于1990年提出的一种基于消息传递的一致性算法。 1.1.故事 在古希腊,有一个叫做Paxos的小岛,岛上通过议会的形式来通过法令,议会中议员通过信使来传递消息。议员和信使都是兼职的,他们随时有可能离开会议厅,并且信使可能会重复 ...
分类:
编程语言 时间:
2017-07-11 21:05:05
阅读次数:
185
在本系列第一篇文章中我们提到了Lamport Clock如何启发人们在分布式系统中开始使用新的的思维方式, 并介绍了Sequential Consistency和Linearizability. 本篇为分布式系统一致性发展的第二篇长文,会介绍他们所延展出来的一些应用问题,让大家更好的理解这两种一致性 ...
分类:
其他好文 时间:
2017-07-09 13:50:45
阅读次数:
244
The Paxos algorithm, when presented in plain English, is very simple. 我叫Leslie Lamport,我最屌。 1. 简介 用于实现高容错性分布式系统的Paxos算法,一直以来总是被认为是难以理解的,或许是因为对很多人来说,初始 ...
分类:
其他好文 时间:
2017-06-21 00:55:15
阅读次数:
276
建议先看论文原文再来看这篇文章,我不会对论文中的各个点都具体说明。仅仅是写一些我自己的想法,帮助理解。 大家都知道。分布式环境下。确定各个事件发生的顺序非常重要,不然就会发生一些麻烦的问题。 考虑一下这个问题:小明要用同学给的优惠码在京东上买一本书。如果京东的后台架构如图一所看到的。A是前端代理se ...
分类:
其他好文 时间:
2017-05-13 18:02:48
阅读次数:
245
图灵奖牛人LeslieB.Lamport介绍英文原文链接https://en.wikipedia.org/wiki/Leslie_LamportLeslieB.Lamport,生于1941年,美国著名的计算机科学家,以发明分布式关键技术(特别是PAXOS)、LATEX、TLA+知名,于2013年获得图灵奖。他1960年在MIT获得数学学士学位,1972年从Brande..
分类:
其他好文 时间:
2017-01-25 00:03:14
阅读次数:
2888
LaTeX(LATEX,音译“拉泰赫”)是一种基于ΤΕΧ的排版系统,由美国计算机学家莱斯利·兰伯特(Leslie Lamport)在20世纪80年代初期开发,利用这种格式,即使使用者没有排版和程序设计的知识也可以充分发挥由TeX所提供的强大功能,能在几天,甚至几小时内生成很多具有书籍质量的印刷品。对 ...
分类:
其他好文 时间:
2017-01-16 01:10:25
阅读次数:
202