有没有懂 JVM 的大佬解释,为什么对变量默认值(0, false, null)的写,对其他线程可见?

2022-12-15 20:41:37 +08:00
 movq

在某个地方看到是这么说的,一个线程 t1 改变了变量默认值( 0 ,false ,null ),这种改变对另外的线程 t2 可见

为什么是这样的呢?难道对变量默认值的第一次修改是必须同步到内存的吗?有没有懂 JVM 的大佬解释

2300 次点击
所在节点    程序员
12 条回复
zoharSoul
2022-12-15 21:30:17 +08:00
什么叫 改变了变量默认值
chendy
2022-12-15 22:01:39 +08:00
改变默认值和赋值有什么区别呢…
保证可见就加 volatile 呗
kwh
2022-12-15 22:03:58 +08:00
试一试不就知道了?
按照我之前学习的知识。
修改默认值应该没有什么区别吧?默认值也是值,从没听说默认值有什么特殊的。

而且,如果我把一个值,赋为 null ,那么 jvm 怎么判断他是不是默认的?除非,JVM 做了记号。
JVM 也没必要做个记号,导致规则分裂吧?
所以我认为,应该不会吧?
Edsie
2022-12-15 22:07:16 +08:00
说的是 volatile 的吧,Java 虚拟机规范规定了几种情况,需要刷新驻内存的,其中对 volatile 变量的写操作就是其中一种
urnoob
2022-12-15 23:23:34 +08:00
那是瞎说 别信
momocraft
2022-12-15 23:43:49 +08:00
这种零散信息收集再多 不如看一遍标准或者书
movq
2022-12-15 23:46:44 +08:00
@kwh 想不到有什么办法测试。比如说一个静态变量 static boolean flag; 一个线程修改了 flag=true; 有什么工具查看此时主存里面的 flag 有没有被同步呢
iseki
2022-12-16 00:05:00 +08:00
去看看标准吧,测试不能说明什么问题
heiher
2022-12-16 00:47:09 +08:00
Java 内存模型没有要求对象引用在其它线程可见,其字段的默认值的赋值写一定也是可见的。并且 OpenJDK 的实现也是这样的,除非打开那个实验性开关启用对象安全构造。

特殊的是只有对象的 final 字段才一定在对象引用可见之前完成赋值写,有显式的内存屏障实施这一约束。
tedzhou1221
2022-12-16 08:54:37 +08:00
volatile + happen-before + cpu 缓存

估计看一下这些大概懂
Arink
2022-12-16 14:23:20 +08:00
在 JVM 中,对于任意一个变量的读写操作,都是有一定的内存语义的。这意味着,在 JVM 中,每个变量都有一个相应的内存位置,线程在对该变量进行操作时,都必须通过读写该内存位置的值来实现。

当一个线程 t1 将一个变量的值从默认值( 0 、false 、null )更改为其他值时,这个操作实际上是对该变量所对应的内存位置的写操作。在 JVM 中,所有的写操作都是有序的,也就是说,在一个线程 t1 对变量进行写操作之后,其他线程 t2 在读取这个变量时,一定能看到 t1 所做的修改。

所以,当一个线程 t1 将一个变量的默认值改变后,这个修改对其他线程 t2 是可见的。

注意,对变量的读写操作可能会被 JVM 优化,使得读写操作并不总是直接对内存进行读写。但是,无论 JVM 如何优化,对变量的读写操作都必须遵循 JVM 规定的内存语义,也就是说,对变量的读写操作都必须满足一定的可见性和有序性。
myther8888
2022-12-17 16:53:10 +08:00
变量默认值赋值是对象初始化的时候做的,JVM 会保证线程安全。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/902808

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX