求构建： Java 单例 double-check volatile 关键字的反例。

[acr0ss]

单例模式中 Lazy 模式中，使用 double-check 必须使用 volatile 关键字。

❓能否构建一个不使用 volatile 出错的例子？

1. 需要在 double-check 的单例基础上修改
2. 运行时间长点也无妨

PS： 本人已知 volatile 关键字的特性：

1. 内存可见性
2. 防止指令重排序

[tougee]

https://mthli.xyz/double-checked-locking-singleton/
这个博客有个例子，运行次数够多就行

[acr0ss]

@tougee 多谢，我去研究下。

[securityCoding]

java 有时候烦的就是这些玩意 , 像单例的多种写法到底有多少价值

[mreasonyang]

实际使用中单例场景很难复现不加 volatile 导致的指令重排问题。但由于总是有概率发生的，所以还是需要加上的

[cubecube]

你是 M1 的话，可以试试构造一个。intel 的 cpu 的话 double check 单例 没有 volatile 应该是安全的。
之前知乎上回答过，大致原因是
x86 是强一致性的，storestore 不需要额外的 barrier 。x86 处理器只支持 storeload 重排，因此很多 jmm 的可见性，重排问题在 x86 上根本不存在，比如著名的 double check 。

@tougee 这个文章里面测试的是 partial initialize，还不算 double check

[ztcaoll222]

除非真的需要 lazy，不然一律用枚举实现，其他的只要用反射都能破解