volatile为什么无法保证原子性

假设定义 volatile int i =0;

现在2个线程同时 i++,为什么数据还可能会出错?一起来看下图,虽然volatile的机制是:如果volatile修饰的变量有修改,那么会将变更内容写回主内存,同时让其他线程工作内存的该变量缓存过期。但是这对原子性有什么用吗?请看下图的volatile的回写流程,这个流程就能看明白为啥不能保证原子性了。

当线程1执行了i++,目前i=1了,如果再通知线程2,让其工作内存的缓存过期有用吗?没用啊,因为线程2也早就计算出来了i=1,也准备写回内存里,线程2写回主内存的也是1。这个问题的关键点在于:线程1、2同时加载了i=0,然后同时完成了运算i++,计算出i=1,然后这个往回写的过程,和原子性无关。

那这计算了2次i++,最后主内存=1,数据肯定有问题的。

相关推荐
鹿角片ljp3 分钟前
Java框架篇:Spring + SpringMVC + SpringBoot + MyBatis深度复习
java·开发语言
Lyra_Infra18 分钟前
Java 应用启动脚本 JDK 路径适配优化文档
java·shell
CodeHackerBhx1 小时前
Spring Boot 4 防重复提交:从接口幂等到 Redis 分布式锁的完整实践
java·数据库·spring boot·redis·分布式
八角.。1 小时前
方法参数与Debug按键
java·开发语言·jvm
BerryS3N1 小时前
Java在人工智能与大模型时代的深度演进:从工程落地、高性能计算到企业级Agent与RAG架构实战指南
java·人工智能·架构
蔬菜_2 小时前
前端转全栈-day2(修饰符)
java
fīɡЙtīиɡ ℡2 小时前
怎么是用JWT
java·状态模式
唐青枫2 小时前
Java JCommander 实战详解:用注解解析命令行参数
java
步行cgn2 小时前
carList.forEach(System.out::println)
java·开发语言·mybatis
plainGeekDev3 小时前
JUnit 4 → JUnit 5 + Kotlin
android·java·kotlin