美文网首页
内存无序写入导致单例模式双重校验锁失败

内存无序写入导致单例模式双重校验锁失败

作者: NOW_GO | 来源:发表于2018-05-15 10:35 被阅读85次

问题:

public static Singleton getInstance()
{
  if (instance == null)
  {
    synchronized(Singleton.class) {  //1
      if (instance == null)          //2
        instance = new Singleton();  //3
    }
  }
  return instance;
}
在 Singleton 构造函数体执行之前,变量 instance 可能成为非 null 的。

原因:

内存的无序写入问题。

分析原因:

对象的创建的过程是这样的:

1、给Singleton的实例分配内存空间。

2、调用Singleton的构造方法进行构造函数初始化

3、将instance对象指向分配的内存空间(注意到这步instance就非null了)

但是由JVM的乱序执行上面1、2、3的执行顺序2和3并不一定,可能是1、2、3也可能是1、3、2如果是1、2、3还好说并不会出现什么我问题,但是如是执行的顺序是1、3、2那么这样就比较麻烦了,因为在执行到3的时候对象已经是非null了,所以其线程有可能取到被初始化到一半的对象。

解决

我们可以使用volatile来阻止程序的乱序执行,从而使双重检验锁在多线程下正确执行。
volatile关键字到底是什么作用?再看《深入理解Java虚拟机》的时候我特地留意了一下这个问题,从Java内存模型的角度大概是这样说的:

第一:保证被volatile修饰的变量会保证对所有的线程的可见性,这里的“ 可见性 ”是指当一条线程修改了这个变量的值,新值对于其他变量是可以立即i得知的。

第二:使用volatile变量的语意是禁止指令重排序优化,普通的变量仅仅会保证该方法的执行过程中所有依赖赋值结果的地方都能获取到正确的结果,而不能保证变量赋值操作顺序与程序代码中的执行顺序一致。
但是我们在使用volatile的同时使我们的代码不能被编译器进行代码优化,他需要在本地代码中插入许多的内存屏障指令来保证处理器不发生乱序执行,导致我们的程序在执行的时候变慢

再优化

public class Singleton {    
    private static Singleton singleton; // 这类没有volatile关键字  
    private Singleton() {   
    }   
    public static Singleton getInstance() { 
        // 双重检查加锁   
        if (singleton == null) {    
            synchronized (Singleton.class) {    
                // 延迟实例化,需要时才创建 
                if (singleton == null) {    
                    Singleton temp = null;  
                    try {  
                        temp = new Singleton(); 
                    } catch (Exception e) {  
                    }  
                    if (temp != null)   
                        singleton = temp;
 //为什么要做这个看似无用的操作,因为这一步是为了让虚拟机执行到这一步的时会才对singleton赋值,虚拟机执行到这里的时候,必然已经完成类实例的初始化。所以这种写法的DCL是安全的。由于try的存在,虚拟机无法优化temp是否为null  
                }   
            }   
        }   
        return singleton;   
    }  
}

相关文章

  • 内存无序写入导致单例模式双重校验锁失败

    问题: 在 Singleton 构造函数体执行之前,变量 instance 可能成为非 null 的。 原因: 内...

  • 第03条 用私有构造方法或者枚举类型强化Singleton属性

    单例模式最佳写法1 - 双重校验锁 单例模式最佳写法2 - 静态内部类

  • Kotlin 的单例模式

    Kotlin 的单例模式(5种) Kotlin 的5种单例模式: 饿汉式 懒汉式 线程安全的懒汉式 双重校验锁式 ...

  • Java 常用单例

    一、线程不安全的单例模式 二、线程安全且高效的单例模式 1.双重校验锁 2.静态内部类

  • 单例模式

    单例模式 单例模式简介基本用法Kotlin 不带参Kotlin 带参饿汉式懒汉式双重校验锁静态内部类枚举集合管理问...

  • 枚举来实现单例

    双重校验锁 实现单例: 枚举 实现单例: 上面的双重锁校验的代码很臃肿,是因为大部分代码都是在保证线程安全。为了在...

  • 单列模式的多种实现方式

    懒汉模式 饿汉模式 双重同步锁单例模式 volatile+双重同步锁单例模式 静态的工厂方法 枚举

  • 设计模式(2018.9.28)

    一、单例模式 懒汉模式:1.1 双重校验锁:利用synchronized关键字防止线程冲突。1.2 枚举类:利用枚...

  • EventBus流程和工作原理

    1,注册订阅者 EventBus 的创建getDefault()是一个双重校验锁的单例模式。建造者模式Buil...

  • Android源码中的一种单例实现

    单例模式的实现方式有懒汉,饿汉,双重校验锁,枚举,内部类等等,写法就不全部列举了。Android源码中有一个单例辅...

网友评论

      本文标题:内存无序写入导致单例模式双重校验锁失败

      本文链接:https://www.haomeiwen.com/subject/ayledftx.html