懒汉式单例模式--双重检查锁

懒汉式单例模式–双重检查锁

public final class Singleton {
 	private Singleton() { }
 	private static volatile Singleton INSTANCE = null;
 	public static Singleton getInstance() {
 		// 实例没创建，才会进入内部的 synchronized代码块
	 	if (INSTANCE == null) { 
	 		synchronized (Singleton.class) { // t2
		 		// 也许有其它线程已经创建实例，所以再判断一次
		 		if (INSTANCE == null) { // t1
					INSTANCE = new Singleton();
				 }
 			}
		}
		return INSTANCE;
	}
}

要点：

• volatile：可见性、有序性
• static：静态的（懒汉式）
• synchronized：原子性、可见性、有序性
• 双重检查：两个 if 判断

实现特点：

• 懒惰实例化（static）
• 首次使用 getInstance() 才使用 synchronized 加锁，后续使用时无需加锁

读写 volatile 变量时会加入内存屏障（Memory Barrier（Memory Fence）），保证下面两点：

• 可见性
  • 写屏障（sfence）保证在该屏障之前的 t1 对共享变量的改动，都同步到主存当中
  • 而读屏障（lfence）保证在该屏障之后 t2 对共享变量的读取，加载的是主存中最新数据
• 有序性
  • 写屏障会确保指令重排序时，不会将写屏障之前的代码排在写屏障之后
  • 读屏障会确保指令重排序时，不会将读屏障之后的代码排在读屏障之前
• 更底层是读写变量时使用 lock 指令来多核 CPU 之间的可见性与有序性