顺序一致但不可线性化的执行

Question

我试图理解线性化和顺序一致性之间的区别。 更具体地说，我想有一个顺序一致但不可线性化的执行示例。 我的教授给了我以下这样执行的例子：

Alice and bob write checks to each other.
Alice’s Statement:
-10  Check Alice -> Bob
0  Check Bob -> Alice

Bob’s Statement
-10  Check Bob -> Alice
0  Check Alice -> Bob

Both overdraft.
It is sequential: each client sees a consistent order
It is not linearizable: no globally linear story 

但我没有得到它。 线

n Check A -> B

应该被解释为“A在操作为n后将检查写入B及其帐户”。 我不明白为什么操作不应该是可线性的：Alice和Bob最终都是0，这是一个一致的值，所以也许我没有正确地得到'linearisability'的定义。

Answer 1

首先，你的教授给你的不是历史/执行，而是历史在两个线程上的投射。

如果通过遗漏待处理的调用和/或添加对未决调用的响应（您没有离开），历史H是可线性化的，您可以获得一个等同于顺序历史S的历史记录，该历史记录不会与任何优先级相矛盾。 H。

换句话说，您的示例不可线性化的原因是因为无法在单个时间点分配操作（财务事务）。 扣除第一笔钱，然后再添加，并且线程/个别银行对账单会观察到此行为。

如果银行对账单是

Alice’s Statement:
-10  Check Alice -> Bob
0  Check Bob -> Alice

Bob’s Statement
10  Check Alice -> Bob
0  Check Bob -> Alice

然后我们将有一个历史S如下：

Alice: Send Bob 10
Alice: Send completed
Bob:   Send Alice 10
Bob:   Send completed

但在你的例子中，历史可能是

Alice: Send Bob 10 (i.e. money is gone)
Bob:   Send Alice 10 (i.e. money is gone)
Bob:   Send completed (i.e. money arrived)
Alice: Send completed (i.e. money arrived)

（或1/2线切换和3/4切换的任意组合）并且您不能按顺序重新排序（即一起开始/完成的对）而不改变其间每个线程观察到的账户余额。