0

0

为什么volatile不能保证原子性_通过i++操作看并发下的安全性风险

P粉602998670

P粉602998670

发布时间:2026-03-06 10:24:11

|

394人浏览过

|

来源于php中文网

原创

volatile修饰的变量在i++场景下线程不安全,因为i++包含读、改、写三步非原子操作,volatile仅保证可见性和禁止部分重排序,无法避免竞态条件。

为什么volatile不能保证原子性_通过i++操作看并发下的安全性风险

volatile 修饰的变量在 i++ 场景下为什么还是线程不安全

因为 i++ 不是原子操作,而 volatile 只保证可见性和禁止指令重排序,不保证读-改-写过程的原子性。

典型现象是:100 个线程各执行 100 次 i++,最终 i 值远小于 10000 —— 这不是偶发 bug,是必然结果。

  • i++ 实际拆成三步:read(从主存读值到线程工作内存)、add(+1)、write(写回主存)
  • volatile 能确保每次 read 都看到最新值、每次 write 立即刷回主存,但无法阻止两个线程同时读到相同旧值、各自加 1、再同时写回
  • 这种“竞态条件”发生在 CPU 指令级别,JVM 或硬件不会自动加锁保护

哪些操作 volatile 确实能保原子性

仅限对基本类型(booleanintlongfloatdouble)的**单次读或单次写**,且 long/double 在 32 位 JVM 上需注意非原子性风险。

万彩AI
万彩AI

多功能AI创作工具合集,支持AI写作、AI换脸、AI数字人等

下载
  • 安全: flag = truecount = 100if (running) { ... }
  • 不安全: i += 1i--a[i] = b[i] + 1、任何含计算或复合逻辑的赋值
  • volatile long 在 64 位 JVM 上读写是原子的;但在某些 32 位 JVM(如旧版 Android ART)上,可能被拆成两次 32 位操作,导致“半个 long”被读到

替代方案选型:什么时候用 AtomicInteger,什么时候加 synchronized

核心看是否需要「复合操作的原子性」——比如先检查再更新、累加带条件判断等。

  • 纯计数/累加(如统计请求数):优先用 AtomicInteger,底层靠 CAS,无锁、性能好
  • 涉及多个变量协同更新(如余额扣减 + 订单状态变更):必须用 synchronizedReentrantLock,否则即使每个变量都 volatile 也救不了
  • AtomicInteger.compareAndSet() 实现自旋逻辑时,注意避免高竞争下的 CPU 空转;极端场景下 synchronized 反而更稳

一个容易被忽略的坑:volatile 不能防止重排序带来的逻辑错乱

它只禁止特定类型的重排序(如写 volatile 后面的普通写不能上移),但不保证所有语句顺序。常见误用是把初始化和标志位设置分开写。

  • 错误写法:context = new Context();inited = true;,其他线程看到 inited == true 时,context 可能还没构造完(对象引用已发布,但字段仍为默认值)
  • 正确做法:用 final 字段保证构造安全,或直接用 AtomicReference<context></context>lazySet() / set() 配合双重检查锁
  • 哪怕加了 volatile,也不代表“这段代码执行完了”,只是“这个变量的写操作对其他线程可见了”

并发问题从来不在表面语法,而在执行路径的交错点。volatile 是工具,不是保险丝。真正安全的边界,得靠你对每行代码在多线程下可能怎么跑,心里有数。

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

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
css中float用法
css中float用法

css中float属性允许元素脱离文档流并沿其父元素边缘排列,用于创建并排列、对齐文本图像、浮动菜单边栏和重叠元素。想了解更多float的相关内容,可以阅读本专题下面的文章。

594

2024.04.28

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

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

105

2025.10.23

java中boolean的用法
java中boolean的用法

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

366

2023.11.13

java boolean类型
java boolean类型

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

42

2025.11.30

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

844

2023.08.22

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

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

203

2023.11.20

string转int
string转int

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

950

2023.08.02

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

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

604

2024.08.29

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

1

2026.03.06

热门下载

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

精品课程

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

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