把这两天看的两章一起说一下。 第五章，先是讲snapshots就是快照，具体就是Chandy-Lamport算法，快照就是把一个分布式系统以很多断点（marker）为间隔记录下系统的状态，包括单个进程自己的状态以及不同进程之间的状态，保存这些可能可以用来进行错误处理之类的事情。 算法具体流程是啥呢， ...
分类：
其他好文 时间：
2019-09-06 23:18:57
阅读次数：
192
在程序中，我们经常需要知道事件序列，在单体应用中，事件序列是较为简单的，最简单的办法就是用时间戳，但在分布式系统中，事件序列是很困难的， "Leslie Lamport" 大神在论文 "Time, Clocks, and the Ordering of Events in a Distributed ...
分类：
其他好文 时间：
2019-08-06 10:55:08
阅读次数：
126
Sequential Consistency的定义 Sequential Consistency的精确定义来自于Leslie Lamport老哥(以后我们会多次提到他)。 他本来是定义了基于共享内存的多CPU并行计算的一致性模型，但是也可以推广到分布式系统中，实际上多CPU并行计算也都可以认为是分布 ...
分类：
其他好文 时间：
2019-05-28 17:17:48
阅读次数：
132
Sequential Consistency的定义 Sequential Consistency的精确定义来自于Leslie Lamport老哥(以后我们会多次提到他)。 他本来是定义了基于共享内存的多CPU并行计算的一致性模型，但是也可以推广到分布式系统中，实际上多CPU并行计算也都可以认为是分布 ...
分类：
数据库 时间：
2019-05-28 17:17:30
阅读次数：
164
课程：《密码与安全新技术专题》 班级： 1892 姓名： 李熹桥 学号：20189214 上课教师：张健毅 上课日期：2019年4月23日 必修/选修： 选修 1.本次讲座的学习总结 历史由来 区块链解决的问题其实是一个1982年由Leslie Lamport等人所提出的拜占庭将军问题。简单来说就是 ...
分类：
其他好文 时间：
2019-05-04 14:58:09
阅读次数：
197
在一个分布式计算系统中，为了保证数据的一致性需要对数据进行一致性快照。Flink和spark在做流失计算的时候都借鉴了chandy-lamport算法的原理，这篇文章就是对chandy-lamport算法原理的详细介绍。 考虑一个分布式计算系统。 其中有两个节点，也就是两个进程，p和q，s0，s1对 ...
分类：
编程语言 时间：
2019-02-10 23:31:24
阅读次数：
381
分布式一致性的基石 Paxos算法（1） Paxos算法是由微软的工程师Lamport提出，Lamport依靠Paxos算法获得图灵奖； Paxos算法旨在解决相互信任的分布式系统中，多个节点能快速达成一个一致的值； 目前，google的Chubby,雅虎的Zookeeper,Oracle的MySq ...
分类：
编程语言 时间：
2018-12-15 22:31:08
阅读次数：
248
只要 Zookeeper 实现了 Sequential Consistency，那它自身就可以保证正确性，从而对外提供锁服务
分类：
其他好文 时间：
2018-10-28 17:59:32
阅读次数：
200
接触区块链的同学，多少都听说过拜占庭将军问题，经常看到或听到某某区块链使用某某算法解决了拜占庭将军问题，那么究竟什么是拜占庭将军问题呢? 什么是拜占庭将军问题： “拜占庭将军问题”也被称为“拜占庭容错”。 拜占庭将军问题是Leslie Lamport（2013年的图灵讲得住）用来为描述分布式系统一致 ...
分类：
其他好文 时间：
2018-06-09 10:15:48
阅读次数：
219
分布式一致性问题，区块链里体现就是共识问题。共识机制就是在一个群体中的个体通过某种方式达成一致性的一种机制，比如在一个团队、或者一个公司里的个体意见不一致时，就需要有一个领导，由领导来做决定，保证团队达成共识。 目前的共识算法，主要有基于算力的POW，基于股权的POS和基于投票的DPOS算法，以及著 ...
分类：
其他好文 时间：
2018-04-17 11:51:52
阅读次数：
167
