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