0

0

在Java里原子性和有序性如何理解_Java并发特性说明

P粉602998670

P粉602998670

发布时间:2026-01-14 16:13:02

|

856人浏览过

|

来源于php中文网

原创

原子性指单条指令不可分割执行,如int基本类型单次读写;i++等复合操作非原子,需synchronized或AtomicInteger;volatile仅保可见性与有序性,不保原子性。

在java里原子性和有序性如何理解_java并发特性说明

原子性不是“看起来像一步”,而是“真的一条指令完成”

很多人以为 i++ 是原子操作,其实它在 JVM 层面拆成三步:readaddwrite,线程切换可能卡在任意中间点。比如两个线程同时对 count = 0 执行 100 次 count++,最终结果大概率小于 200。

  • 真正原子的操作只有:基本类型(intboolean 等)的**单次读或单次写**(如 a = 5),但 a = ba++ 都不算
  • 想保证复合操作原子性,必须用显式同步:要么加 synchronized 块锁住临界区,要么用 AtomicIntegerincrementAndGet()——它底层靠 CPU 的 CAS 指令实现,不是“模拟原子”,是硬件级原子
  • 注意陷阱:AtomicInteger 能保单个变量操作原子,但多个原子变量组合(如先 atomicA.get()atomicB.set(...))依然不原子,没锁住整个逻辑段

有序性被打破不是 bug,是 JVM 和 CPU 的“性能优化特权”

你写的代码顺序是 a = 1; flag = true;,但 JVM 可能重排成 flag = true; a = 1;——只要单线程结果不变,就合法。可一旦 flag 是线程间通信信号,另一线程看到 flag == true 却读到 a == 0,就出问题了。

  • volatile 是最轻量的有序性保障:它禁止其前后指令与它发生重排序(即插入 memory barrier),但仅限于该变量自身读写,不约束其他变量
  • synchronizedLock 不仅保原子,也天然保有序:进入/退出同步块时有隐式内存屏障,块内所有操作不会被重排到块外
  • 别依赖“代码写在前面就一定先执行”——没有同步机制时,JVM、编译器、CPU 都可能动它;happens-before 规则才是判断执行顺序的唯一依据

原子性和有序性经常被一起破坏,但修复手段不能混用

比如用 volatile int counter 试图解决 counter++ 的线程安全问题:它能保证其他线程看到最新值(可见性),也能禁止部分重排(有序性),但**完全无法阻止 read-modify-write 中间被插入其他线程操作**——所以结果依然错。

灵云AI开放平台
灵云AI开放平台

灵云AI开放平台

下载
  • volatile ≠ 原子性:它只管“读写立刻刷主存+禁止重排”,不管“操作是否可分割”
  • AtomicInteger 同时解决原子性和有序性:它的 getAndIncrement() 是一个 CAS 循环,每次尝试都包含“读当前值→比对→写新值”整套动作,失败就重试,且整个过程有内存屏障保证顺序
  • 常见误配:给 double 或对象引用加 volatile 就以为线程安全了——如果要更新对象内部字段,还得靠 AtomicReference 或锁

真正难的不是记住定义,而是看代码时能一眼识别出哪行在多线程下会“裂开”:是不是读-改-写?有没有跨线程依赖的执行顺序?用了 volatile 却还在做非原子计算?这些地方不加验证,光靠“应该没问题”上线,早晚遇到偶发的计数偏差或状态错乱。

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

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java中boolean的用法
java中boolean的用法

在Java中,boolean是一种基本数据类型,它只有两个可能的值:true和false。boolean类型经常用于条件测试,比如进行比较或者检查某个条件是否满足。想了解更多java中boolean的相关内容,可以阅读本专题下面的文章。

367

2023.11.13

java boolean类型
java boolean类型

本专题整合了java中boolean类型相关教程,阅读专题下面的文章了解更多详细内容。

42

2025.11.30

counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

203

2023.11.20

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1051

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

615

2024.08.29

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

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

335

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

235

2025.08.29

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

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

335

2025.08.29

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

69

2026.03.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.4万人学习

C# 教程
C# 教程

共94课时 | 11.4万人学习

Java 教程
Java 教程

共578课时 | 82.6万人学习

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

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