Java 实例变量同步

Question

当获取实例变量的锁时，JVM 会“刷新”整个实例的状态还是仅刷新该特定变量的状态？

考虑实现以下类

public class SyncObject {
    private boolean flag = false;
    private final Object lock = new Object();
    private volatile Object visibility = null;

    public void setFlag() {
        a = true;
    }

    public boolean getFlag() {
        return flag;
    }

    public void refreshLock() {
        synchronized(lock){
            ;
        }
    }

    public void refreshVisibility() {
        Object dummy = visibility;
    }
}

两个线程T1和T2，语句从上到下执行

T1 -> setFlag()
T2 -> getFlag()

此时，很明显 T2 很可能会看到过时的数据，因为既没有使用同步，也没有使用 volatile 关键字。

但是，如果T2随后发送消息

T2 -> refreshLock()
T2 -> getFlag()

getFlag() 方法是否返回最新值？根据我所做的测试确实如此。

如果这是真的，有人可以解释一下为什么获取实例变量的锁会刷新整个所有者的状态，而不仅仅是该特定变量的状态？我已经查看了 JLS 17.4.4. ，但还是想不通。

测试

我使用以下代码来测试上述行为

public class Main {

    public static void main(String[] args) {
        final SyncObject sObject = new SyncObject();

        Thread background = new Thread(() -> {
            while(!sObject.getFlag()){
                // if line below is uncommented, thread finishes in roughly 1s, otherwise it loops forever
                //sObject.refreshLock();
            }
        });

        background.start();
        TimeUnit.SECONDS.sleep(1);
        sObject.setFlag();
    }
}

更新#1

我稍微编辑了 SyncObject 实现并添加了 visibility 属性以及 refreshVisibility 方法。如果测试用例中的 refreshLock 方法被 refreshVisibility 替换，行为是相同的，线程在大约 1s 内完成。

Answer 1

你应该看看下面这一点，即happens-before关系，https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.5 .

如果“发生在”关系成立，则可以确定线程 A 执行的写操作对于线程 B 是可见的。当线程依次锁定监视器，或者第一次写入，然后另一个读取 volatile 变量时，就会出现这种情况。 (此外，文档中还列出了其他案例)。

此外，正如指南中所解释的，可见性不限于单个变量，而是限制在“障碍”之前更改的每个变量。