volatile只保证可见性 不一定保证原子性

volatile只能保证变量的可见性,无法保证对变量的操作的原子性。

还是以最常用的i++来说吧,包含3个步骤 
1,从内存读取i当前的值 
2,加1 
3,把修改后的值刷新到内存

  • 对于普通变量来说多线程下1,2之间被中断,其它线程修改了i的值,那原来已经在1,2之间被中断的线程的i的值就已经无效了,所以多线程是不安全的。
  • 另外对于普通变量来说,步骤1并不是每次都会从内存中读取,步骤3也并不会每次都保证会立即刷新到内存。
  • 所以这里有两个问题,可见性和原子性。
  • viloate只能保证可见性,即步骤1每次都重新读,步骤3每次都立即刷新到主内存。但如果多个线程通知执行到1和2,就会造成交叉修改,所以是线程不安全的。

总的而言,1 2相当于语句i++,1 2之间可以被中断,所以i++这个操作不具有原子性。只有当volatile变量是原子变量进行的操作是原子操作的话,才可以保证线程是安全的。不然的话,只能说volatile具有可见性 不具有原子性。

另一方面,由于synchronized不仅能保证代码块中操作的原子性,而且能保证变量的可见性,所以synchronized能够保证线程安全。

对于volatile简介可以看:volatile变量修饰的是具有

可见性。对于一个volatile变量的读,总是能看到(任意一个线程)对这个volatile变量最后的写后。换一个理解是一个volatile的写后总是会更新共享内存变量的值。(所有共享内存!v写后 会将缓存数据全部写回内存之中)

原子性:对任意单个volatile变量的读/写具有原子性,但类似于volatile++这种复合操作不具有原子性。

https://blog.csdn.net/HNUST_LIZEMING/article/details/88353907

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值