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

相关推荐
Zww08913 分钟前
idea配置注释模板
java·ide·intellij-idea
Renhao-Wan5 分钟前
Docker 核心原理详解:镜像、容器、Namespace、Cgroups 与 UnionFS
java·后端·docker·容器
Rsun0455111 分钟前
ScheduledExecutorService类作用
java
小钊(求职中)19 分钟前
算法知识、常用方法总结
java·算法·排序算法·力扣
萧逸才23 分钟前
【learn-claude-code】S07TaskSystem - 任务系统:大目标拆成小任务,持久化到磁盘
java·人工智能·ai
Rsun0455137 分钟前
MessageUtils.message(“user.jcaptcha.expire“)
java
zaim11 小时前
计算机的错误计算(二百二十六)
java·python·c#·c·错数·mpmath
小江的记录本1 小时前
【RabbitMQ】RabbitMQ核心知识体系全解(5大核心模块:Exchange类型、消息确认机制、死信队列、延迟队列、镜像队列)
java·前端·分布式·后端·spring·rabbitmq·mvc
!停1 小时前
C++入门—内存管理
java·jvm·c++
海参崴-1 小时前
C语言与C++语言发展历史详解
java·c语言·c++