DCL实现单例要不要加volatile修饰

太过爱你忘了你带给我的痛 2021-09-24 18:38 250阅读 0赞

单例模式的DCL（Double-checked locking 双重校验锁定模式）写法：

public class DclSingleton {
    
        private static volatile DclSingleton dclSingleton = null;
    
        public static DclSingleton getDclSingleton(){
            if(dclSingleton == null){
                synchronized (DclSingleton.class){
                    if(dclSingleton == null){
                        dclSingleton = new DclSingleton();
                    }
                }
            }
            return dclSingleton;
        }
    }

可以看到加了两个dclSingleton == null的判断，主要是为了提高效率，如果最外面的dclSingleton == null不要的话，每次获取对象的时候都需要进行加锁操作，比较耗时间，因为只需要第一个获取锁的创建完对象，后面就不需要在进加锁的方法里了，大大提高效率。  
  
但是有个问题，**我们的声明dclSingleton要不要加volatile修饰呢？答案是肯定需要，**要明白为什么，首选需要明白对象的创建过程。

public class ObjTest {
        public static void main(String[] args) {
            Object object = new Object();
        }
    }

运行这个类，然后使用javap -c  ObjTest.class 命令查看生成的字节码指令。  
![20200928225700676.png][]  
可以看到对象的创建并非原子操作，new 出一个对象，简要的概括可以分为三步：  
1.在堆上分配一块内存区域；  
2.对象数据初始化；  
3.将符号引用，指向堆内的实际内存地址   
  
而指令4和7会发生指令重排，在多线程中如果不加volatile修饰，如果发生指令重排，可以能会使用到**半初始化对象**，也就是说假如我第一个线程刚把对象创建完，里面的变量值还没初始化，只是赋了默认值，这时第二个线程在判断dclSingleton不等于空时，获取到的变量值可能是默认值，而不是我要设置的初始值。所以要加volatile修饰，禁止指令重排。需要等对象实例化完毕，建立了完整关系。

[20200928225700676.png]: /images/20210923/eabf36c2495843fc8e503dbbb9731374.png