在存在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“后，”线程1点结束总是读b写它，然后线程2将看到值1和a的读数将如您所料。