Java中双重检查锁定中的volatile

class Foo {
    private volatile Bar _barInstance;
    public Bar getBar() {
        if (_barInstance == null) {
            synchronized(this) { // or synchronized(someLock)
                if (_barInstance == null) {
                    Bar newInstance = new Bar();
                    // possible additional initialization
                    _barInstance = newInstance;
                }
            }
        }
        return _barInstance;
    }
}

假设只有通过getBar访问_barInstance,我想知道是否缺少volatile是一个严重的错误,或者只是一个可能的性能缺陷的轻微缺陷.

我的想法如下：synchronized介绍发生之前的关系.初始化_barInstance的线程将其值写入主内存,而不是同步块.因此,即使它不是volatile,也不会有_barInstance的双重初始化：其他线程在_barInstance的本地副本中为空(在第一次检查中为true),但必须在第二次检查中从主内存读取新值进入synchronized块后检查(获取false并不重新初始化).所以唯一的问题是每个线程的锁定获取过多.

据我所知,它在CLR中是正确的,我相信它在JVM中也是正确的.我对吗？

谢谢.