求构建： Java 单例 double-check volatile 关键字的反例。
acr0ss · 2021-07-30 14:57:27 +08:00 · 1760 次点击这是一个创建于 994 天前的主题，其中的信息可能已经有所发展或是发生改变。
单例模式中 Lazy 模式中，使用 double-check 必须使用 volatile 关键字。
❓能否构建一个不使用 volatile 出错的例子？
- 需要在 double-check 的单例基础上修改
- 运行时间长点也无妨
PS： 本人已知 volatile 关键字的特性：
- 内存可见性
- 防止指令重排序
6 条回复 • 2021-08-02 13:55:14 +08:00
 |
1
tougee 2021-07-30 15:18:29 +08:00
https://mthli.xyz/double-checked-locking-singleton/
这个博客有个例子，运行次数够多就行 |
 |
3
securityCoding 2021-07-30 19:46:03 +08:00
java 有时候烦的就是这些玩意 , 像单例的多种写法到底有多少价值
|
 |
4
mreasonyang 2021-07-31 14:23:05 +08:00 via iPhone
实际使用中单例场景很难复现不加 volatile 导致的指令重排问题。但由于总是有概率发生的，所以还是需要加上的
|
 |
5
cubecube 2021-08-02 00:51:29 +08:00  1
你是 M1 的话，可以试试构造一个。intel 的 cpu 的话 double check 单例 没有 volatile 应该是安全的。
之前知乎上回答过，大致原因是 x86 是强一致性的，storestore 不需要额外的 barrier 。x86 处理器只支持 storeload 重排，因此很多 jmm 的可见性，重排问题在 x86 上根本不存在，比如著名的 double check 。 @tougee 这个文章里面测试的是 partial initialize，还不算 double check |
 |
6
ztcaoll222 2021-08-02 13:55:14 +08:00
除非真的需要 lazy，不然一律用枚举实现，其他的只要用反射都能破解
|
Select Language