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

问题:

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;   
    }  
}
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,053评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,527评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,779评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,685评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,699评论 5 366
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,609评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,989评论 3 396
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,654评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,890评论 1 298
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,634评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,716评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,394评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,976评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,950评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,191评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,849评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,458评论 2 342

推荐阅读更多精彩内容

  • 从三月份找实习到现在,面了一些公司,挂了不少,但最终还是拿到小米、百度、阿里、京东、新浪、CVTE、乐视家的研发岗...
    时芥蓝阅读 42,170评论 11 349
  • C++和双重检查锁定模式(DCLP)的风险 多线程其实就是指两个任务一前一后或者同时发生。 1 简介 当你在网上搜...
    鲍陈飞阅读 878评论 0 1
  • 前言 本文主要参考 那些年,我们一起写过的“单例模式”。 何为单例模式? 顾名思义,单例模式就是保证一个类仅有一个...
    tandeneck阅读 2,484评论 1 8
  • 搜索镜像 获取镜像 启动xware 查看激活码 去http://yuancheng.xunlei.com 绑定激活码
    wyaoo阅读 4,103评论 1 4
  • 是不是累了太久 疲倦爬上心头 是不是放心不下的事太多 收不住烦恼 那为什么不笑一笑 就算大地满目疮痍 太阳依然闪耀...
    长缨书生阅读 269评论 0 3