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