java - JMM 顺序一致性

Question

我试图从 Java 内存模型的角度理解“顺序一致性”。 JLS 的定义，第 17 章对我来说不是那么清楚。

我会给出我的看法，如果我错了请纠正我。具有单线程顺序一致性的程序意味着如果 action1 在程序顺序中出现在 action2 之前，则 action2 应该看到 action1 的结果。

有两个线程。

线程 1:

action1
action2

线程 2:

action3
action4

如果 action3 看到了 action2 的结果，那么它也应该看到 action1 的结果。

Answer 1

你是对的；顺序一致性意味着每个 Action 都是原子执行的，并且立即对所有线程可见。就好像您将所有线程交织成一个线程，一个一个地执行操作。

请注意顺序一致性并不是 Java 内存模型的实际工作方式。

引自 17.4.3, Programs and Program Order :

If we were to use sequential consistency as our memory model, many of the compiler and processor optimizations that we have discussed would be illegal.