从爱因斯坦到 Lamport：为什么无主复制系统里没有全局时钟，只有因果顺序

文章从爱因斯坦的火车与闪电思想实验讲到 Leslie Lamport 的逻辑时钟，说明无主复制系统中任何时间戳都无法判定写入先后，唯一可靠的是因果关系——果不能先于因。协作编辑器（如 Yjs 使用的 CRDT）正是靠因果顺序而非主时钟来合并 Alice 和 Bob 的并发编辑。