逻辑时钟

逻辑时钟不测量物理秒数，而是把因果偏序嵌入自然数，为因果先后安排一致的编号：进程每发生事件就递增，接收消息时跳到本地值和消息值的较大者之后。若一个事件可能影响另一个事件，编号必然递增；但它刻意不追求反向，因为一个标量无法编码所有并发维度，彼此无关的事件也可能恰有不同编号。因此，时间戳大小只能提供因果关系的必要线索，其价值是在不依赖同步物理时钟的情况下生成与因果一致的排序键。

若 $P$ 的本地时钟为 $3$ 时发送消息，消息携带 $3$；$Q$ 接收前为 $7$，接收后设为 $max(7,3)+1=8$。因此发送事件时间小于接收事件时间。两个互不通信的进程也可能分别产生时间戳 $5$ 和 $9$，但不能由 $5<9$ 推出前者导致后者。

这说明 $C(a)<C(b)$ 的逆命题一般不成立，只比较标量时间戳不能精确判断并发。逻辑时钟也不保证与真实墙钟接近，网络延迟和时钟漂移不是其目标。把进程 ID 作为次关键字可把 $(C(e),pid)$ 排成总序，适合确定性日志展示；但这个总序包含人为打破的并发关系，不能替代因果分析。时钟整数溢出、进程重启和持久化则属于实现层问题，理论模型通常假设无界自然数。

Lamport 时钟由 Happens-before 关系公理库Happens-before 关系Happens-before · Causal order由程序顺序及模型规定的通信或同步边生成的事件因果严格偏序。 导出，并使用 自然数公理库自然数模型Natural numbers · Peano system由零元、后继和二阶归纳原则范畴性刻画的离散数系模型。 作为标量标签，为因果偏序提供保序嵌入。若应用需要判断两个事件是否真正并发，应转向 向量时钟公理库向量时钟Vector clock用每进程计数向量在标准消息传递模型中精确刻画事件因果偏序。 等更丰富的结构；若只需构造与因果相容的全局排序，Lamport 时间戳加稳定 tie-break 已足以支持因果一致的事件排序、日志重放、分布式互斥与复制协议。