静态一致但顺序不一致的程序顺序示例？

Question

作者在Maurice Herlihy和Nir Shavit撰写的《多处理器编程的艺术》（第3章）中提到，顺序一致性和静态一致性是不相关的，并且有一些程序顺序示例是彼此无关的。 是否有一个程序顺序静态一致但顺序不一致的示例？

Answer 1

我也在读这本书，我将尽力解释我对这个问题的理解。 我仍然不了解整个图片，因此有可能我出了点问题:)

无论如何，请看本书中的图3.8。 该示例显示组成顺序不一致。 如果您理解该示例，则顺序执行前后不一致。

此示例原样不是静态一致的。 让我们尝试更改它，使其保持静态一致，但仍然顺序不一致。 我们要做的就是延长线程B的方法调用，使其与线程A的调用重叠。例如，线程B中的q.enq(y)应该与p.enq(x)和q.enq(x)重叠，线程B中的p.enq(y)应该与q.enq(x)重叠，线程B中的p.deq(y)和q.deq(x)应该与p.deq(y)重叠。

现在，相同的论点是有效的：该系统不是顺序一致的。 但是，系统是静态一致的，因为所有内容都重叠，因此对事件的顺序没有任何限制。

因此，我们发现执行是静态一致的，但不是顺序执行的。