V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
zpxshl
V2EX  ›  Java

关于 volatile 与数组元素可见性的疑惑请教

  •  
  •   zpxshl · 2021-02-09 12:00:58 +08:00 · 1860 次点击
    这是一个创建于 1143 天前的主题,其中的信息可能已经有所发展或是发生改变。

    网上很多文章指出 volatile 修饰数组,只会给数组本身的引用带来可见性,并不会给数组元素带来可见性。 但数组的数据是存在堆上的。 堆上的数据只有一份,不存在可见性问题呀。 难道说,堆上的数据也可能被缓存?

    10 条回复    2021-02-09 16:31:47 +08:00
    tachikomachann
        1
    tachikomachann  
       2021-02-09 12:09:26 +08:00 via Android   ❤️ 1
    Memory Barriers/Fences 是底层机制,跟对象是不是存在堆上应该没关系吧?
    cubecube
        2
    cubecube  
       2021-02-09 12:12:11 +08:00
    L3 非独占
    theOneMe
        3
    theOneMe  
       2021-02-09 13:04:20 +08:00
    如果同步的当然没啥问题。但是多线程的时候,多个线程会同时取到一个值,这时候执行的如果执行累加,或者其他计算,就会导致 相互覆盖结果。
    从结果上来说 也可以将其理解为 可见性问题
    Jooooooooo
        4
    Jooooooooo  
       2021-02-09 13:11:13 +08:00   ❤️ 1
    因为计算最终是在 cpu 上, 数组里的东西拿到堆上去计算要是不 volatile 可能会导致其它核看不见这个值.

    主内存的数据都是只有一份的, 只不过数据真正做变更的时候都不是在内存里
    Vedar
        5
    Vedar  
       2021-02-09 13:38:58 +08:00   ❤️ 1
    肯定要 要不然每次访问数组内容还要去主存去读取那得多慢
    yamasa
        6
    yamasa  
       2021-02-09 14:16:34 +08:00   ❤️ 1
    数组元素没有 volatile 语义,对它的读写就未引入 mem barrier,其他 cpu 无法及时感知 cache line 失效,也就导致了可见性问题。没有引入屏障的数据刷新延时是无法预估的,甚至根据你写的代码,被 jit 激进编译优化为其他 thread 读了一次之后再也不读也是可能的。
    zpxshl
        7
    zpxshl  
    OP
       2021-02-09 14:46:53 +08:00
    @tachikomachann @Vedar @Jooooooooo 感谢,我之前也不知道为什么会有,“堆上的内存只有一份”的理解,仔细想想这个理解漏洞百出
    l8g
        8
    l8g  
       2021-02-09 14:48:52 +08:00
    你本来理解的会被缓存的数据是有哪些?
    zpxshl
        9
    zpxshl  
    OP
       2021-02-09 14:57:44 +08:00
    @l8g 我本来以为只有虚拟机栈的东西会被缓存
    hxndg
        10
    hxndg  
       2021-02-09 16:31:47 +08:00   ❤️ 1
    虽然不是很懂 java,因为 java 的 volatile 和 C/C++不一样。。。
    不过你这个想法很明显有问题:堆上的数据和可见性是没有直接关系的。

    malloc 的东西,虽然是在堆上,但是数据在 Lx 层高速缓存 /内存是不确定的
    抽象和底层没有什么关系
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   3158 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 30ms · UTC 13:02 · PVG 21:02 · LAX 06:02 · JFK 09:02
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.