了解发生之前的关系

Question

考虑以下类：

public myClass {
    int a;
    Object obj;    //This object is not of class myClass nor of a subclass of it.

    void foo(int b){
        synchronized(this){
            print(a);
            a = b;
            obj.value = b;
            obj.bar();
        }
    }

    void bar(){
        synchronized(this){
            //Some code using obj here.
        }
    }

}

Java 文档指出：

当线程释放内在锁时，会在该操作与任何后续获取同一锁的操作之间建立起之前的关系。

假设有两个线程 T1、T2 和一个名为 myclass 的 myClass 对象。

现在 T1 调用 foo，不久之后 T2 调用 bar 并最终获得锁并进入 bar()。如果错了，请纠正我，但据我了解，T2 请参阅 T1.foo(b) 中对变量 a 所做的更改。对 obj 所做的更改如何？将其视为任意其他对象。

是否保证发生之前的关系？

Answer 1

是：T2 获得了 T1 已经释放的锁。因此存在先发生的关系，因此在 T1 获得锁之后，T1 在释放锁之前所做的写入对 T2 是可见的。

见http://docs.oracle.com/javase/8/docs/api/java/util/concurrent/package-summary.html#MemoryVisibility。

请注意，它是关于内存操作，例如共享变量的读取和写入。不仅读取和写入用作锁的对象的字段。