java - 同步和易变的 JMM

Question

我多次看到这样的结构:

class OneTimeWriter {
    volatile Object o;

    void synchronized set(Object o) {
        if(this.o == null) this.o = o;
    }

    Object get() {
        return this.o;
    }
}

我们在同步本身的开始/结束处有读/写成员。那么，既然 synchronized 本身就具有释放/获取语义，我们可以从 o 中删除 volatile 吗？

Answer 1

除非get也同步；否则，将非 null 内容放入字段的 setter 与 get 调用之间不存在发生前关系。