Java对象的正确发布与DCL单例模式 -- 四个关键字一个JUC类

DCL单例模式及其volatile关键字

  首先我们看一个经典的DCL单例模式

class Singleton {
    private static volatile Singleton INSTANCE;

    public static Singleton getInstance() {
        if (INSTANCE == null) {
            synchronized (Singleton.class) {
                if (INSTANCE == null) {
                    INSTANCE = new Singleton();
                    return INSTANCE;
                }
            }
        }
        return INSTANCE;        
    }    
}

  DCL单例模式最重点的地方在于volatile关键字, 该关键字在这里有两个作用

1. 确保当线程A实例化了Singleton类并修改了INSTANCE变量之后,线程B在访问INSTANCE关键字的时候会对该变化可视，而不会使用线程B工作内存中缓存的INSTANCE变量(这样可以省下一次进入synchronized关键字的开销).
2. 保证线程A实例化了Singleton之后, 线程B获取的INSTANCE对象是正确初始化的(实际上正确初始化的概念包含了第1种情况，为了清晰我这里分开来谈)。

  因为Java语言只保证对于一个对象final字段, 当这个对象的引用可用的时候, final字段是正确初始化的。也就是说，如果线程B初始化了一个对象，而线程A不经过任何同步就获取该对象的非final字段，该字段有可能是0值。(《Java语言规范》中指明了该情况)。
  但是可惜的是, Java语言规范只告诉你了什么情况下可能会出错，并没有告诉你如何避免错误(我真的佛了)。所以我翻阅了大量资料，力求找到可信的资料来源来给出一种指导我正确发布对象的方法，终于我在《Java Concurrency in Practice》（《Java并发编程实战》）种找到了（这本书的作者们是几乎就是Java并发编程名人堂）。

如何正确发布Java对象

  只有四个方法可以正确的发布一个对象。

1. 在静态初始化函数中初始化一个对象(饿汉单例模式就是用的这种方法)
2. 使用volatile关键字修饰该字段，或者AtomicReference持有引用
3. 使用final关键字修饰该字段
4. 使用锁保护该字段

以上内容出自《Java并发编程实战》，可信度没得说。