分布式之逻辑时钟

逻辑时钟用于捕获分布式计算过程中事件的因果依赖关系。

逻辑时钟是一个函数，它将事件$e$映射到时间域$T$中的某个值，表示为$C(e)$，并且作为事件$e$的时间戳。

若$e_i\to e_j$，则有$C(e_i)>C(e_j)$，但反之不成立。因此，我们无法根据时间戳的大小来判断两个事件的先后发生顺序。

为了解决这个问题，我们在时间戳中附加进程编号，表示为$C_i(e)$。对于两个进程$p_i$和$p_j$，若$i<j$，就称$p_i$的优先级小于$p_j$的优先级。

注意，进程的优先级可以任意指定，这里为了方便理解以进程号作为优先级。

这时，$e_i^x\to e_j^y\iff C_i(e_i^x)<C_j(e_j^y)or{C}_i(e_i^x)=C_j(e_j^y)andi<j$

逻辑时钟的计算方法：

• 每个进程的逻辑时钟的初始值都为0。
• 如果进程$i$发生一个事件，则其逻辑时钟的值加一，即$C_i=C_i+1$。
• 若进程你$i$向进程$j$发送消息，进程i的逻辑时钟值先加一，然后将$C_i$和消息发送过去，进程$j$更新自己的逻辑时钟为$C_j=max(C_i,C_j)+1$。