字段读取同步和volatile之间的可见性差异

Question

我读了SO的以下文章

字段读取同步和易失性之间的区别

发问者写道

同步的目的是确保此线程读取的acct.balance值是当前值，并且对acct.balance中对象字段的任何挂起写入也会写入主存。

最受欢迎的答案：

你是正确的。

请研究此代码：

public class VolatileTest {

    static/* volatile */boolean done = false;

    public VolatileTest() {
        synchronized (this) {

        }

    }

    public static void main(String[] args) throws Exception {
        Runnable waiter = new Runnable() {
            public void run() {
                while (!done)
                    ;
                System.out.println("Exited loop");

            }
        };
        new Thread(waiter).start();
        Thread.sleep(100); // wait for JIT compilation
        synchronized (VolatileTest.class) {
            done = true;
        }
        System.out.println("done is true ");
    }

}

在我的电脑上，这个程序不会终止。

因此我认为

1. 如果我更改volatile变量，我将在另一个线程中看到任何未完成的地方的实际值

我说得对吗？

Answer 1

你是对的）

这里描述了内存模型：Java内存模型

它特别指出：

监视器上的解锁发生在该监视器上的每个后续锁定之前。

以及

对易失性字段（§8.3.1.4）的写入发生在该字段的每次后续读取之前。

因此，只有在同一个监视器上的锁定和解锁才会按照您想要的方式进行，并且对易失性变量的所有写入和读取也是如此。因此，您的程序可能不会终止，因为您在没有锁定所述监视器的情况下读取并且没有发生之前的关系。

有一点需要注意（这就是多线程bug如此恼人的原因）：
您可能会在其他线程中看到变化。也可能不会。在大多数架构上，您可能会在正常处理过程中看到它，并且可能会在高负载过程中出现错误，使其难以复制。JVM不保证如果之前没有发生任何事情（即volatile、synchronized、在同一线程中或在链接中的其他情况下），JVM将在何时看到它，但会尽最大努力平稳运行。

Answer 2

1. 是的，这是正确的，因为易失性写入发生在从变量读取写入值之前
2. 不完全是这样。可以保证同一监视器上的另一个同步线程将看到更新的值，因为监视器释放发生在另一个线程获取同一监视器之前。如果不获取相同的监视器，其他线程可能会看到更新的值。你公式中的“唯一”太强了：）