volatile为什么不能保证原子性

3 篇文章 0 订阅

volatile的特性:

1.保证线程可见性

2.禁止指令冲排序

既然保证了变量的可见性,有人会有这样的疑问:

volatile变量对线程立即可见,那对volatile变量的修改都能立刻反应到其他线程。

换句话说,volatile变量在各个线程中是一致的,所以volatile变量的运算在多线程下是线程安全的,也就是可以保证原子性。

但是这里面忽略了一个问题,默认运算本身是原子操作,但是实际上对volatile变量+操作并不是原子操作,从主内存读--》加操作--》写到主内存,

例如 i=1;i=i+1;

因为i+1不是原子操作,这时候可能有几种情况:

1. i = 1;没有其他线程干扰 i+1 = 2,结果正确

2.其他线程先执行i+1,现在i=2,因为线程的可见性,i+1=3,最后的结果为3,结果正确

3.其他线程执行了i+1,i=2,但是此时恰好是i+1已经读取过,生产中间值2,此时赋值后i=2,结果错误

因此,volatile并不能保证变量的原子性

如果对i=i+1加锁,就能保证结果的正确性。

  • 5
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值