顺序一致性下的基本并行化

Question

我遇到了2个执行以下操作的处理器的问题：

**Processor 1**                 **Processor 2**
(1a) print x                       (2a)x=1
(1b) x=2                           (2b) print x

他们会询问将打印哪些值。提供的解决方案是（0,1），（0,2），（1,1）和（1,2）。

我的问题是：你如何获得这些价值观？