Lamport's Logical Clocks 和 Vector Clock

  Lamport's Logical Clocks   为了同步logical clocks,Lamport 定义了一个关系叫做happens-before.记作 ->  a->b意味着所有的进程都agree事件a发生在事件b之前。 在两种情况下,可以很容易的得到这个关系: 1 如果事件a和事件b是同一个进程中的并且事件a发生在事件b前面,那么a->b 2 如果进程A发送一条消息m给进程B,a代
相关文章
相关标签/搜索