在分布式系统中，我们在阅读关于事务一致性的论文中，经常会看到 partial ordering 和 global ordering。这里简单的说明下。 Partial ordering 部分有序。指在一系列的事件中，只保证部分的事件按照一定的顺序进行处理。 Global ordering / Total ordering 全局有序。很简单，就是所有…

Lamport 逻辑时钟（Lamport Timestamp） Lamport Timestamp 是一种衡量时间和因果关系的方法。现实生活中，很多程序都有着因果（causality）关系，比如执行完事件 A 后才能执行事件 B。 int main { create_photos(6); view_photos(6); return 0; } 比如…