外部一致性与线性化

埃里克·布鲁尔（Eric Brewer）在Spanner，TrueTime和CAP定理中写道：

关于扳手一个细微的事情是，它得到串行化自锁，但它得到外部的一致性（类似于线性化从TrueTime [）加着重号。

外部一致性的定义是什么，它与线性化有何不同？

外部一致性没有固定的含义。在这种情况下，它的含义出现在文档的下一个句子中：

对于任何两个交易，和Ť 2（即使在地球上的相对侧上）：如果Ť 2开始承诺后Ť 1个完成提交，则对于时间戳Ť 2比时间戳更大Ť 1。$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

您可以从事务（Tx）隔离和顺序的角度考虑外部一致性。在Tx隔离中，外部一致性等效于严格的可序列化隔离，其中“ strict”是实时约束部分（与线性化一样）。

这再次意味着，对于系统客户端，可观察到的Tx副作用等同于系统，在该系统中，所有Tx都是在没有任何并发​​的情况下独立发生的，并且保留了客户端所看到的实时排序。更重要的是，任何其他不相关的客户端都可以看到相同的顺序。

在此博客上了解有关区别的更多信息。