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

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

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

Answer 1

首先，您的教授给您的不是明确的历史/执行，而是历史在两个线程上的投影。

如果通过放弃未决的调用和/或添加对未决的调用的响应（您没有离开）而获得的历史记录H是线性的，则该历史记录可以与不与任何历史记录S相矛盾的顺序历史记录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切换的任意组合），并且您不能按顺序重新排序（即，成对的启动/完成），而无需更改这两个线程之间的帐户余额。