对Java单例模式 volatile关键字作用的理解

本文主要介绍Java单例模式,这是程序设计常用且简单便捷的设计模式。重点阐述了经典写法中的两个关键:一是初始化实例时采用两重判断对类上锁,减少加锁开销并避免重复初始化;二是静态变量用volatile修饰,防止指令重排,避免返回未初始化对象。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

  单例模式是程序设计中经常用到的,简单便捷的设计模式,也是很多程序猿对设计模式入门的第一节课。其中最经典的一种写法是:

class Singleton {
    private volatile static Singleton instance;//volatile关键字防止指令重排
    private Singleton(){}
    public static Singleton getInstance() {
        if ( instance == null ) { //一重判断
            synchronized (Singleton.class) {//对Singleton.class上锁
                if ( instance == null ) {//二重判断
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

  其中有两个关键的地方:1,初始化instance实例的时候,采用两重判断对Singleton.class上锁。

             2,静态变量instance使用了volatile关键字进行修饰。

  第一个问题相对比较好理解  

        if ( instance == null ) { //一重判断
            synchronized (Singleton.class) {//对Singleton.class上锁
                if ( instance == null ) {//二重判断
                    instance = new Singleton();
                }
            }
        }

  

  sychronized关键字锁住Singleton类而不是instance对象,是因为,此时instance为空,加sychronized没有意义。
第一重判断的意义在于:如果instance非空,就跳过了锁的步骤,减少加锁的资源开销。但是由于第一重判断在代码锁之外,如果不同线程同时访问到install==null,会先后阻塞执行代码锁内的内容。所以在代码锁内加第二重判断就很有必要了,避免第一个线程获取实例后,第二个线程获得资源锁又执行了一次instance的初始化,产生两个不同的实例。

  很多人不理解instance实例在声明时加volatile关键字的作用,或者是发现别人这么写了,自己也跟着这么写。对volatile关键字的解释,很多地方只是提了句“当要求使用volatile 声明的变量的值的时候,系统总是重新从它所在的内存读取数据,它可以防止指令重排”,这里不想对这句话进行展开解释,想详细了解可以参考文章
  https://www.cnblogs.com/shan1393/p/8999683.html
  https://www.cnblogs.com/xrq730/p/7048693.html

  instance = new Singleton()看上去只有一句话,但java的初始化成员变量包括内存分配、初始化、返回对象在堆上的引用等一系列操作。对于synchronized代码块内,一条语句完整执行是没有问题的。但如果发生了指令重排,先返回对象在堆上的引用,再进行初始化。对于另一个执行到一重判断的线程来说,由于instance已经指向了堆上的一段内存空间,那么instance就不为空,会将未完成初始化的对象返回给其他函数调用,引发一系列不安全隐患。加了volatile关键字,可以保证返回对象在对上的引用发生在初始化之后,避免了这种情况的发生。这就是单例模式下 instance加volatile关键字的作用。

转载于:https://www.cnblogs.com/acesui/p/9557501.html

### 什么是双重检查锁定中的 `volatile` 关键字及其作用Java 中,`volatile` 是一种特殊的变量修饰符,主要用于多线程环境下的可见性和有序性保障。对于双重检查锁定(Double-Checked Locking, DCL)单例模式而言,`volatile` 的引入解决了因指令重排序而导致的对象“逸出”问题。 #### 1. **可见性** 当多个线程共享同一个变量时,如果没有使用同步机制或者 `volatile`,某个线程对变量的修改可能无法及时被其他线程感知到。这是因为每个线程可能会有自己的本地缓存副本[^1]。通过声明 `instance` 为 `volatile`,可以确保所有线程都能看到最新的值,从而避免某些线程读取到过期数据的情况。 ```java private static volatile Singleton instance = null; ``` 这段代码表明 `instance` 被标记为 `volatile` 后,在任何时刻对其写入的操作都会立即刷新回主内存,并且每次读取都必须从主内存获取最新值[^3]。 --- #### 2. **防止指令重排序** JVM 和 CPU 层面为了提高执行效率,允许对程序语句进行重新排列,只要逻辑上不影响串行结果即可。然而,在创建对象的过程中存在潜在风险: 假设以下伪代码表示了 `new Singleton()` 的过程: ```plaintext memory = allocate(); // 1. 分配对象内存空间 ctorInstance(memory); // 2. 初始化对象 instance = memory; // 3. 设置 instance 指向刚分配的内存地址 ``` 如果发生指令重排序,则可能出现下面这种情况: ```plaintext memory = allocate(); // 1. instance = memory; // 3. (提前暴露未完全初始化的对象) ctorInstance(memory); // 2. ``` 此时另一个线程可能访问到了尚未完成构造函数调用的半成品对象,这显然违反了预期行为[^5]。而加上 `volatile` 就能阻止这种危险的重排现象,强制按照定义顺序依次执行每一步操作。 --- #### 3. **有序性** 除了控制特定字段上的动作外,`happens-before` 原则还规定了一系列规则来维护整体一致性。具体来说,一旦某处设置了带有 `volatile` 特性的变量之后,之前所有的普通写操作都将先于后续对该变量本身的读/写生效;反之亦然——即后面发生的针对此变量的动作不会跑到前面去干扰先前已完成的工作流。 这意味着即使是在复杂的竞争条件下,也能依靠这些约定保持全局状态的一致性而不至于崩溃或陷入死循环等问题之中。 --- ### 结合实际案例分析 考虑典型实现方式如下所示: ```java public class Singleton { private static volatile Singleton instance; private Singleton() {} public static Singleton getInstance() { if (instance == null) { // 第一次检查 synchronized (Singleton.class) { if (instance == null) { // 第二次检查 instance = new Singleton(); } } } return instance; } } ``` 这里的关键在于第三步赋值前后的屏障设置使得整个流程更加稳健可靠。假如缺少这个属性限定的话,就有可能因为上述提到的各种原因造成不可预料的结果甚至系统错误。 --- ### 总结 综上所述,`volatile` 在双重检查锁定单例模式里的主要贡献体现在三个方面:增强跨处理器间通信的有效性(也就是所谓的"可见性")、抑制不必要的编译器优化带来的副作用以及维持必要的因果关系链条以便构建更健壮的应用架构体系结构之上[^3]。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值