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

Question

我的程序中只有两个线程。

// 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中我所理解的读一个总是给我1。

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

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

Answer 1

你的假设基本上是正确的。不过，我会稍微重申一下，以符合JMM的保证。

如果线程2读取b并看到值1，则随后读取的a将为1。就像你说的，如果线程2总是在线程1写完之后读取b，那么线程2将看到值1，读取a将如你所期望的那样。