分布式系统中的时钟：逻辑时钟与向量时钟

逻辑时钟Lamport's Logical Clocks 为了同步logical clocks，Lamport 定义了一个关系叫做happens-before.记作 -> ...