分布式系统:一致性模型( 五 )

弱一致性模型

因果一致性(Causal Consistency)

因果一致性是一种弱化的顺序一致性模型 , 因为它将具有潜在因果关系的事件和没有因果关系的事件区分开了 。 那么什么是因果关系?如果事件 B 是由事件 A 引起的或者受事件 A 的影响 , 那么这两个事件就具有因果关系 。
举个分布式数据库的示例 , 假设进程 P1 对数据项 x 进行了写操作 , 然后进程 P2 先读取了 x , 然后对 y 进行了写操作 , 那么对 x 的读操作和对 y 的写操作就具有潜在的因果关系 , 因为 y 的计算可能依赖于 P2 读取到 x 的值(也就是 P1 写的值) 。
另一方面 , 如果两个进程同时对两个不同的数据项进行写操作 , 那么这两个事件就不具备因果关系 。 无因果关系的操作称为并发操作 。 这里只是简单陈述了一下 , 深入的分析见我之前写的文章《分布式系统:向量时钟》 。
因果一致性的条件包括:

  1. 所有进程必须以相同的顺序看到具有因果关系的读写操作 。

  2. 不同进程可以以不同的顺序看到并发的读写操作 。

推荐阅读