条件 1： 可以会见资源的节点必需先释放资源，然后其他节点才气会见他。

箭头「→」暗示「产生在……之前（happened before）」，而 C 代表时钟函数，可简朴的领略为时间。所以要表达意思就是： 对付每一个事件 a,b，假如 a 产生在 b 之前，那么 a 的时间要小于 b 的时间。

2、 所有其他节点将这个请求 放入他们 的 行列 中并 发反响应动静 。

条件 3： 假如每个被授予会见权的节点最终都释放了资源，那么每个请求最终城市被授权。

∀a,b a → b ⟹ C(a) < C(b)

4、 当节点 收到 释放的 动静 时，他将从本身的行列中 排除 相关请求。

适才我们已经知道了在漫衍式系统里利用物理时钟是不行行的，那么我们就需要利用逻辑时钟。 逻辑时钟本质上是一个函数，可以或许给事件分派一个数字 。这个数字暗示事件产生的时间（以后刻开始我们将把这个数字称为时间），与物理时间没有任何关系。

所以我们照旧要构建条件，满意这个逻辑时钟。如何满意条件呢？

假如有更巨大的算法和协议，可以忽略以上假设。此刻我们可以界说满意这 3 个条件的算法，并在实践中 展示时钟的成果 ：

偏序也有一个范围性：假如不能确定相关性，我们大概不知道系统中每个事件简直切顺序。因为大概有很多事件会在整个系统内 并发 （concorrent），并非所有节点都知道这些事件的产生。

假设 3： 每个节点都可以直接向系统中的所有其他节点发送动静。

本文解读的是图灵奖得主、计较机大家 Leslie Lamport 的知名论文《 漫衍式系统内的时间、时钟和事件顺序 （Time, clocks, and the ordering of events in a distributed system）》。好久之后重读这篇文章并提炼要害观念，还有一番趣味。

stakefish 编译 Vac 阐明师、ENS 开拓者 Dean Eigenmann 的一篇文章，先容 Lamport 关于时间、时钟温顺序的阐述，为各人提示领略区块链和漫衍式系统时间另一个角度。

1、 假如一个节点想要请求一个资源，他会用 当前时间建设 一个 请求 ，将他 添加到他 的 行列 中，并将他 发送 给其他每个节点。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。