
网上很多文章指出 volatile 修饰数组,只会给数组本身的引用带来可见性,并不会给数组元素带来可见性。 但数组的数据是存在堆上的。 堆上的数据只有一份,不存在可见性问题呀。 难道说,堆上的数据也可能被缓存?
1 tachikomachann Feb 9, 2021 via Android Memory Barriers/Fences 是底层机制,跟对象是不是存在堆上应该没关系吧? |
2 cubecube Feb 9, 2021 L3 非独占 |
3 theOneMe Feb 9, 2021 从结果上来说 也可以将其理解为 可见性问题 |
4 Jooooooooo Feb 9, 2021 因为计算最终是在 cpu 上, 数组里的东西拿到堆上去计算要是不 volatile 可能会导致其它核看不见这个值. 主内存的数据都是只有一份的, 只不过数据真正做变更的时候都不是在内存里 |
5 Vedar Feb 9, 2021 肯定要 要不然每次访问数组内容还要去主存去读取那得多慢 |
6 yamasa Feb 9, 2021 数组元素没有 volatile 语义,对它的读写就未引入 mem barrier,其他 cpu 无法及时感知 cache line 失效,也就导致了可见性问题。没有引入屏障的数据刷新延时是无法预估的,甚至根据你写的代码,被 jit 激进编译优化为其他 thread 读了一次之后再也不读也是可能的。 |
7 zpxshl OP |
8 l8g Feb 9, 2021 你本来理解的会被缓存的数据是有哪些? |
10 hxndg Feb 9, 2021 虽然不是很懂 java,因为 java 的 volatile 和 C/C++不一样。。。 不过你这个想法很明显有问题:堆上的数据和可见性是没有直接关系的。 malloc 的东西,虽然是在堆上,但是数据在 Lx 层高速缓存 /内存是不确定的 抽象和底层没有什么关系 |