Leslie Lamport在其一篇影响深远的论文《Time，Clocks and the Ordering of Events in a Distributed System》

《Time，Clocks and the Ordering of Events in a Distributed System》

绕不开的Leslie Lamport
数学【数学是皇帝，物理是皇后】。【宗教：万佛朝宗】
归纳，类比，演绎，反证。
第一性原理。数学，物理，宗教。。。

etcd is written in Go and uses the Raft consensus algorithm to manage a highly-available replicated log.

Paxos，算法是莱斯利·兰伯特（Leslie Lamport，就是 LaTeX 中的"La"，此人现在在微软研究院）于1990年提出的一种基于消息传递的一致性算法。

happens-before俗解 | 并发编程网 – ifeve.com
http://ifeve.com/easy-happens-before/

并发编程（十三）-----as-if-serial规则和happens-before规则的区别_qq_35854212的博客-CSDN博客_as-if-serial规则和happens-before规则
https://blog.csdn.net/qq_35854212/article/details/103187815

图灵奖得主Leslie Lamport教你如何用数学思维编程 | 机器之心
https://www.jiqizhixin.com/articles/2015-11-26-2

22 | 想成为架构师，你必须知道CAP理论
https://time.geekbang.org/column/article/9302

微信PaxosStore：深入浅出Paxos算法协议_陈海峰的博客-CSDN博客_paxostore
https://blog.csdn.net/chenhaifeng2016/article/details/54407953