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

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

  •  
  •   movq · 2022-12-15 20:41:37 +08:00 · 2301 次点击
    这是一个创建于 711 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

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

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

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

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

    估计看一下这些大概懂
    Arink
        11
    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
        12
    myther8888  
       2022-12-17 16:53:10 +08:00
    变量默认值赋值是对象初始化的时候做的,JVM 会保证线程安全。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   4090 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 00:59 · PVG 08:59 · LAX 16:59 · JFK 19:59
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.