在 volatile 变量存在的情况下会发生重新排序吗？ [复制]

Question

我的做法如下，我的程序只有2个线程。

// Thread 1
write a = 0
write a = 1
write volatile b = 1

// Thread 2
read volatile b // this I always do after write volatile b in the 1st thread
read a

我已经阅读了 Java 内存模型，根据我在线程 2 中的理解，read a 总是会给我 1。

我想知道我的理解是否正确。

特别是仍然会发生重新排序，所以我在第二个线程中看到 a = 0 吗？

Answer 1

您的假设大多是正确的。但是，我会稍微重申一下，以符合 JMM 的保证。

如果线程 2 读取 b 并看到值 1，那么后续读取的 a 将是 1。就像你说的，如果线程 2 总是读取 b "after" Thread 1 完成写入，然后线程 2 将看到值 1，a 的读取将如您所愿。