FLP 这篇论文在分布式领域有着重要的作用，当然，这篇文章也写得晦涩难懂。这是第一篇我死扣每个字读下来的分布式论文，十分吃力，在此记录下，并且竟可能写的简单，希望能够帮助初入分布式计算的新人们够更加容易理解 FLP 论文。当然再怎么简单，数学的符号是跑不了的，但是不要害怕，一个一个字看下来即可。 论文原文的名字叫：Impossibility of …

介绍 Amdahl's law（阿姆达尔定律） 由计算机科学家 Gene Amdahl 在 1967 年提出，旨在用公式描述在并行计算中，多核处理器理论上能够提高多少倍速度，公式如下：$$S=\frac{1}{1-a+\frac{a}{n}}$$$S$ 为 speedup，代表全局加速倍速（原来总时间/ 加速后总时间），$a$ 为并行计算所占比例（…

在分布式系统中，我们在阅读关于事务一致性的论文中，经常会看到 partial ordering 和 global ordering。这里简单的说明下。 Partial ordering 部分有序。指在一系列的事件中，只保证部分的事件按照一定的顺序进行处理。 Global ordering / Total ordering 全局有序。很简单，就是所有…

Lamport 逻辑时钟（Lamport Timestamp） Lamport Timestamp 是一种衡量时间和因果关系的方法。现实生活中，很多程序都有着因果（causality）关系，比如执行完事件 A 后才能执行事件 B。 int main { create_photos(6); view_photos(6); return 0; } 比如…