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加锁,就能保证结果的正确性。
上一篇:
Java基础知识总结(2021版)