易失性：为什么阻止编译器重新排序代码

Question

据我所知，在Java中，volatile变量使线程直接对主CPU进行读/写操作（而不是在每个线程的缓存中），因此使其更改对其他线程可见。

我不知道的是：因此，为什么这项工作（易失性）可以阻止编译器/ CPU对代码的重新排序语句。

谢谢 ：）

Answer 1

这是一个很好的示例，说明了禁止重新排序的目的是要解决的问题（从此处获取）：

class VolatileExample {
    int x = 0;
    volatile boolean v = false;
    public void writer() {
        x = 42;
        v = true;
    }
    public void reader() {
        if (v == true) {
            //uses x - guaranteed to see 42.
        }
    }
}

在此示例中，v为易失性，但x不是。如果作者和阅读者同时执行并且读者看到v设置为true，x则保证为42。在此之前的Java-5，编译器可以自由地重新排序的写入x和v，所以你可以看到x在零点
以后 你见过v设置为true。这令人困惑，并导致细微的错误。Java-5内存模型通过使易失性写入几乎等同于同步来解决了此问题。