volatile 的内存屏障怎么实现的 long 和 double 的原子性的呢?

2020-06-01 11:29:13 +08:00
 linxiaoziruo

我知道 long 是 64 位的,在 32 位的操作系统上不管对 long 变量读取还是写入都需要拆成两个 32 位的操作,如果是多线程的场景下,就会导致数据读取和写入不正常。 我知道 vcolatile 可以通过内存屏障解决变量在 CPU 缓存中不可见性的问题,怎么解决原子性的呢?

2531 次点击
所在节点    问与答
9 条回复
sagaxu
2020-06-01 11:41:51 +08:00
volatile 不保证原子性
linxiaoziruo
2020-06-01 12:17:24 +08:00
@sagaxu java 编程思想里面收 long 前面加上 volatile 就保证了 long 的原子性。书的第 680 页,“原子性与易变性”这一章写的。
mengzhexin
2020-06-01 12:36:21 +08:00
只保证可见性吧。java 虚拟机规范也没有要求 long 原子性,但是 64 位虚拟机下可以一步到位来保证
btnokami
2020-06-01 12:41:22 +08:00
volatile 只能保证 read 和 write 是 atomic 的,因为 read 和 write 本身是单一操作,所以只要保证所有 thread 都看到同一结果自然能保证 read 和 write 是 atomic 的。
StephenDev
2020-06-01 13:01:12 +08:00
根据《深入理解 Java 虚拟机 JVM 高级特性与最佳实践》这本书中的讲解
volatile 只保证可见性和部分有序性(禁止被修饰的语句被指令重排优化),不保证原子性。
long 和 double 由于具有特殊性,绝大部分虚拟机会进行特殊实现,保证原子性。
Semaphore
2020-06-01 14:15:56 +08:00
巧了我之前刚研究过,和内存屏障没有关系,而是虚拟机按照规定将 volatile 修饰的 long 和 double 读写用原子指令实现了

https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.7
linxiaoziruo
2020-06-01 14:46:57 +08:00
@Semaphore 你最棒了
sghwn2
2020-06-01 14:54:34 +08:00
volatile 和 atomic 没有半毛钱关系,就算有,也是特别厂家的编译器搞的鬼。
tairan2006
2020-06-01 15:10:07 +08:00
直接用 atomic,volatile 这种东西应该尽量不要使用…

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/677420

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX