DCL单例模式详解

public class SingleInstance {
	private volatile static SingleInstance instance;

	private SingleInstance() {

	}

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

DCL单例模式中的DCL为Double Check Lock缩写，即双重检查锁定,是单例模式中线程安全的懒汉式单例模式，下面我们来分析一下这种单例模式的意义何在。

第一步：使用私有的构造函数，单例模式常规写法，防止外部通过构造方法初始化，统一初始化入口。

第二步：同步代码块外加判空条件，这个判空是为了程序效率，全掉后导致效率变低。因为去掉之后，不管instance是否已经初始化，都会进行synchronized操作，而synchronized是一个重操作消耗性能。加上之后，如果已经初始化直接返回结果，不会进行synchronized操作。

第三步：初始化实例代码加上synchronized是为了防止多个线程同时调用getInstance方法时，各初始化instance一遍的并发问题。

第四步：同步代码块里加判空条件，为了防止多线程情况下多次初始化实例，假设两个线程a和b都通过了第一个判空条件。此时假设a先获得锁，进入synchronized的代码块，初始化instance，a释放锁。接着b获得锁，进入synchronized的代码块，也直接初始化instance，导致初始化了两次，加上判空就可以防止这种情况发生

一个注意点：instance的声明有一个voliate关键字，如果不用该关键字，有可能会出现异常。因为instance = new SingleInstance();并不是一个原子操作，会被编译成三条指令，如下所示。

java会指令重排序，也就是说jvm执行上面三条指令的时候，不一定是1-2-3这样执行，有可能是1-3-2这样执行。如下图，Thread1执行到16行指令，此时并没有将实例初始化，同时Thread2执行到11行判空的时候发现为false，因为instance指向了S内存，就直接返回了instance实例，但此时instance并没有初始化完全所以上层在使用的时候会出现问题

我们给instance变量加上volatile关键字，就禁止了jvm的指令重排，那指令就是1-2-3的去执行，此时便不会有问题。