在上篇文章中我们使用了双重检验锁的方式避免懒汉式单例模式下由于多线程造成的实例被多次创建的问题,但是因为由于JVM为了使得处理器内部的运算单元能充分利用,处理器可能会对输入代码进行乱序执行(Out Of Order Execute)优化,处理器会在计算之后将乱序执行的结果进行重组,保证该结果与顺序执行的结果是一样的,但并不保证程序中各个语句计算的先后顺序与输入的代码顺序一致。
上篇文章的关于双重检验锁的代码是这样的:
public class Singleton{ private static Singleton instance; //构造函数设置为私有使之不能被外界实例化 private Singleton(){ } //获得实例 public static Singleton getInstance(){ if(instance==null){ synchronized(Singleton.class){ if(instance==null){ instance=new Singleton(); } } } return instance; } }
由于乱序执行的优化,导致在程序中执行的过程有时候并不是原子性的,在上面的代码中instance对象的创建就不是原子性的,可以说大部分对象的创建都不是原子性的。
对象的创建的过程是这样的:
1、给Singleton的实例分配内存空间。
2、调用Singleton的构造方法进行构造函数初始化
3、将instance对象指向分配的内存空间(注意到这步instance就非null了)
对于上述创建过程不清楚的可以查看博客地址:http://blog.csdn.net/lingzhou1/article/details/8476709 。但是由JVM的乱序执行上面1、2、3的执行顺序2和3并不一定,可能是1、2、3也可能是1、3、2如果是1、2、3还好说并不会出现什么我问题,但是如是执行的顺序是1、3、2那么这样就比较麻烦了,因为在执行到3的时候对象已经是非null了,所以其线程有可能取到被初始化到一半的对象。
--------------------------------------------我是低调的分割线----------------------------------------------------
说完了为什么双重检验锁因为乱序执行导致多线程下失效的问题,下面介绍一下如何解决这个我问题:
记得刘伟老师在讲课的时候说过使用volatile关键字修饰instance可以强制使之进行有序执行,but why?
volatile关键字到底是什么作用?再看《深入理解Java虚拟机》的时候我特地留意了一下这个问题,从Java内存模型的角度大概是这样说的:
第一:保证被volatile修饰的变量会保证对所有的线程的可见性,这里的“可见性”是指当一条线程修改了这个变量的值,新值对于其他变量是可以立即i得知的。
第二:使用volatile变量的语意是禁止指令重排序优化,普通的变量仅仅会保证该方法的执行过程中所有依赖赋值结果的地方都能获取到正确的结果,而不能保证变量赋值操作顺序与程序代码中的执行顺序一致。
所以我们可以使用volatile来阻止程序的乱序执行,因为volatile会给程序添加内存屏障从而阻止编译器或者处理器对代码的乱序执行,从而使双重检验锁在多线程下具有正确执行。
public class Singleton{ private volatile static Singleton instance; //构造函数设置为私有使之不能被外界实例化 private Singleton(){ } //获得实例 public static Singleton getInstance(){ if(instance==null){ synchronized(Singleton.class){ if(instance==null){ instance=new Singleton(); } } } return instance; } }
但是我们在使用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; } }
上面这种实现方法有没有比使用volatile快?我也不知道哈,希望大神出来给个答案撒。
相关推荐
我们全息地研究二维无序系统的纠缠熵。 特别是,我们针对在紫外线固定点上的共形理论研究了纠缠熵沿着重整化群流的演化,该共形理论在弱的无序状态下被扰动成在红外线固定点上的Lifshitz理论。 通过数值拟合,我们...
6:使用状态模式 观察者模式更好的处理多线程 最初的想法:网络优化开发框架 (移除任务未完成) 网络稳定,系统运行稳定性,大内存消耗稳定,长时间运行稳定性 (旧的系统症结所在) 开启过多线程,导致系统...
无序充电模式下电动汽车对住宅区配电网谐波影响研究.pdf
这里是我很早刚开始学C++时写的一个小小程序, 综合解决了连续输入无限个数据的问题 以及不要求用户按时间的大小输入, 在输入的方面和很自由,只要以0 结尾 最后实现了找出人过河的最短时间和算法
正整数无序分拆算法设计及论证,如果错误请指正。
用无序的顺序表实现一个城市数据库,数据结构课程设计 用无序的顺序表实现一个城市数据库,数据结构课程设计 用无序的顺序表实现一个城市数据库,数据结构课程设计 用无序的顺序表实现一个城市数据库,数据结构课程...
我们在渐近抗De-Sitter(AdS)无序背景下研究探针标量的全息对偶,这是爱因斯坦方程在三个整体维度上的精确解。 与其他在全息术中建模无序的方法不同,我们能够探索振荡或随机源与几何形状之间类似量子波的干涉效应...
[必须解决实体经济的无序竞争]如何解决实体经济困难.docx
此文档主要介绍monkey无序测试的基础知识,适用于初学者。
我们有以下核心技术:1) 高精度 无序抓取,大视野(1.4米*1.4米),抓取精度正负0.2mm。2)焊缝轨迹引导;3)双目结构光相机自制,格雷码技术,opencv源代码教学(单独课程);4)线激光相机自制;5)三维高精密...
两个无序的单链表合并成一个有序的单链表,链表长度及数据由用户输入。
电动汽车(EV)无序充电matlab程序及其使用说明文件等,用于电动汽车充电研究
jquery锚链接的无序列表
大学期间的课程设计的数据结构必然涉及合并无序表,希望能帮助大家。
下面小编就为大家带来一篇如何用itertools解决无序排列组合的问题。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
介质层厚度无序对Bragg微腔模式的影响,郑改革,史林兴,采用本征模展开法(EME)结合完全匹配层(PML)边界条件研究了由TiO2和SiO2复合膜结构组成的平面光子晶体Bragg微腔的模式特性,分析了介质
图片实物无序和有序加载,讲有序和无序加载js做成插件形式。
随着电动汽车的普及,将电动汽车作为一种移动的储能设备用于电网的优化控制,大量电动汽车的无序充电功率对电网控制具有很大的影响,因此,用MATLAB编程,研究其负荷规律是十分不要的
在无序单链表中查找特定的值pointer on c第十二章编程练习2,vc6.0