DCL:Double Check Lock ,意为双重检查锁。在单例模式中懒汉式中可以使用DCL来保证程序执行的效率。
1 public class SingletonDemo { 2 private static SingletonDemo singletonDemo = null; 3 private SingletonDemo(){ 4 } 5 6 public SingletonDemo getSingletonDemo(){ 7 if(singletonDemo == null){ 8 synchronized (SingletonDemo.class){ 9 if(singletonDemo == null){ 10 singletonDemo = new SingletonDemo(); 11 } 12 } 13 } 14 return singletonDemo; 15 } 16 }
上面是传统的DCL单例模式一种实现,第一个空值判断是为了避免实例属性已经实例化赋值后,后面的线程依然进入 synchronized 修饰的代码块,进行加锁、解锁,造成效率低下;第二个空值判断是为了避免实例属性已经赋值后,等待队列中的线程重复执行对象创建与赋值。而DCL可以保证多线程下只会进行一次对象初始化。但是这样的代码还是会有缺陷。
缺陷
指令集
让我们单独写一个对象创建方法,看一下这个操作对应的指令集是什么
public void aa(){ singletonDemo = new SingletonDemo(); }
先对这个类进行编译,然后使用idea 的 jclasslib插件对这个类进行查看,指令集如下:
指令分别是 new 、dup、invokespecial、putstatic,最后return返回,这里dup是复制操作,也就是对栈顶的元素复制一份,这里可以忽略不看。所以关键的指令是三个,1、new(实例化,对对象进行声明,分配地址),2、invokespecial(初始化,调用构造方法,进行属性赋值),3、putstatic(将这个对象赋值给属性singletonDemo)。
指令重排
单线程下存在着指令重排,什么是指令重排,比如说代码 x=1; y=1; x++; y++; y=x+y; JVM在加载时可能先加载到 y,那么它不会再去等待x加载,直接去执行 y++ ,这样就提高了运算效率,这种代码冲排序就是指令重排。但同时指令重排也不是随意的重排,它会遵守数据依赖性,比如虽然先加载了y,执行了 y++ ,也加载了 x,但是并不会接着去执行 y=x+y;因为右边操作的y 在前面的 y++修改了值,所以产生了对y++数据依赖,JVM并不会允许这样的指令重排(其实这个例子里的x++,y++指令会划分为三步,这里只需要知道表达的意思就可以了)。但是在多线程下数据依赖性就不能保证线程安全问题了。
回到前面的对象创建的指令集,2和3因为不存在数据依赖所以可能发生指令重排(3只是将对象地址赋值给变量,所以并不会与2存在数据依赖),所以在多线程下,可能线程1在执行new指令后直接执行指令3,线程2就执行到第7行第一个非空判断了,此时因为对象地址分配了,所以判断是非空,直接return,但是此时还没有执行初始化指令,所以该对象只是分配了空间还没有创建完对象,导致这个方法还是返回了一个null值(这个null值表示的是该位置的对象实际是获取不到的但是判断是非空的)。
解决
volatile 关键字可以禁止指令重排和保证可见性,但是由于不能保证原子性,所以在这里还是需要配合 synchronized 来使用。关于volatile在多线程基础里面说到了,所以这里最终的代码是:
1 public class SingletonDemo { 2 private volatile static SingletonDemo singletonDemo = null; 3 private SingletonDemo(){ 4 } 5 6 public SingletonDemo getSingletonDemo(){ 7 if(singletonDemo == null){ 8 synchronized (SingletonDemo.class){ 9 if(singletonDemo == null){ 10 singletonDemo = new SingletonDemo(); 11 } 12 } 13 } 14 return singletonDemo; 15 } 16 }
补充
单例模式的其他实现:
饿汉式
由于饿汉式是类加载时就会将对象实例创建赋值完成,所以在多线程下也是安全的,所以它的优点是不存在线程安全问题,缺点是没有延迟加载的优势,比如这个单例模式对象是一开始就加载好的,但是整个程序执行过程中过了很久才用上,那么从类被加载时就创建在堆中,一直到被用上,在堆中是一直占用空间的,如果存在多个饿汉式的单例类,就无形提高了GC发生的次数。降低程序的性能。
1、直接实例化饿汉式
public class Singleton1 { private static final Singleton1 INSTANCE=new Singleton1(); private Singleton1() { } public static Singleton1 getSingleton() { return INSTANCE; } }
特点:简单直接
2、枚举式饿汉式
public enum Singleton12 { INSTANCE; public void aa() { //要调用的方法 } }
特点:最简洁
3、静态代码块饿汉式
public class Singleton13 { private static final Singleton13 INSTANCE; static { INSTANCE=new Singleton13(); } public static Singleton13 getSingleton() { return INSTANCE; } }
特点:可以在类初始化时增加其他操作
懒汉式
懒汉式单例模式就是直到调用方法去获取对象时才会创建对象,会有线程安全问题,所以更为复杂,但是因为是延迟加载,所以会有延迟加载的优势。
1、DCL懒汉式
代码如上。
2、静态内部类懒汉式
public class Singleton22 { private Singleton22() { } private static class Inner{ private static final Singleton22 INSTANCE=new Singleton22(); } public static Singleton22 getInstance() { return Inner.INSTANCE; } }
相比于DCL懒汉式更加简单,同时也没有加锁解锁操作,更加高效。