如何在没有关键工作volatitle的情况下实现DCL？

Question

public  class DCL {
    private static DCL staticDcl;

    private final DCL finalDcl;

    private DCL(){
        //other init operation
        
        
        //the action must be last.
        finalDcl = this;
    }

    public static DCL getDCL() {

        if (staticDcl == null) {
            synchronized(DCL.class) {
                if (staticDcl == null) {
                    staticDcl = new DCL();
                }
            }
        }
        return staticDcl.finalDcl;
    }
}

上面的代码在多线程环境下能否正常运行？？

我想用关键字final来实现dcl而不是volatitle。

Answer 1

是的，没有volatile，it is potentially broken，你可以阅读我的其他答案以获得解释。

你有staticDcl 和finalDcl 是相当奇怪的。如果您想通过 DCL 提供单例，则不需要两者。您可以阅读this 问题的开头，了解如何实现这一点。它还讨论了如何在没有volatile 的情况下实现双重检查锁定安全，但仍然使用一些特殊的语义，例如release/acquire。

Answer 2

您可能遇到问题，请参阅Why is volatile used in double checked locking?

我建议不要使用这种模式，而是使用static holder pattern (SHP)，它可以保证您尝试重现的所有机制。使用 SHP，您甚至不必考虑 volatile，因为 JVM 会直接为您处理。

public class DCL {
    private DCL(){
        //other init operation
    }

    public static DCL getDCL() {
        return Holder.INSTANCE;
    }

    private static final class Holder {
        private static final DCL INSTANCE = new DCL();
    }
}

还要注意private final DCL finalDcl; 是多余的，因为您可以直接返回实例，无需创建等于this 的新字段。

这种模式的好处是 INSTANCE 仅在它第一次被引用时被实例化，即当 getDCL() 被调用时。这是由于lazy class loading 的性质造成的。