Java 双锁 syn 为什么不加 volatile 就是非绝对安全的？

指令重排，保证命令的原子性

public class Singleton {
private static Singleton uniqueSingleton;

private Singleton() {
}

public Singleton getInstance() {
if (null == uniqueSingleton) {
synchronized (Singleton.class) {
if (null == uniqueSingleton) {
uniqueSingleton = new Singleton(); // error
}
}
}
return uniqueSingleton;
}
}

第一次 null 检查并没有在 syn 只内，所以线程 2 会访问到线程 1 未初始化完全的对象。

老哥，是这样如果是 1 额我这个顺序、那么 3 执行完之后、这个 instance 就不是 null 了、那么这样在这一瞬间就有可能被别的线程取走这个 instance、但是这个 instance 还是空的、会爆 npe

public static Test getInstance() {
if (instance == null) {
synchronized (Test.class) {
if (instance == null) {
instance = new Test();
}
所以这个 instance 必须 volatile

多年前看到一个解释(中文博客看到的,可能不正确)

DCL 安全问题的根源是, 初始化内存后 Object 就不为 null, 但是 Object 中的 Field 仍旧未被分配值. 此时其他线程就会判断 Object != null. 那么后续拿到的 field 就是未分配值的 field.

加了 volatile 之后, 就会 lock 住这个变量所在的缓存(可能 lock 总线, 也可能 lock cache line), 导致其他 cpu 不能访问. 需要等到更新 wirte 完毕, 才能读取.

@lurenw 将某个对象声明为 volatile 之后、在这个对象被修改之后会立即写回、并将其他线程中所获得的该对象缓存全部宣布失效、强制所有的其他线程重新获取新的数值

volatile 保证可见性

可以看这个 https://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html

主要还是指令重排的问题

@Duluku emmm... 你是要纠正我么, 你说的这个只是表现, 底层就是声言 LOCK, 锁 cache line 或 锁 bus.

@sudden 仅有当执行完 1 2 3 之后才会释放掉 Syn 不是吗？没初始化完成的话，线程 2 怎么进入 Syn 内的呢？

@lurenw 难道 new instance 这个过程没有被完全执行完毕，Syn 就会被释放掉吗？

在不正同步你看到象引用 (!= null) 不保任何事

Java Concurrency in Practice 本唯一一次出 "infamous" 就是模式什

前 3 楼说的对
@monetto 没初始化完成的话，线程 2 怎么进入 Syn 内的呢？没初始化的话线程 2 不需要进入 Sync 里啊，直接 return uniqueSingleton 了

@monetto 对象本身的内存已经分配，此时对象就不是 null 了，所以在没有用 volatile 禁止指令重排时，其他线程走到第一个 if 判断后将认为对象不为空而不进入 sync 逻辑进而直接获取到对象。但此时对象的属性等数据可能还没初始化完成，这就会导致操作对象属性等数据时出现 NPE 或不符合预期的数据

学习了

@Kahnn
@mreasonyang
@momocraft
谢谢大家，懂了