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

相关推荐
:-)27 分钟前
算法-归并排序
java·开发语言·数据结构·算法·排序算法
wuqingshun31415942 分钟前
说一下消息队列的模型有哪些?
java
fīɡЙtīиɡ ℡2 小时前
布隆过滤器
java
yaoxin5211232 小时前
462. Java 反射 - 获取声明类与封闭类
java·开发语言·python
wuqingshun3141594 小时前
MYSQL的乐观锁和悲观锁是什么?
java
唐青枫5 小时前
Java SLF4J 实战指南:从日志门面到 Logback、MDC 和链路追踪
java
jvmind_dev5 小时前
Java GC 实战指南(番外篇):被忽视的隐形杀手 —— Class Unloading 如何拖垮 GC
java·后端
An_s5 小时前
机器学习python之识别图中物品信息
java·linux·开发语言
AIGS0016 小时前
跨越语义鸿沟:企业本体语义平台的构建与落地
java·人工智能·python·机器学习·人工智能ai大模型应用
蓝田~7 小时前
大模型本地部署与远程调用 — 从 API 到 Agent
java·人工智能·claude·claude code