V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
linxiaoziruo
V2EX  ›  问与答

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

  •  
  •   linxiaoziruo · 2020-06-01 11:29:13 +08:00 · 2515 次点击
    这是一个创建于 1618 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

    9 条回复    2020-06-01 15:10:07 +08:00
    sagaxu
        1
    sagaxu  
       2020-06-01 11:41:51 +08:00 via Android
    volatile 不保证原子性
    linxiaoziruo
        2
    linxiaoziruo  
    OP
       2020-06-01 12:17:24 +08:00   ❤️ 1
    @sagaxu java 编程思想里面收 long 前面加上 volatile 就保证了 long 的原子性。书的第 680 页,“原子性与易变性”这一章写的。
    mengzhexin
        3
    mengzhexin  
       2020-06-01 12:36:21 +08:00 via Android
    只保证可见性吧。java 虚拟机规范也没有要求 long 原子性,但是 64 位虚拟机下可以一步到位来保证
    btnokami
        4
    btnokami  
       2020-06-01 12:41:22 +08:00
    volatile 只能保证 read 和 write 是 atomic 的,因为 read 和 write 本身是单一操作,所以只要保证所有 thread 都看到同一结果自然能保证 read 和 write 是 atomic 的。
    StephenDev
        5
    StephenDev  
       2020-06-01 13:01:12 +08:00
    根据《深入理解 Java 虚拟机 JVM 高级特性与最佳实践》这本书中的讲解
    volatile 只保证可见性和部分有序性(禁止被修饰的语句被指令重排优化),不保证原子性。
    long 和 double 由于具有特殊性,绝大部分虚拟机会进行特殊实现,保证原子性。
    Semaphore
        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
    linxiaoziruo
        7
    linxiaoziruo  
    OP
       2020-06-01 14:46:57 +08:00
    @Semaphore 你最棒了
    sghwn2
        8
    sghwn2  
       2020-06-01 14:54:34 +08:00
    volatile 和 atomic 没有半毛钱关系,就算有,也是特别厂家的编译器搞的鬼。
    tairan2006
        9
    tairan2006  
       2020-06-01 15:10:07 +08:00
    直接用 atomic,volatile 这种东西应该尽量不要使用…
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3118 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 14:01 · PVG 22:01 · LAX 06:01 · JFK 09:01
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.