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

相关推荐
IT小盘34 分钟前
13-企业Prompt模板-角色任务约束与输出格式
java·前端·prompt
爱敲键盘的猴子1 小时前
Java并发编程 -- volatile
java·java并发
plainGeekDev2 小时前
工厂模式 → Hilt
android·java·kotlin
plainGeekDev2 小时前
Application 单例 → Hilt Singleton
android·java·kotlin
888CC++3 小时前
C语言与C++的区别:从面向过程到面向对象
java·c语言·c++
学者猫头鹰4 小时前
分布式事务实战教程
java·分布式
heimeiyingwang4 小时前
【架构实战】Kubernetes调度器深度剖析:从Pod调度到自定义调度器
java·架构·kubernetes
纳兰青华6 小时前
回文侦探:三种境界破解最长回文子串
java·算法·动态规划
Zane19947 小时前
CAS 与原子类:Java 如何实现无锁编程
java·后端
TunerT_TQ7 小时前
【智能体安全治理|专栏第9期】从“一堆规则”到“数字宪法”:智能体治理的下一个阶段
java·开发语言·安全·开源治理·大模型安全·ai基础设施·智能体安全