volatile 关键字 详解，为何不能保证复合操作的原子性

一直对volatile 有些许的疑惑，就是它既然实时刷新主内存中的值，并且能保证可见，为啥不能保证原子性n，下面分析

使用volatile 关键字修饰共享变量时，变量就会有以下特点：

1、变量对其他线程具有可见性。

2、禁止进行指令重排，保证了有序性。

3、保证单操作原子性，对任意单个volatile变量的读写具有原子性，但对于复合操作不保证原子性，如x++。

两个线程同时操作x共享变量，首先a,b线程的本地内存中都读到了主内存中的x=0，当a线程对x变量修改时，其值会立即刷回主内存，b线程中的x也会同时读到最新的值。但是当a,b线程同对x进行++操作时就不能保证原子性了。

当执行x++,其实是执行了三步操作

1.从主内存读取值x=0;

2.执行x=0+1;

3.再把x=1刷回主内存；

当a,b同时操作x共享变量时，都执行到第一步，同时读取了x的值为0，此时a变量率先执行完到第2步第3步，x的值为1刷回到主内存了，但b线程已经执行到第2步了，即使x此时的值为1，b线程执行第2步的操作时是x=0+1.而不是x=x+1,所以最后结果还是1，这就是为什么复合操作不能保证原子性的原因。