Java单例模式双检锁原理

  • Post author:
  • Post category:java




一、Java中什么是双检锁模式?



双检锁又名双重检查锁,可以保证我们使用单例模式的时候避免多个线程竞争,导致同一个对象被实例化多次


二、单例模式中除了双检锁还有什么模式?


还有比如饿汉式(程序启动时就将对象实例化出来)、懒汉式(程序启动时不加载,等需要用到这个对象了再去实例化)


三、双检锁模式怎么实现?

//代码示例
public class SingleInstance {
    //必须有volatile修饰(防止指令重排序)
    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;
    }
}


总结:



一.对象的引用必须用volatile修饰,目的是禁止指令重排,防止错误发生。



原因

:它不是一个原子操作,这个简单的赋值可以分为3步:

1、给对象分配内存

2、调用对象的构造方法

3、把引用指向分配的内存空间

这是正常逻辑的3个步骤,也只有按1 2 3执行后,这个引用才不是null。

但是Java内存模型允许这个进行指令重排序,也就是这3步可能是123也可能是132,所以这里就有问题了。

假如线程A和线程B,线程A已经跑到分析3处的代码,这时这条指令执行是132,刚把步骤3执行完,这时线程B跑到了分析1处的代码,会发现引用不为null了,这时线程B就直接返回了,从而导致错误。


二、第一个非空判断是为了效率,如果判断是非空,那么直接返回就行了,没必要再进入同步代码块



三、第二个非空判断放在了同步代码块里面,是因为要避免多个线程同时创建对象的情况发生



版权声明:本文为hxhxhxhxh原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。