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,数据肯定有问题的。

相关推荐
TH_15 分钟前
37、SQL的Explain
java·数据库·sql
康王有点困11 分钟前
Flink部署模式
java·大数据·flink
EndingCoder11 分钟前
属性和参数装饰器
java·linux·前端·ubuntu·typescript
芒克芒克25 分钟前
LeetCode 134. 加油站(O(n)时间+O(1)空间最优解)
java·算法·leetcode·职场和发展
huahailing102437 分钟前
Spring 循环依赖终极解决方案:从原理到实战(附避坑指南)
java·后端·spring
jiaguangqingpanda1 小时前
Day28-20260124
java·数据结构·算法
Java程序员威哥1 小时前
SpringBoot2.x与3.x自动配置注册差异深度解析:从原理到迁移实战
java·大数据·开发语言·hive·hadoop·spring boot·后端
cheems95271 小时前
【javaEE】文件IO
java
微露清风2 小时前
系统性学习Linux-第一讲-Linux基础指令
java·linux·学习
tqs_123452 小时前
tcc中的空回滚和悬挂问题
java·数据库