单例模式使用synchronized,为什么同时使用volatile?
2017-03-30 00:00
393 查看
摘要: JVM原子性 和重排序的问题
或者许多的朋友在使用单例模式中会学到双重检查加锁(double-checked locking)的应用。
但同时也会产生一个问题:为什么要用到volatile。这里不妨先看看一牛人对于volatile关键字的解读。
作者:海子
出处:http://www.cnblogs.com/dolphin0520/p/3920373.html
看完volatile之后,你就可以对于指令重排序有进一步的了解后,尤其是volatile可以保证即使Java虚拟机对代码执行了指令重排序,也会保证它的正确性。
然后我们来指出下为什么用了synchronized还要用volatile,以及可能出现的指令重排序影响双重检查加锁(double-checked locking)的正确性。
可以看以下例子。
具体来说就是synchronized虽然保证了原子性,但却没有保证指令重排序的正确性,会出现A线程执行初始化,但可能因为构造函数里面的操作太多了,所以A线程的uniqueInstance实例还没有造出来,但已经被赋值了。而B线程这时过来了,错以为uniqueInstance已经被实例化出来,一用才发现uniqueInstance尚未被初始化。要知道我们的线程虽然可以保证原子性,但程序可能是在多核CPU上执行。
或者许多的朋友在使用单例模式中会学到双重检查加锁(double-checked locking)的应用。
public class Singleton { private volatile static Singleton uniqueInstance; private Singleton(){} public static Singleton getInstance(){ if(uniqueInstance == null){ synchronized(Singleton.class){ if(uniqueInstance == null){ uniqueInstance = new Singleton(); } } } return uniqueInstance; } }
但同时也会产生一个问题:为什么要用到volatile。这里不妨先看看一牛人对于volatile关键字的解读。
作者:海子
出处:http://www.cnblogs.com/dolphin0520/p/3920373.html
看完volatile之后,你就可以对于指令重排序有进一步的了解后,尤其是volatile可以保证即使Java虚拟机对代码执行了指令重排序,也会保证它的正确性。
然后我们来指出下为什么用了synchronized还要用volatile,以及可能出现的指令重排序影响双重检查加锁(double-checked locking)的正确性。
可以看以下例子。
public class Singleton { private volatile static Singleton uniqueInstance; private Singleton(){} public static Singleton getInstance(){ if(uniqueInstance == null){ // B线程检测到uniqueInstance不为空 synchronized(Singleton.class){ if(uniqueInstance == null){ uniqueInstance = new Singleton(); // A线程被指令重排了,刚好先赋值了;但还没执行完构造函数。 } } } return uniqueInstance;// 后面B线程执行时将引发:对象尚未初始化错误。 } }
具体来说就是synchronized虽然保证了原子性,但却没有保证指令重排序的正确性,会出现A线程执行初始化,但可能因为构造函数里面的操作太多了,所以A线程的uniqueInstance实例还没有造出来,但已经被赋值了。而B线程这时过来了,错以为uniqueInstance已经被实例化出来,一用才发现uniqueInstance尚未被初始化。要知道我们的线程虽然可以保证原子性,但程序可能是在多核CPU上执行。
相关文章推荐
- 为什么vector需要和synchronized同时使用
- 为什么使用设计模式——从Singleton模式谈起
- 为什么使用 chain of responsibility模式
- 为什么不应该使用“volatile”类型
- ZT 为什么pthread_cond_t要和pthread_mutex_t同时使用 || pthread/Linux多线程编程
- 为什么要使用代理模式?
- 为什么要同时使用和&符号(c++) 转载
- java二十三种设计模式----(二)单例设计模式 :“懒汉式”与“饿汉式”的区别 为什么通常使用饿汉式
- 数据库系统为什么使用三级模式结构
- 为什么要在JAVA工厂模式中使用静态方法
- 为什么要在JAVA工厂模式中使用静态方法
- 为什么使用iterator模式
- 为什么要使用设计模式
- 为什么要使用设计模式?
- 为什么同时使用commons-logging和Log4j
- 结合使用 volatile 和 synchronized 实现 “开销较低的读-写锁”
- 设计模式(1):为什么使用设计模式
- 为什么不应该使用“volatile”类型
- 多线程异步编程(2):创建多个线程执行任务,同时更新进度条,使用观察者模式,利用事件通知界面更新。移除对Form的引用,彻底解除界面与逻辑的耦合
- synchronized和volatile的使用