分布式系统中的顺序一致性

Question

我正在学习分布式系统中的顺序一致性，但无法理解解释的术语。如果有人能用外行的话说，为什么下面的(a)和(c)是顺序一致的，而(b)不是，我将不胜感激。
谢谢。

Answer 1

一次执行 e的操作顺序一致当且仅当它可以排列成一个序列 s这些操作中:

序列 s尊重每个进程的程序顺序。也就是说，对于任意两个操作 o1和 o2哪些是相同的进程，如果 o1先于 o2在 e ，然后 o1应该放在o2之前在 s ;

在序列中 s ，每个读操作返回对同一变量的最后一次写操作的值。

对于(a)，s可以是:
W(x)b [P2], R(x)b [P3], R(x)b [P4], W(x)a [P1], R(x)a [P3], R(x)a [P4]
对于 (c)，s可以是:
W(x)a [P1], R(x)a [P2], R(x)a [P3], R(x)a [P4], W(x)b [P3], R(x)b [P1], R(x)b [P2], R(x)b [P4]
但是，对于(b):

操作R(x)b, R(x)a来自 P3要求 W(x)b来之前W(x)a

操作R(x)a, R(x)b来自 P4要求 W(x)a来之前W(x)b

不可能构造这样的序列s .