Lamport Timestamp
Lamport 时间戳用单调递增计数器 + 消息携带实现因果偏序，是分布式事件排序基础。
用途
提供轻量因果排序，理解其与向量时钟的精度差异。
机制
本地事件：L = L + 1。发送消息：附带 L。接收消息：L = max(L, msg.L) + 1。保证若 a 因果先于 b 则 L(a) < L(b)，但反之不成立（比向量时钟弱）。
用例
- 分布式事件排序
- 因果偏序
- Lamport 时钟
Lamport 时间戳用单调递增计数器 + 消息携带实现因果偏序，是分布式事件排序基础。
提供轻量因果排序，理解其与向量时钟的精度差异。
本地事件：L = L + 1。发送消息：附带 L。接收消息：L = max(L, msg.L) + 1。保证若 a 因果先于 b 则 L(a) < L(b)，但反之不成立（比向量时钟弱）。