在双重检查锁模式中为什么需要使用 volatile 关键字?

最新推荐文章于 2024-08-07 21:07:19 发布

旺仔小馒头~~

最新推荐文章于 2024-08-07 21:07:19 发布

阅读量586

点赞数

分类专栏：设计模式文章标签： java 单例模式 jvm

本文链接：https://blog.csdn.net/qq_43589451/article/details/125629099

版权

在Java中，volatile关键字在双重检查锁模式中用于确保可见性和防止指令重排。由于`singleton = new Singleton()`不是原子操作，可能会导致线程安全问题。当不使用volatile时，初始化步骤的顺序可能会被打乱，使得未完全初始化的对象被其他线程使用，引发错误。volatile的存在禁止了特定的重排序，保证了在多线程环境下正确地初始化单例对象。

摘要由CSDN通过智能技术生成

在java内存模型中，volatile 关键字作用可以是保证可见性或者禁止指令重排。这里是因为 singleton = new Singleton() ，它并非是一个原子操作，事实上，在 JVM 中上述语句至少做了以下这 3 件事：

第一步是给 singleton 分配内存空间；
第二步开始调用 Singleton 的构造函数等，来初始化 singleton；
第三步，将 singleton 对象指向分配的内存空间（执行完这步 singleton 就不是 null 了）。

这里需要留意一下 1-2-3 的顺序，因为存在指令重排序的优化，也就是说第 2 步和第 3 步的顺序是不能保证的，最终的执行顺序，可能是 1-2-3，也有可能是 1-3-2。

如果是 1-3-2，那么在第 3 步执行完以后，singleton 就不是 null 了，可是这时第 2 步并没有执行，singleton 对象未完成初始化，它的属性的值可能不是我们所预期的值。假设此时线程 2 进入 getInstance 方法，由于 singleton 已经不是 null 了，所以会通过第一重检查并直接返回，但其实这时的 singleton 并没有完成初始化，所以使用这个实例的时候会报错，详细流程如下图所示
在这里插入图片描述
线程 1 首先执行新建实例的第一步，也就是分配单例对象的内存空间，由于线程 1 被重排序，所以执行了新建实例的第三步，也就是把 singlet