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

相关推荐
橘子hhh12 分钟前
Netty基础服务器实现
java·nio
墨雪遗痕14 分钟前
工程架构认知(二):从 CDN 到 Keep-Alive,理解流量如何被“消化”在系统之外
java·spring·架构
用户66885998476629 分钟前
Sprint Boot登录案例
java
Ivanqhz1 小时前
LLVM IR 转 SMT公式
java·开发语言
一个心烑1 小时前
奖项届定获取方式
java
小红的布丁1 小时前
Reactor 模型详解:单 Reactor、主从 Reactor 与 Netty 思想
android·java·开发语言
weixin_704266051 小时前
redis 的集群
java·数据库·redis
被摘下的星星1 小时前
Java的类加载
java·开发语言
真上帝的左手1 小时前
8. 测试-性能测试-JMeter实战
java·压力测试
cheems95271 小时前
[SpringMVC] SpringWebMVC常见注解介绍
java·springmvc·注解