讲师中心 微信公众号
AI工具推荐 视频效率加速

JMM 中的原子性保证:分析 long 和 double 在 32 位 JVM 下可能的非原子性写入风险

夏磊同学_3798

夏磊同学_3798

发布时间:2026-05-18 19:19:36

|

949人浏览过

|

来源于php中文网

原创

Java内存模型对原子性的保证是有条件的:除long和double外,所有基本类型读写操作默认原子;32位JVM中,long/double可能被拆为两次32位操作导致非原子,volatile可保证其读写原子性,但复合操作仍需AtomicLong或synchronized。

jmm 中的原子性保证:分析 long 和 double 在 32 位 jvm 下可能的非原子性写入风险

Java内存模型(JMM)对原子性的保证是有条件的:除 long 和 double 外,所有基本类型(如 int、boolean、char 等)的读写操作在任意 JVM 上都默认原子。但这两个 64 位类型在 32 位 JVM 中可能被拆成两次 32 位操作,导致写入非原子——你看到的值,可能是线程 A 的高 32 位和线程 B 的低 32 位拼出来的“半新半旧”数据。

为什么 32 位 JVM 会拆分 long/double 写入

32 位 CPU 寄存器宽度为 32 位,一次最多处理 32 位数据。JVM 在这类平台上通常将一个 64 位 long 或 double 的写入,分解为两个独立的 32 位写操作:先写高位(high 32 bits),再写低位(low 32 bits)。如果两个线程并发写入不同值,执行顺序交错,就可能产生非法组合。

  • 线程1写 -1(全 1 的 64 位:0xFFFFFFFFFFFFFFFF)→ 先写高位 0xFFFFFFFF
  • 线程2写 0(全 0 的 64 位:0x0000000000000000)→ 先写高位 0x00000000
  • 线程2再写低位 0x00000000
  • 线程1再写低位 0xFFFFFFFF
  • 最终内存中留下:高位 0x00000000 + 低位 0xFFFFFFFF = 0x00000000FFFFFFFF(即十进制 4294967295)

volatile 能解决这个问题吗

能,但仅限于读和写单个值本身。JMM 明确规定:声明为 volatile 的 long/double 变量,其 get 和 set 操作是原子的。这意味着即使在 32 位 JVM 上,volatile 会强制 JVM 使用同步机制(如内存屏障 + 锁总线或 CAS 尝试)来确保整个 64 位值一次性读/写完成。

  • 它不提供复合操作(如 i++、+=)的原子性,这些仍需 AtomicLong 或 synchronized
  • 它不改变底层硬件限制,而是通过 JVM 层语义约束实现原子效果
  • 是否生效取决于 JVM 实现,但主流 JDK(如 HotSpot)在 32 位模式下对 volatile long/double 确实按原子方式处理

如何确认当前运行环境是否受影响

不能只看操作系统位数,而要看 JVM 运行时架构。最可靠方式是检查系统属性:

System.getProperty("sun.arch.data.model") —— 返回 "32" 或 "64"

  • 返回 "64":现代 JVM 默认用单条指令读写 long/double,天然原子,无需额外防护
  • 返回 "32":存在非原子风险,尤其当变量未声明为 volatile 且被多线程并发写入时
  • 注意:-XX:+UseCompressedOops 等选项不影响该判断,它只影响对象指针压缩,不改变基本类型原子性规则

更稳妥的实践建议

依赖 volatile 是可行解,但不是最优解。真正面向并发场景,应优先选用明确设计用于原子操作的工具:

  • 用 AtomicLong 替代普通 long:它基于 Unsafe.compareAndSwapLong,在所有平台都保证完整 64 位 CAS 原子性
  • 避免裸写 long/double 共享变量,尤其在金融、计数、时间戳等对精度敏感的字段上
  • 若必须用普通 long/double,且确定只读不写或写入由单一线程完成,可不加 volatile;否则一律声明 volatile
  • 不要假设“现在没出问题=永远安全”,非原子现象具有偶发性和难以复现的特点

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
超级麦吉

一款通过数字员工协作完成调研、数据分析与文档制作的AI办公平台。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

相关专题

更多
c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

4328

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

824

2025.10.23

Vite 项目如何打包和部署
Vite 项目如何打包和部署

Vite项目打包部署专题汇集生产构建、产物预览、输出目录、资源路径、Nginx与GitHub Pages部署及常见白屏和路由404问题的已审核文章,帮助读者完成上线流程。

80

2026.10.28

Vite 如何搭配 Vue.js
Vite 如何搭配 Vue.js

Vite搭配Vue.js专题汇集创建Vue 3项目、配置开发环境、路径别名、Vue插件、代理、多环境构建与调试的已审核文章,帮助读者完成从初始化到日常开发的配置。

60

2026.10.28

Vite 项目目录怎么看
Vite 项目目录怎么看

Vite项目目录专题汇集入口文件、src源码、public静态资源、路径别名、项目根目录和构建输出目录相关的已审核文章,帮助读者理解各文件夹的用途与引用方式。

200

2026.10.28

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

140

2026.10.22

Gradle Wrapper配置教程
Gradle Wrapper配置教程

本专题介绍Gradle Wrapper的基本作用,涵盖文件组成、生成方法、版本配置和任务调用,帮助你理解项目如何使用指定的Gradle版本,减少不同开发环境带来的构建差异。

120

2026.10.22

Golangci-lint检查器使用教程
Golangci-lint检查器使用教程

本专题整理Golangci-lint常用Linters的用途与配置方法,覆盖错误处理、无效代码、安全、复杂度、命名和依赖检查,帮助项目合理选规则。

80

2026.10.22

Gradle怎么构建Java项目
Gradle怎么构建Java项目

本专题介绍Gradle Java项目构建方法,涵盖Java插件配置、依赖声明、源码编译、测试执行和打包检查,帮助你理解各阶段的任务关系,逐步完成项目构建。

60

2026.10.22

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn