侧边栏壁纸
  • 累计撰写 119 篇文章
  • 累计创建 281 个标签
  • 累计收到 11 条评论
标签搜索
隐藏侧边栏

指令重排造成双重检验方式的单例模型线程不安全问题

骐骏
2019-05-02 / 0 评论 / 0 点赞 / 79 阅读 / 0 字 / 正在检测是否收录...
温馨提示:
本文最后更新于 2019-05-02,若内容或图片失效,请留言反馈。部分素材来自网络,若不小心影响到您的利益,请联系我们删除。
要不断打磨,技术才会不断进步

之前写过单例模式的几种实现方式,原文链接http://www.full-stacker.com/archives/256

之前犯了个严重的错误,一直以为双重判断方式的实现是线程安全的,但真实却不是这样的。。。。

先看下双重判断方式的实现代码:

package com.fullstacker.study.designpattern.singleton;

/**
 * 双重判断法
 *
 * @author xingguishuai
 * @create 2017-03-27-16:06
 **/
public class DubbleSingleton {
    private static DubbleSingleton intance ;

    private DubbleSingleton(){

    }
    /**
     * <p>功能描述:判断是否存在存在实例,如果不存在则,创建对象
     * 此时,否则返回实例,为线程不安全</p>
     * @return
     * @param
     * @author xingguishuai
     * @Date 2017-03-27 15:59
     * @since 1.0
     */
    public static DubbleSingleton getIntance(){
        //第一次检验是否为null
        if(null == intance){
            try {
                //模拟生成对象前准备
                Thread.sleep(2000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            //同步代码块
            synchronized (DubbleSingleton.class){
                //创建对象前,再次校验是否为null
                if(null == intance){
                    intance = new DubbleSingleton();  // 此处有可能出现指令重排
                }
            }
        }
        return intance;
    }

}

java在创建的对象的时候分为以下三个步骤:

  1. 分配对象内存(在对象不存在的时候提前占用内存)
  2. 调用构造方法创建对象
  3. 将创建出来的对象指向第一步中分配的内存

但是在程序运行期间上面的步骤可能会出现指令重排,造成创建对象的步骤颠倒,如调用对象构造器创建对象和将对象指向分配的内存步骤颠倒,指令执行顺序就会变为:

  1. 分配对象内存(在对象不存在的时候提前占用内存)
  2. 将创建出来的对象指向第一步中分配的内存
  3. 调用构造方法创建对象

在这种情况下,如果两个线程要获得该单例对象就会出现错误。错误情况如下:

线程A正在创建对象,但发生了上面所说的指令重排,instance先指向了分配的地址。

此时线程B,走到了第一次判断的代码,结果发现instance不为null,所以直接返回了instance,

但由于此时线程A并没有执行对象的构造方法,所以此时并不存在该单例对象。所以程序出现错误

为了解决这个错误就要禁止java程序的指令重排,所以只需要用volatile关键修饰instance变量即可。

修改后的代码,如下:

package com.fullstacker.study.designpattern.singleton;

/**
 * 双重判断法
 *
 * @author xingguishuai
 * @create 2017-03-27-16:06
 **/
public class DubbleSingleton {
    private static volatile  DubbleSingleton intance ;  // 利用volatile修饰instance变量,禁止指令重排

    private DubbleSingleton(){

    }
    /**
     * <p>功能描述:判断是否存在存在实例,如果不存在则,创建对象
     * 此时,否则返回实例,为线程不安全</p>
     * @return
     * @param
     * @author xingguishuai
     * @Date 2017-03-27 15:59
     * @since 1.0
     */
    public static DubbleSingleton getIntance(){
        //第一次检验是否为null
        if(null == intance){
            try {
                //模拟生成对象前准备
                Thread.sleep(2000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            //同步代码块
            synchronized (DubbleSingleton.class){
                //创建对象前,再次校验是否为null
                if(null == intance){
                    intance = new DubbleSingleton();
                }
            }
        }
        return intance;
    }

}

 

 

0

评论区