快捷搜索: 王者荣耀 脱发

volatile为什么不能保证原子性

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加锁,就能保证结果的正确性。

经验分享 程序员 微信小程序 职场和发展