Java单例模式双重校验锁为啥要用volatile修饰

ゞ浴缸里的玫瑰 2021-09-25 01:40 348阅读 0赞

public class Single {
    
    private static volatile Single single;
    
    public static Single getSingle(){
    
    if (single==null){
    
    synchronized (Single.class){
    
    if (single==null){
    
    single=new Single();
    
    }
    
    }
    
    }
    
    return single;
    
    }
    
    }

**因为如果不用volatile修饰的话，在 single=new Single();会发生指令重排序，**

Single的代码可以分解为三个部分

1.  分配对象的内存空间
2.  初始化对象
3.  设置single指向内存空间

在JIT里，可能会将2与3进行重排序，在单线程里这里并不会发生什么问题，但是在多线程情况下，会出现下面的问题

<table> 
 <tbody> 
 <tr> 
 <td> 时间 </td> 
 <td> 线程A </td> 
 <td> 线程B </td> 
 </tr> 
 <tr> 
 <td> t1 </td> 
 <td> A1：分配对象的内存空间 </td> 
 <td>&nbsp;</td> 
 </tr> 
 <tr> 
 <td> t2 </td> 
 <td> A3：设置single指向内存空间 </td> 
 <td>&nbsp;</td> 
 </tr> 
 <tr> 
 <td> t3 </td> 
 <td>&nbsp;</td> 
 <td> B1:判断single是否为空 </td> 
 </tr> 
 <tr> 
 <td> t4 </td> 
 <td>&nbsp;</td> 
 <td> B2:由于single不为null，线程B将访问single引用的对象 </td> 
 </tr> 
 <tr> 
 <td> t5 </td> 
 <td> A2：初始化该对象 </td> 
 <td>&nbsp;</td> 
 </tr> 
 <tr> 
 <td> t6 </td> 
 <td> A4：访问single引用的对象 </td> 
 <td>&nbsp;</td> 
 </tr> 
 </tbody> 
</table>

**A2与A3重排序后，会让线程B在B1处判断出single不为null，线程B接下来将访问的single引用的对象是一个未初始化的对象。**

**所以用volatile修饰 single来就是禁止2与3的重排序，来保证线程安全的延迟初始化。**

转自：[https://blog.csdn.net/OrangeRawNorthland/article/details/83788412][https_blog.csdn.net_OrangeRawNorthland_article_details_83788412]

[Java volatile作用][Java volatile]

[https_blog.csdn.net_OrangeRawNorthland_article_details_83788412]: https://blog.csdn.net/OrangeRawNorthland/article/details/83788412
[Java volatile]: https://programskills.blog.csdn.net/article/details/72759403