什么时候一致性需要协调？定义了invariant confluence

问题：什么时候一致性需要协调？

众所周知，很多强属性像符合“ACID”的线性化和串行化没有协调或并发之间通信是不能完成的。

不符合invariant confluence属性的既可以无协调。

invariant confluence(不变式+merge)

可以理解为：所有局部提交的决策必须符合全局不变式的。例如我在数据库状态的本地副本上提交操作，我必须确保在merge的时候，没有其他并发操作会使提交决策无效。如果不存在这样的状态，就不必协调操作。