Term / 术语
Happened-before
简明解释
用于描述分布式事件因果先后关系的偏序：进程内顺序、消息发送到接收，以及这些关系的传递闭包共同确定事件之间的先后。
Happened-before 关系由 Lamport 提出，用来描述没有统一物理时钟时仍可确定的事件先后。如果同一进程中的事件 (a) 先于 (b)，或者 (a) 是消息发送而 (b) 是该消息的接收，就有 (a \rightarrow b)；它还满足传递性。
这是一种偏序，不要求任意两个事件都可比较。两个事件之间不存在 happened-before 路径时，它们可以被视为并发。逻辑时钟保证因果在前的事件具有更小时间戳，但时间戳较小本身不能反推出因果关系。