为什么单例对象必须使用 volatile 修饰 ?

面试中如果问到单例模式,最典型就是 DCL(双重效验锁)

下面来看一下懒汉模式中的双重效验锁代码:

public class SingletonLazy {
    private static volatile SingletonLazy instance = null;
    //构造方法设为私有(保证单例)
    private SingletonLazy() { };
    //需要用的时候才实例
    public static SingletonLazy getInstance() {
        //使用双重 if 判定, 降低锁竞争的频率
        if(instance == null) {
            synchronized (instance) {
                // 把读和写打包成原子操作
                if(instance == null) { // 读
                    instance = new SingletonLazy(); // 写
                }
            }
        }
        return instance;
    }
}

对于 " instance = new SingletonLazy() " 这一行代码来说,它是由三条机器指令组成的:

  1. 创建内存空间
  2. 在内存空间中初始化 SingletonLazy 对象
  3. 将内存地址赋值给 instance 对象(执行这一条指令,instance 就不为 null 了)

【正常情况】  如果这三条机器指令是从上往下的顺序执行,那么就不存在问题。

【异常情况】  在不加 volatile 的情况下,编译器/JVM 为了加快程序执行速度,就会做出优化操作,它会调换 2,3 的执行顺序,那么调换顺序后,在多线程情况下就会出现问题,这个问题也叫做指令重排序。

具体是怎么出现问题的 ??

        多线程情况下,当线程 1 执行了 1,3 指令时, 还没来得及执行指令 2,此时线程 2 执行到这个代码了,因为线程 1 执行了指令 3,所以此时 instance 不为 null,那么线程 2 在经过第一个 if 条件判断时,就会返回 false,那么后面的代码就都不执行了,直接就返回 instance 对象了。但是此时的 instance 对象并没有完全实例化,那么线程 2 得到的 instance 就是一个不完整的对象,从而导致程序执行出错。这就是为什么单例对象必须使用 volatile 修饰的原因。

        volatile 还有一个作用就是防止内存可见性,它可以保证多个线程在操作同一个变量时,始终可以读到最新的数据,至于什么是内存可见性,volatile 如何应用的,请看这篇文章 - 线程安全问题 的 4.2 部分。

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
### 回答1: 除了可以修饰变量之外,`volatile` 还可以修饰以下内容: 1. 函数参数:修饰函数参数时,它表示该参数在函数内部可能会被修改,并且这种修改可能会影响函数外部的其他变量。 2. 指针:修饰指针时,它表示该指针所指向的内存可能会被其他程序或硬件设备修改,因此每次访问该指针所指向的内存时都需要重新读取。 3. 结构体和联合体成员:修饰结构体和联合体成员时,它表示该成员可能会被其他程序或硬件设备修改,因此每次访问该成员时都需要重新读取。 总之,`volatile` 用于修饰那些可能会被意外修改的变量,以确保程序能够正确地访问它们。 ### 回答2: 除了可以修饰变量,volatile还可以修饰线程。当一个线程访问一个volatile修饰的变量时,它会从共享内存中读取该变量的最新值;当一个线程修改了一个volatile变量的值时,它会立即写入到共享内存中,而不是写入线程的本地内存中。这样可以保证线程之间对该变量的读写操作是可见的。 使用volatile修饰线程变量可以保证线程对变量的读写操作是原子的。在多线程环境下,当多个线程同时对一个volatile变量进行写操作时,JVM会强制每个线程都从共享内存中读取该变量的最新值,然后进行写操作,这样就避免了多个线程同时写入线程的本地内存导致的数据不一致问题。 此外,volatile也可以修饰Java中的单例模式。在使用volatile修饰单例模式中,当多个线程同时访问该单例对象时,可以保证每个线程都能获取到最新的单例对象,避免由于多线程环境下的竞争导致的创建多个实例对象的问题。 总的来说,volatile修饰变量可以保证多线程环境下对变量的读写操作的可见性和原子性,而volatile修饰单例模式可以避免多线程环境下创建多个实例对象的问题。 ### 回答3: 在Java中,`volatile`关键字除了可以修饰变量外,还可以修饰其他类型的实体,如方法和字段。 1. 修饰方法:当一个方法被`volatile`修饰时,它表示该方法是一个"易变方法",在多线程环境下的调用不会被线程缓存或者编译器优化所影响。这可以保证方法的调用结果的准确性和可见性,特别是当多个线程同时调用该方法时,能够保证线程之间的同步。 2. 修饰字段:当一个字段被`volatile`修饰时,它表示该字段是一个"易变字段"。在多线程环境下,`volatile`字段的读写操作具有可见性,并且禁止了编译器对它进行优化。每次读取`volatile`字段时,都会从内存中重新载,确保对其他线程的修改是可见的。同时,在写入`volatile`字段时,会立即将结果刷新到主内存中,保证其他线程读取到最新的值。 总的来说,`volatile`关键字的作用是为了保证真正的多线程数据共享的正确性和可见性。通过将变量、方法或字段声明为`volatile`,可以防止编译器优化和线程缓存的影响,从而保证多个线程之间的操作能够正确地同步。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Master_hl

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值