volatile 的内存屏障怎么实现的 long 和 double 的原子性的呢？
linxiaoziruo · 2020-06-01 11:29:13 +08:00 · 2527 次点击这是一个创建于 1635 天前的主题，其中的信息可能已经有所发展或是发生改变。
我知道 long 是 64 位的，在 32 位的操作系统上不管对 long 变量读取还是写入都需要拆成两个 32 位的操作，如果是多线程的场景下，就会导致数据读取和写入不正常。 我知道 vcolatile 可以通过内存屏障解决变量在 CPU 缓存中不可见性的问题，怎么解决原子性的呢？
 |
1
sagaxu 2020-06-01 11:41:51 +08:00 via Android
volatile 不保证原子性
|
 |
2
linxiaoziruo OP  1
@sagaxu java 编程思想里面收 long 前面加上 volatile 就保证了 long 的原子性。书的第 680 页，“原子性与易变性”这一章写的。
|
 |
3
mengzhexin 2020-06-01 12:36:21 +08:00 via Android
只保证可见性吧。java 虚拟机规范也没有要求 long 原子性，但是 64 位虚拟机下可以一步到位来保证
|
 |
4
btnokami 2020-06-01 12:41:22 +08:00
volatile 只能保证 read 和 write 是 atomic 的，因为 read 和 write 本身是单一操作，所以只要保证所有 thread 都看到同一结果自然能保证 read 和 write 是 atomic 的。
|
 |
5
StephenDev 2020-06-01 13:01:12 +08:00
根据《深入理解 Java 虚拟机 JVM 高级特性与最佳实践》这本书中的讲解
volatile 只保证可见性和部分有序性（禁止被修饰的语句被指令重排优化），不保证原子性。 long 和 double 由于具有特殊性，绝大部分虚拟机会进行特殊实现，保证原子性。 |
 |
6
Semaphore 2020-06-01 14:15:56 +08:00 1
巧了我之前刚研究过，和内存屏障没有关系，而是虚拟机按照规定将 volatile 修饰的 long 和 double 读写用原子指令实现了
https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.7 |
|
7
linxiaoziruo OP @Semaphore 你最棒了
|
 |
8
sghwn2 2020-06-01 14:54:34 +08:00
volatile 和 atomic 没有半毛钱关系，就算有，也是特别厂家的编译器搞的鬼。
|
 |
9
tairan2006 2020-06-01 15:10:07 +08:00
直接用 atomic，volatile 这种东西应该尽量不要使用…
|
Select Language