时间、时钟与事件顺序
物理时钟的漂移与 NTP，Lamport 逻辑时钟与 happens-before，向量时钟检测并发，混合逻辑时钟与 Google TrueTime。本章说明”先后”在分布式系统中为什么需要重新定义。
- Lamport 时钟给出与因果一致的全序，但不能检测并发
- 向量时钟能检测并发，代价是 O(n) 空间
- TrueTime 用硬件把时钟误差变成显式区间
物理时钟的漂移与 NTP，Lamport 逻辑时钟与 happens-before，向量时钟检测并发，混合逻辑时钟与 Google TrueTime。本章说明”先后”在分布式系统中为什么需要重新定义。