paxos出身 paxos出身名门，它爹是没多久前获得图灵奖的在分布式领域大名鼎鼎的Leslie Lamport。 paxos为何而生 那么Lamport他老人家为什么要搞这个东东呢，不是吃饱了撑的，而是为了解决分布式系统的大难题。分布式系统一 般要求具有高可用性，高可用性一般又是通过冗余也就是多副 ...
分类：
编程语言 时间：
2020-09-04 17:33:41
阅读次数：
59
《Time，Clocks and the Ordering of Events in a Distributed System》 绕不开的Leslie Lamport 数学【数学是皇帝，物理是皇后】。【宗教：万佛朝宗】 归纳，类比，演绎，反证。 第一性原理。数学，物理，宗教。。。 etcd is w ...
分类：
其他好文 时间：
2020-07-10 16:58:29
阅读次数：
72
一、简介 Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的、具有高容错性的一致性算法。Google Chubby的作者Mike Burrows说过，世上只有一种一致性算法，那就是Paxos，所有其他一致性算法都是Paxos算法的不完整版。Paxos算法 ...
分类：
编程语言 时间：
2020-07-07 15:58:30
阅读次数：
58
下面这篇文章，感觉讲的非常好： http://www.8btc.com/baizhantingjiangjun 拜占庭将军问题是一个共识问题: 首先由Leslie Lamport与另外两人在1982年提出，被称为The Byzantine Generals Problem或者Byzantine Fa ...
分类：
其他好文 时间：
2020-05-22 19:08:44
阅读次数：
81
论文地址：https://www.aclweb.org/anthology/P19-1281/ 作者：Henry Moss, Andrew Moore, David Leslie, Paul Rayson 机构：Lancaster University 研究的问题： 关注模型选择的问题，也就是在尽可 ...
分类：
其他好文 时间：
2020-04-21 22:28:52
阅读次数：
100
我们来谈谈客户端界面的数据同步问题。界面数据同步的需求比如，下面的AB两个界面中都显示了学生Leslie的信息，当我们在A界面修改学生学号时，我们希望回到B界面时，学生的信息也能跟着改变，才能保证业务数据的正确和一致性。这就涉及到数据的同步和刷新问题。主界面显示了学生和老师的信息另一个界面也显示了学 ...
分类：
移动开发 时间：
2020-04-15 10:41:39
阅读次数：
161
区块链系统共识：去中心化的共识本质上，区块链系统是一个分布式系统，但是与普遍的分布式系统不同。普遍的分布式系统，其意义在于：面对增长的业务量，用多台机器承载垂直拆分或水平拆分后的业务场景，增大系统容量；根据业务的关键程度，消除单点故障，加强系统可用性。当一个区块链系统承担的业务场景复杂如普遍的分布式系统时，当然也需要做如上的考虑。但是区块链系统之所以应当被人重视，是因为它能够解决存在作恶节点情况下
分类：
其他好文 时间：
2020-03-04 23:38:36
阅读次数：
102
1. specifying systems:The TLA+ Language and To ols for Hardware and Software Engineers //by Leslie Lamport http://lamport.azurewebsites.net/tla/book.h ...
分类：
其他好文 时间：
2019-11-28 19:39:58
阅读次数：
104
$str="72018,04-04126-79369,jackiearnett232012,JACQUELINE ARNETT,jackiearnett23@yahoo.com,,3752 Lee Street Rd,,Leslie,GA,31764-2516,United States,Jacqu ...
分类：
其他好文 时间：
2019-11-12 17:24:00
阅读次数：
177
1.ag：比grep、ack更快的递归搜索文件内容 安装： 1：首先在linux创建个sh文件->ag.sh 2：在ag.sh里面输入如下内容并保存 3.对ag.sh改变权限 4：执行./ag.sh就会去安装了，完事后可以用ag "helloWord"命令去寻找所有文件中包含helloWord的文件 ...
分类：
系统相关 时间：
2019-08-29 11:34:41
阅读次数：
110
