volatile的内存语义

一：保证内存的可见性

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

三：禁止指令的重排序

解析：

一：对于使用volatile关键字的共享变量，会强制将修改后的值立即写入主内存，并会使得其他处理器里面的缓存行失效（嗅探机制，缓存一致性协议），所以其他线程会重新从主内存中获取对应的新值，所以可见性是通过主内存来实现的。

 

二：可以理解volatile具有一定的原子性，但不是全部：

private volatile boolean stop = false;

//线程一：
while (!stop) {
    doSomething();
}

//线程二：
stop = true;

此时对于stop的读/写 是具有原子性的：stop没有用volatile修饰的话，线程一是可有能造成死循环的。修饰后，由于volatile的可见性，当stop被修改后，线程一会立即获取到最新的stop值，从而暂停。

volatile++这种复合操作不具有原子性：

复合操作其实执行了三步操作了：1.从主内存读取值x=0;     2.执行x++;    3.再把x=1刷回主内存

a,b俩个线程同时操作被volatile修饰的共享变量x时，都执行到第一步，同时读取了x的值为0。

此时a变量率先执行完到第2步第3步，x的值为1刷回到主内存了。

但b线程已经执行到第2步了，即使x此时的值为1，b线程执行第2步的操作时是x=0+1，而不是x=x+1，所以最后结果还是1

 

三：重排序（内存屏障）

在每个volatile写操作前插入一个StoreStore屏障，操作后插入StoreLoad屏障

在每个volatile读操作后插入LoadLoad屏障和LoadStore屏障

eg：

StoreStore屏障保证volatile写之前，前面的所有普通操作都已经对任意处理器可见，即将上面的都已经刷新到主内存

StoreLoad屏障是为了避免volatile写操作与后面可能出现的volatile读/写操作重排序

编译器对内存屏障还进行优化：

内存屏障的插入还可以根据具体的处理器内存模型继续优化