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替换，则行为相同，并且线程在大约1秒内完成。

Answer 1

你应该看一下以下几点，即发生在关系之前，https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.5。

如果在关系成立之前发生，则可以确保线程A执行的写操作对线程B可见。当你让线程依次锁定监视器，或第一次写入然后从volatile变量读取另一个时，就是这种情况。（以及文档中列出的其他案例）。

此外，如指南中所述，可见性不仅限于单个变量，而是限制在＆＃34;屏障之前变化的每个变量＆＃34;。

实例变量

测试

更新＃1

1 个答案: