首页 > Java > java教程 > 正文

Java内存模型中的可见性指什么_Java可见性问题成因与解决方案分析

P粉602998670
发布: 2025-12-20 15:54:08
原创
570人浏览过
Java内存模型中的可见性指线程修改共享变量后其他线程能否及时看到新值,根本原因在于JMM将变量存于主内存而线程操作工作内存副本,且同步无强制时机;volatile通过强制读写主内存解决可见性,但不保证原子性;synchronized等锁机制也通过happens-before规则保障可见性。

java内存模型中的可见性指什么_java可见性问题成因与解决方案分析

Java内存模型(JMM)中的可见性,指的是:当一个线程修改了共享变量的值,其他线程能否及时看到这个新值。

可见性问题是怎么产生的

根本原因在于JMM对内存的抽象划分:

  • 所有共享变量都存放在主内存中,所有线程都能访问
  • 每个线程拥有自己的工作内存(不是物理内存,而是CPU缓存、寄存器或JVM帧中的副本)
  • 线程读写变量时,操作的是自己工作内存里的副本,而非直接读写主内存
  • 工作内存和主内存之间的同步没有强制时机——写线程改了副本,不一定立刻刷回主内存;读线程也不一定每次去主内存取最新值

这就导致:线程A把flag设为true,但只更新了自己的副本;线程B还在用自己缓存的老值false,死循环卡住。

volatile关键字如何解决可见性

给变量加上volatile修饰后,它就具备两个关键语义:

立即学习Java免费学习笔记(深入)”;

  • 写操作:线程修改volatile变量时,必须立即将新值刷新到主内存
  • 读操作:线程每次读volatile变量时,必须从主内存重新加载,不许用本地副本

它不加锁、不阻塞,适合“一写多读”且不需要原子性的场景,比如状态标志位(running、shutdown等)。

Seed-TTS
Seed-TTS

Seed-TTS 是一个高质量多功能的文本到语音生成模型

Seed-TTS 909
查看详情 Seed-TTS

加锁也能保证可见性

synchronized、ReentrantLock等同步机制,不只是为了互斥,也天然提供可见性保障:

  • 进入同步块前,线程会清空工作内存中相关变量的副本,强制后续读取从主内存加载
  • 退出同步块时,会将工作内存中修改过的变量强制刷新回主内存

这是由JMM的happens-before规则保证的:解锁操作happens-before后续的加锁操作。所以用锁保护的共享变量,修改对其他线程必然可见。

哪些情况不能靠volatile解决

volatile能保可见,但不保原子性

  • count++这种复合操作(读-改-写),即使count是volatile,多个线程仍可能互相覆盖结果
  • 需要原子性时,得用synchronized、AtomicInteger或显式Lock
  • volatile也不能替代锁来保护临界区逻辑(比如“检查后执行”这类条件判断)

基本上就这些。可见性看似简单,但容易忽略底层缓存和副本机制,写并发代码时务必留心。

以上就是Java内存模型中的可见性指什么_Java可见性问题成因与解决方案分析的详细内容,更多请关注php中文网其它相关文章!

最佳 Windows 性能的顶级免费优化软件
最佳 Windows 性能的顶级免费优化软件

每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号