关于双重检查成例的问题

2006-04-11 12:38:43 349 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

项目中用的双重检查锁定是怎么回事文章目录前言一、定义的Foo类二、 instance = new Foo()创建对象的步骤三、非线程安全的延迟初始化对象3.1、可能发生两种情况四、使用synchronized保证线程安全的延迟初始化对象五、为啥要引入双重检查锁定六、线程不安全的双重检查锁定实现延迟初始化对象七、基于volatile的解决方案八、基于类初始化的解决方案8.1、提前初始化8.1.1、提前初始化的代码实现8.1.2、验证类初始化时静态实例被初始化8.2、基于提前初始化改造的类的延迟初始化九、两种解决方案的对比前言开心一笑阅读详情

已经知道，对于java单例模式，如下的代码
if(instance==null){
synchronized(Singleton.class){
if(instance==null){
instance=new Singleton();
}
}
}
return instance;
是不成立或者说是不安全的，但是为什么
if(instance==null){
synchronized(Singleton.class){
if(instance==null){
Singleton tmp=new Singleton();
instance=tmp;
}
}
}
return instance;
也不行呢？

...全文

基于FPGA与红外成像的眼动追踪系统设计与实现（教学向）本文详细介绍了基于FPGA与红外成像的眼动追踪系统设计与实现。通过红外摄像头采集图像，利用FPGA进行实时图像处理和红外瞳孔追踪，结合Verilog编程实现多目标检测与瞳孔定位。该系统适用于嵌入式视觉教学，展示了硬件搭建、算法优化及实时显示的完整流程。阅读详情

zhakeer

Java 51,407 成员 86,128 内容

+ 关注 + 加入社区

切换为时间正序

zhakeer 2006-04-14

打赏
举报

首先感谢各位的答复，但是你们的回答并不能解决我的疑惑，还请达人们给出正确的答案

gogon 2006-04-13

打赏
举报

DCL 在1.4或者以前的版本里是不成立的.因为那时jvm的实现里,对于代码 MyClass mine=new MyClass()执行时,在完成new MyClass()的初始化前,就先将mine 赋予了指向即将创造的那个对象的地址.这样就可能导致调用尚未初始化的对象而导致的不可预期错误.
不过如果你使用的5.0的话,就不用担心了.这个错误已经被纠正了

水晶平衡木 2006-04-12

打赏
举报

嗯，我认为后者没有什么不行的（除非instance=tmp;操作不是原子的，中间还可能生出什么异端来，^_^），支持一下。

zhakeer 2006-04-11

打赏
举报

to classjava(原始野人) ( ) 信誉：105
如果仅仅是你说的3个前提
Singleton tmp=new Singleton();
instance=tmp;
就已经可以避免这种情况，但为什么还是说双重检查成例是不成立的呢？

classjava 2006-04-11

打赏
举报

前提1：Java 使得它的每个线程使用独立的处理器和一个私有的内存空间，每一个线程的私有内存都会与主存交互与同步。synchronized 块会建立一个内存壁垒(memory barrier) ,当进入synchronized块时会建立一个read barrier ：它会使得Thread的本地内存无效，并且从主存中读取所有的变量的值。当退出一个synchronized块时，它会确保将对所有本地内存的改变都同步到主存中。并且synchronized也会保证这段代码是原子操作。
前提2：假设一个new操作需要以下两个步骤（也许更多）1.分配相应内存2.调用构造函数。
前提3：我们不能在书写我们的代码时预计指令真正的执行顺序，他可能由于编译器，处理器和缓存机制的干预而变化。规范规定：编译器编译器，处理器和缓存机制可以任意改变指令顺序，只要不影响结果的值。
实例
public Resource getResource(){
if (resource == null){ // a:
synchronized(this){
if (resource==null){
resource = new Resource(); //b:
}
}
}return resource;//c
}

解释
有了以上的前提，我们可以讨论DCL是如何导致线程不安全的。假设：一个线程t1进入getResource()方法，并且执行到b处。这时另一个线程t2进入。当它在a处时t1刚好进行完分配内存的工作，而没有调用构造函数。这时T2会认为resource不为null因而直接来到c处，得到了一个错误的resource实例。显而易见会导致错误。

classjava 2006-04-11

打赏
举报

http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html

zhakeer 2006-04-11

打赏
举报

to icy_csdn() ( ) 信誉：110

你说的问题我是知道的，我问的是为什么
synchronized(Singleton.class){
if(instance==null){
Singleton tmp=new Singleton();
instance=tmp;
}
}
也不行

icy_csdn 2006-04-11

打赏
举报

// Singleton instance
private static Singleton instance = null;

public static Singleton getInstance(){
/*
* 双重检验模式，内嵌同步机制。这里是第一重检验。
*/
if (instance == null) {
/*
* 同一时刻只有一个线程进入。
*/
synchronized (SSOTokenManager.class) {
/*
* 如果第二个线程在这里等待，它将发现instance已经被初始化，
* 因此不再会重新初始化instance变量，这就是双重检验。
*/

if (instance == null) {
/*
* 这里是关键，lazy实例化singleton变量。
*/
instance = new Singleton();
}
}
}
return (instance);
}

icy_csdn 2006-04-11

打赏
举报

// Singleton instance
private static Singleton instance = null;

public static Singleton getInstance(){
/*
* 双重检验模式，内嵌同步机制。这里是第一重检验。
*/
if (instance == null) {
/*
* 同一时刻只有一个线程进入。
*/
synchronized (Singleton.class) {
/*
* 如果第二个线程在这里等待，它将发现instance已经被初始化，
* 因此不再会重新初始化instance变量，这就是双重检验。
*/

if (instance == null) {
/*
* 这里是关键，lazy实例化singleton变量。
*/
instance = new Singleton();
}
}
}
return (instance);
}

关于双重检查成例的问题

相关推荐