这是一个创建于 1385 天前的主题，其中的信息可能已经有所发展或是发生改变。
网上很多文章指出 volatile 修饰数组，只会给数组本身的引用带来可见性，并不会给数组元素带来可见性。 但数组的数据是存在堆上的。 堆上的数据只有一份，不存在可见性问题呀。 难道说，堆上的数据也可能被缓存？
 |
1
tachikomachann 2021-02-09 12:09:26 +08:00 via Android  1
Memory Barriers/Fences 是底层机制，跟对象是不是存在堆上应该没关系吧？
|
 |
2
cubecube 2021-02-09 12:12:11 +08:00
L3 非独占
|
 |
3
theOneMe 2021-02-09 13:04:20 +08:00
如果同步的当然没啥问题。但是多线程的时候，多个线程会同时取到一个值，这时候执行的如果执行累加，或者其他计算，就会导致 相互覆盖结果。
从结果上来说 也可以将其理解为 可见性问题 |
 |
4
Jooooooooo 2021-02-09 13:11:13 +08:00 1
因为计算最终是在 cpu 上, 数组里的东西拿到堆上去计算要是不 volatile 可能会导致其它核看不见这个值.
主内存的数据都是只有一份的, 只不过数据真正做变更的时候都不是在内存里 |
 |
5
Vedar 2021-02-09 13:38:58 +08:00 1
肯定要 要不然每次访问数组内容还要去主存去读取那得多慢
|
 |
6
yamasa 2021-02-09 14:16:34 +08:00 1
数组元素没有 volatile 语义，对它的读写就未引入 mem barrier，其他 cpu 无法及时感知 cache line 失效，也就导致了可见性问题。没有引入屏障的数据刷新延时是无法预估的，甚至根据你写的代码，被 jit 激进编译优化为其他 thread 读了一次之后再也不读也是可能的。
|
 |
7
zpxshl OP |
 |
8
l8g 2021-02-09 14:48:52 +08:00
你本来理解的会被缓存的数据是有哪些？
|
 |
10
hxndg 2021-02-09 16:31:47 +08:00 1
虽然不是很懂 java，因为 java 的 volatile 和 C/C++不一样。。。
不过你这个想法很明显有问题：堆上的数据和可见性是没有直接关系的。 malloc 的东西，虽然是在堆上，但是数据在 Lx 层高速缓存 /内存是不确定的 抽象和底层没有什么关系 |
Select Language