书面协议 Lamport在文中提出，之所以会出现在口头传达中的那些错误是因为一些叛徒可以说谎，这里通过签名就是为了防止说谎。在签名算法中加了两个条件： 即A4（a）忠诚将军的签名是不...
分类：
其他好文 时间：
2018-04-10 15:10:26
阅读次数：
134
上一章讨论了一种强一致性的情况，即需要分布式事务来解决，本章我们来讨论一种最终一致的算法，paxos算法。 paxos算法是由大牛lamport发明的，关于paxos算法有很多趣事。比如lamport论文最初由故事描述来引入算法，以至于那班习惯数学公式的评委将该论文打回，导致该论文延误了8年才公开发 ...
分类：
其他好文 时间：
2018-04-04 12:26:30
阅读次数：
154
Flink的Fault Tolerance，是在在Chandy Lamport Algorithm的基础上扩展实现了一套分布式Checkpointing机制，这个机制在论文"Lightweight Asynchronous Snapshots for Distributed Dataflows"中进 ...
分类：
其他好文 时间：
2018-03-28 23:57:57
阅读次数：
933
分布式系统理论（二）：一致性协议Paxos 分布式系统理论（二）：一致性协议Paxos 摘要: 分布式系统理论第二章，此系列主要以理论为主。 Paxos算法 Paxos算法是莱斯利·兰伯特（Leslie Lamport）于1990年提出的一种基于消息传递的一致性算法。 Paxos 算法是一个解决分布 ...
分类：
其他好文 时间：
2018-03-24 00:40:23
阅读次数：
229
拜占庭将军问题很多人可能听过，但不知道是什么意思，本文从非专业的角度来讲讲，拜占庭将军问题到底是说什么的。 拜占庭将军问题（Byzantine Generals Problem），首先由Leslie Lamport与另外两人在1982年提出，很简单的故事模型，却困扰了计算机科学家们数十年。 故事大概 ...
分类：
其他好文 时间：
2018-03-06 12:51:43
阅读次数：
181
自从Lamport在1998年发表Paxos算法后，对Paxos的各种改进工作就从未停止，其中动作最大的莫过于2005年发表的Fast Paxos。无论何种改进，其重点依然是在消息延迟与性能、吞吐量之间作出各种权衡。为了容易地从概念上区分二者，称前者Classic Paxos，改进后的后者为Fast ...
分类：
其他好文 时间：
2018-03-01 23:40:28
阅读次数：
337
一致性问题可以算是分布式领域的一个圣殿级问题了，关于它的研究可以回溯到几十年前。 拜占庭将军问题 Leslie Lamport 在三十多年前发表的论文《拜占庭将军问题》（参考[1]）。 拜占庭位于如今的土耳其的伊斯坦布尔，是东罗马帝国的首都。由于当时拜占庭罗马帝国国土辽阔，为了防御目的，因此每个军队 ...
分类：
编程语言 时间：
2018-02-10 14:54:50
阅读次数：
237
接触区块链的同学，多少都听说过拜占庭将军问题，经常看到或听到某某区块链使用某某算法解决了拜占庭将军问题，那么究竟什么是拜占庭将军问题呢? 什么是拜占庭将军问题 也被称为“拜占庭容错”、“拜占庭将军问题”。 拜占庭将军问题是Leslie Lamport（2013年的图灵讲得住）用来为描述 分布式系统一 ...
分类：
其他好文 时间：
2018-02-07 15:03:19
阅读次数：
117
Paxos是一种基于消息传递的分布式一致性算法，由Leslie Lamport（莱斯利·兰伯特）于1990提出。是目前公认的解决分布式一致性问题的最有效算法之一。
分类：
编程语言 时间：
2018-01-09 13:34:39
阅读次数：
155
Paxos是Lamport大神在1990年提出的，用来解决分布式系统一致性问题的算法。 分布式系统的一致性关注两个问题： 如何就某个决议达成一致 如何在决议过程结束后保证能最终达成一致 例如，在对某个变量达成一致的过程中，会有多个关于这个变量的值的提议。一致性协议需要保证仅有一个被提议值被最终选择， ...
分类：
编程语言 时间：
2018-01-08 11:02:16
阅读次数：
170
