“时间”是岁月更迭中的永恒话题。围绕时间的探讨一直在区块链以及其他分布式系统中进行。时间连接起进程与节点，我们也用时间的“粒度”来衡量连块成链的去中心化网络。
分布式系统中关于时间的难题在于，不同参与者的“物理时钟”很难达成完全一致。分布式系统大师Lamport提供了去中心化的方法，将问题转化为时间与顺序的联系，提出了逻辑时钟的概念，就像为包括区块链在内的分布式系统引入了“生物钟”。
stakefish编译Vac分析师、ENS开发者Dean Eigenmann的一篇文章，介绍Lamport关于时间、时钟和顺序的论述，为大家提示理解区块链和分布式系统时间另一个角度。
关于分布式系统的系列文章，用哪个话题开篇比较合适呢？以太坊的隐私交易协议AZTEC？以难以掌握著称的Paxos算法？这些话题还是留在以后写。今天，我选了一个基础话题作为开篇：分布式系统的时间话题。
A股收盘：深证区块链50指数上涨1.05%:金色财经消息，A股收盘，上证指数报3265.75点，收盘上涨0.31%，深证成指报11496.93点，收盘上涨0.61%，深证区块链50指数报3244.47点，收盘上涨1.05%。区块链板块收盘上涨2.05%，数字货币板块收盘上涨1.8%。[2023/3/22 13:19:14]
本文解读的是图灵奖得主、计算机大师Leslie Lamport的知名论文《分布式系统内的时间、时钟和事件顺序（Time, clocks, and the ordering of events in a distributed system）》。很久之后重读这篇文章并提炼关键概念，另有一番趣味。
不熟悉Leslie Lamport的朋友可以大概了解一下，他以创造LaTeX、TLA+、Paxos而闻名，还论述了拜占庭将军问题。当然还有Lamport时钟（第一个逻辑时钟），在本文中我们也将对其基本概念进行介绍。
多家金融科技公司变更为“数科”公司，将运用区块链等推动产业数字化:继京东金融、百度金融、蚂蚁金服、360金融更名后，小米金融（小米数科）、同程金服、萨摩耶金服等“金融”公司近日也相继变更为“数科”公司。从“金融”升级为“数科”的战略上，各家企业纷纷聚焦于“数字科技”、“产业数字化”，表示将运用大数据、云计算、区块链等数字科技去推动相关产业的数字化。（国际金融报）[2020/10/20]
先来看看分布式系统的定义。Lamport给出的定义是这样的：
“如果一个系统内信息传递的延迟，与单一进程里的事件间隔的时间相比是不能忽略不计的，则称之为分布式系统。”
我喜欢这个定义，因为其专注在发出和收取消息之间的延迟上。
明确了定义，我们开始正式介绍。
为事件排序在本地再简单不过了。你只需在发生的时候为每一个事件赋予一个时间戳就好了。我们能够获得所有事件的总体顺序，也就意味着，所有事件都能够按照特定顺序排列。
但这个问题在分布式系统的情境下就困难多了。为什么呢？
一切皆因分布式系统的一个非常简单的性质：在节点之间传递的消息在发出之后，在未来的任何时间点都可能到达0次、1次或多次。这样的话，分布式系统的各个节点之间就不能就时间达成一致。举例来说：
声音 | 北京商报：金融科技巨头围猎区块链:新年伊始，区块链再次走上了风口。1月8日，记者了解到，包括腾讯、蚂蚁金服、百度、金融壹账通等机构，都在近期加紧了区块链落地动作，且均在“区块链+金融”领域有所布局。有分析人士称，支付、供应链金融等将是区块链率先规模化应用的场景。尽管落地仍存难点，但落地趋势已是势不可挡。在业内多位分析人士看来，2020年，将是区块链脱虚向实，千万日活应用走入大众的一年。（北京商报）[2020/1/9]
一个节点可以向另一个节点发送一条消息标注当前时间是12:00:00，但是接收者不知道消息用了多长时间传递，也就没办法确认到达时是否仍为12:00:00。如果这样，节点之间来来回回传一整天消息也无法确定信息是否同步。如果不能在时间上达成一致，我们也就不能在事件顺序上达成共识。
那怎么解决这个问题？
在分布式系统内，多个节点通过互相发送信息进行交流。节点收到信息首先确认这个信息，然后执行他的下一个事件。这样的顺序，本来就显示了一种“因果关系”：信息必须先被发出，才能被收到。
译注：这种因果关系是一种时序关系，不是逻辑上的原因和结果的关系。
北京物流汽车商会会长：区块链可解决物流行业中的七大问题:6月6日，“物流供应链体系+区块链新闻信息发布会”在北京举行。物流专家、北京物流汽车商会会长田明在演讲中表示，物流是最适合区块链技术应用的行业。用区块链搭建物流应用场景，可解决当前业界非常关注的几个问题：
1.仓储在供应链体系中的效率和反应速度问题；
2.物流服务中的规范和信用问题；
3.业界资源巨大浪费问题；
4.物流端到端、门到门的配送问题；
5.目前物流企业规模偏小的问题；
6.物流企业内部标准化问题；
7.跨界发展问题。[2018/6/8]
那么根据因果关系就能得出顺序：发消息肯定在被他被接收之前。单看A、B两个事件，我们就能给出“发生在……之前（happens before）”的关系来描述顺序了。
现在，无需系统物理时间概念就可以识别这种关系：如果A对B造成了因果影响，事件A肯定发生在事件B之前。因果关系让我们确定系统中相关事件的顺序，是一种偏序（partial order）。
偏序也有一个局限性：如果不能确定相关性，我们可能不知道系统中每个事件的确切顺序。因为可能有许多事件会在整个系统内并发（concorrent），并非所有节点都知道这些事件的发生。
北京达邦食安科技有限公司董事长兼总经理杨明升：区块链是面子，根本在于数据:北京达邦食安科技有限公司董事长兼总经理杨明升表示，区块链给我们提供全新的思路和理念，它提供了不同主体、不同区块的数据连成一体，形成数据链。区块链技术是渠，是面子；食品安全数据是水，是里子。不能过度夸大区块链这个理念或者技术本身，最关键的是企业要练好内功，要有符合下游B端和C端需求的食品安全数据，最主要的是标准数据、过程控制数据、产品检测数据。[2018/4/8]
时钟
不过既然我们已经有了偏序，接下来把时钟添加到系统中，就能获取系统中的所有事件的总序（total order）。
刚才我们已经知道了在分布式系统里使用物理时钟是不可行的，那么我们就需要使用逻辑时钟。逻辑时钟本质上是一个函数，能够给事件分配一个数字。这个数字表示事件发生的时间（从现在开始我们将把这个数字称为时间），与物理时间没有任何关系。
我们假设在这个分布式系统里的每个节点都有一个时钟。这个时钟随着在执行的事件间滴答行进，但时钟的行进并不被视为系统中的事件。对于系统中某个节点上发生的每个事件，逻辑时钟都会为该事件分配一个数字。根据这个假设，我们可以满足以下时钟条件：
?a,b a → b ? C(a) < C(b)
以上表达式代表什么意思呢？
箭头“→”表示“发生在……之前（happened before）”，而C代表时钟函数，可简单的理解为时间。所以要表达意思就是：对于每一个事件a,b，如果a发生在b之前，那么a的时间要小于b的时间。
但反推不成立，仅因为一个事件的时间比另一个事件的时间小，并不能说这个事件发生在前，他们可以是并发的。
在上面的图片中，我们可以看到节点α上，时间1和时间2各发生了1个事件；节点β在自己的时间1发生了1个事件。在节点α的时间1和时间2发生的事件，与在节点β的时间1发生的事件是并发的，没有因果联系。
如果a和b是单个节点上的两个事件，且a发生在b之前，则a的时间应该小于b的时间。
如果a是一个发送消息的节点，b是另一收到消息的节点，那么a的时间仍然应该小于b的时间。
节点需要在事件之间让时钟进行计时。如果不是，则必须将时钟调快到比从其他节点接收到的任何消息中包含的时间更晚的时间。b就可以在时钟调快之后发生了。
现在好啦，我们可以使用满足这些条件的时钟，建立整个分布式系统的总序啦，这里只是简单的根据各个事件的时钟给出的时间来排序。
用例
最后我们设置一个状态机来看看逻辑时钟的用法。比如我们有一个分布式系统，多个节点都想访问其中的共享资源，每次只能访问一个节点。状态机需要满足以下条件：
条件1：可以访问资源的节点必须先释放资源，然后其他节点才能访问他。
条件2：对资源的请求必须按照发出请求的顺序被授予访问权。
条件3：如果每个被授予访问权的节点最终都释放了资源，那么每个请求最终都会被授权。
为什么不引入一个中间协调者呢？因为这样的话，如果发生较早的请求却较晚到达，就不能满足条件2了；另一个原因是，我们希望采取去中心化的解决方案。
所以我们还是要构建条件，满足这个逻辑时钟。如何满足条件呢？
Lamport为我们提供了一个去中心化解决方案。首先，我们要让所有节点储存一个请求队列。其次，要满足一些简单的假设：
假设1：所有消息都按发送的顺序接收。
假设2：所有消息最终都被接收。
假设3：每个节点都可以直接向系统中的所有其他节点发送消息。
如果有更复杂的算法和协议，可以忽略以上假设。
现在我们可以定义满足这3个条件的算法，并在实践中展示时钟的功能：
1、如果一个节点想要请求一个资源，他会用当前时间创建一个请求，将他添加到他的队列中，并将他发送给其他每个节点。
2、所有其他节点将这个请求放入他们的队列中并发回响应消息。
3、释放资源的节点发送带有当前时间的释放消息，并从其队列中删除原来的请求。
4、当节点收到释放的消息时，他将从自己的队列中清除相关请求。
5、当一个节点在他的队列中有自己的排在任何其他请求之前请求时（按照时间总序），他可以自由地访问该资源，并且他在该时间之后从所有其他节点接收到消息。
上述算法是完全由各个节点独立执行的去中心化算法，他利用时钟来对请求按总序进行排序，从而实现对资源的访问和节点间的协调。
好啦，我们通过文章大概了解到如何使用这些逻辑时钟对分布式系统中的事件进行排序，并分析了分布式系统访问资源时确定顺序的实际应用问题。欢迎大家的意见反馈，我将继续更新更多关于分布式系统的文章。
原文标题：Time, clocks, and order
作者：Dean Eigenmann
编译：stakefish
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。