获取单例对象 Double Checked Locking Pattern的危险性

早期内置锁synchronized的性能比较低，所以在实现懒汉式单例模式时采取Double Checked Locking Pattern模式,它通过尽量少执行内置锁的锁定以提高性能，如下面的代码所示：

public class MySystem {
	private static MySystem instance = null;
	private Date date = new Date();
 
	private MySystem() {
 
	}
 
	public static MySystem getInstance() {
		if (instance == null) { //(a) 第一次test
		  synchronized (MySystem.class) { //(b) 进入synchronized块
		    if (instance == null)  //(c) 第二次test
				  instance = new MySystem(); //(d) set
		  } //(e) //退出synchronized块
		} 
		return instance; //(f)
	}
 
	public Date getDate() {
		return date;
	}
 
}

在(a)if语句的条件检查下(第一次test)，当instance等于null时，便会进入(b)的synchronized块，取得锁定的对象为MySystem.class，亦即MySystem Class对象。

(a)的条件检查位于临界区之外，在(c)重新执行条件检查时(第二次test)，进行了同步，synchronized可以保证别的线程如果确实创建好了instance，本线程可以看到，当instance确实等于null时，便会在(d)处生成MySystem的实例。(d)的实例实在(b)~(c)的临界区中产生，因此不会产生两个以上的MySystem实例。

只有在(a)的条件测试下instance等于null时，才会进入(b)的synchronized块。因此，第二次及以后调用getInstance方法时，几乎都不会进入synchronized块。故此不用担心内置锁synchronized带来的性能问题。

表面上看Double Checked Locking模式完美地解决了synchronized引入的性能问题，只要创建好实例，就不会再进入synchronized块。但是Double Checked Locking Pattern引入了一个新的问题，就是当单例对象还没有完全构造好时，别的线程调用getInstance可能返回单例对象，此时单例对象的某些字段可能为空。以上述程序为例，某个线程调用MySystem.getInstance().getDate()方法可能返回null，这看起来有点不可思议，我们来分析一下，假设有如下的线程执行顺序(只是一种可能)：

线程A	线程B
(A-1)在(a)处判断instance == null
(A-2)在(b)处进入synchronized块
(A-3)在(c)判断instance==null
(A-4)在(d)制作MySystem的实例，指定给instance字段
线程在此处更新，线程A将instance字段从工作内存拷贝到主内存， 线程B就可以看到instance不为null
	(B-1)在(a)判断instance=null
	(B-2)在(f)将instance的值设为getInstance的返回值
	(B-3)调用getInstance返回值之getDate方法

在制作MySystem的实例时，New Date()的值会指定给实例字段date，但这只是线程A对工作内存上的date工作拷贝进行赋值。若线程A退出synchronized块，date字段的值肯定会写入到主内存，但在退出前，date字段的值不保证会写入到主内存。instance=MySystem()也是一样，退出synchronized前instance字段的值可能也没有写入到主内存，但是也可能写入到主内存了。这里假设的线程执行顺序里，退出synchronized前，instance字段的值已经被写入到主内存，但是date字段的值并未写入到主内存，这是符合Java虚拟机规范的。

此时，线程B在(B-1)判断instance!=null，如此线程便不会进入synchronized块，而会立刻将getInstance的值当作返回值予以返回(return)。然后，线程B会在(B-3)调用getInstance的返回值的getDate方法，GetDate的返回值为date字段的值，线程B会引用date字段的值，这时候线程B会引用自己工作内存的date字段的值，结果date字段不在工作内存里，需要从主内存拷贝到工作内存，然而主内存里date字段的值为空，故此线程B调用MySystem.getInstance().getDate()方法返回null。

安全实现懒汉式单例模式的示范代码：

public class MySystem {
	private Date date = new Date();
 
	private MySystem() {
 
	}
 
	private static class MySystemHolder {
		private static MySystem instance = new MySystem();
	}
 
	public static MySystem getInstance() {
		return MySystemHolder.instance;
	}
 
	public Date getDate() {
		return date;
	}
 
}

实现原理：Java虚拟机在加载类的时候会在使用某个类时才会加载该类，调用MySystem.getInstance()方法会执行return MySystemHodler.instance，此时才会加载MySystemHolder类，另外Java虚拟机会保证加载类是线程安全的，故此上述代码是线程安全的。