java - volatile 变量和非 volatile 重新排序/可见性

Question

所以我认为我对这些东西已经足够了解了，直到我读到一些让我怀疑我对这个主题的知识的东西。我几乎可以肯定这本书是不正确的，但也想问问社区。

PS: 没看过书的勘误表，所以很可能被披露为一个错误。

一个简化的例子:

public class VolatileMain {

private volatile int a = 0;
private String text = "";

public static void main(String[] args) throws Exception {

    VolatileMain vm = new VolatileMain();

    Thread writer = new Thread() {

        @Override
        public void run() {
            System.out.println("Running thread " + Thread.currentThread().getName());
            vm.text = "hello world";
            vm.a = 5;
        }
    };

    writer.start();
    writer.join();

    System.out.println("Running thread " + Thread.currentThread().getName());
    System.out.println(vm.a);
    System.out.println(vm.text);

   }

}

所以给出这个例子是否正确假设线程编写器对“文本”的写入保证对读取它的任何其他线程可见？

作者似乎在利用变量“a”的可变语义，并确保在刷新“a”时也会刷新对“text”的写入，这是保证吗？

我不认为是，但我自己的快速测试(上图)恰恰相反

你的想法。

Answer 1

is it correct to assume that the write to "text" by Thread writer is guaranteed to be visible by any other thread that reads it?

没有。但它保证在读取 text 之前读取 a 的任何其他线程可见，就像您的示例一样:

• text 的写入发生在 writer 线程中写入 a 之前
• writer 中a 的写入发生在主线程中a 的读取之前
• happens-before 关系是可传递的
• 因此 text 的写入发生在 a 的读取之前。