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

[zpxshl]

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

[tachikomachann]

Memory Barriers/Fences 是底层机制，跟对象是不是存在堆上应该没关系吧？

[cubecube]

L3 非独占

[theOneMe]

如果同步的当然没啥问题。但是多线程的时候，多个线程会同时取到一个值，这时候执行的如果执行累加，或者其他计算，就会导致 相互覆盖结果。
从结果上来说 也可以将其理解为 可见性问题

[Jooooooooo]

因为计算最终是在 cpu 上, 数组里的东西拿到堆上去计算要是不 volatile 可能会导致其它核看不见这个值.

主内存的数据都是只有一份的, 只不过数据真正做变更的时候都不是在内存里

[Vedar]

肯定要 要不然每次访问数组内容还要去主存去读取那得多慢

[yamasa]

数组元素没有 volatile 语义，对它的读写就未引入 mem barrier，其他 cpu 无法及时感知 cache line 失效，也就导致了可见性问题。没有引入屏障的数据刷新延时是无法预估的，甚至根据你写的代码，被 jit 激进编译优化为其他 thread 读了一次之后再也不读也是可能的。

[zpxshl]

@tachikomachann @Vedar @Jooooooooo 感谢，我之前也不知道为什么会有，“堆上的内存只有一份”的理解，仔细想想这个理解漏洞百出

[l8g]

你本来理解的会被缓存的数据是有哪些？

[zpxshl]

@l8g 我本来以为只有虚拟机栈的东西会被缓存

[hxndg]

虽然不是很懂 java，因为 java 的 volatile 和 C/C++不一样。。。
不过你这个想法很明显有问题：堆上的数据和可见性是没有直接关系的。

malloc 的东西，虽然是在堆上，但是数据在 Lx 层高速缓存 /内存是不确定的
抽象和底层没有什么关系