volatile关键字

volatile关键字的两层语义

一旦一个共享变量(类的成员变量、类的静态成员变量)被volatile修饰之后，就具备了三层层语义：

1.不能保证一系列操作的原子性，但是可以保证对于一个变量的读取和写入是原子性的

2.保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这个新指对其他线程来说是立即可见的。

3.禁止指令重排序。有两层意思：

（1）当程序执行到volatile变量的读操作或者写操作时，在其前面的更改肯定全部进行完成，且结果已经对后面的操作可见。

（2）在进行指令优化时，不能将在对volatile变量访问的语句放在后面，也不能把volatile变量后面的语句放在前面执行。

保证了部分的原子性、有序性和可见性。

volatile的原理和实现的机制

观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现，加入volatile关键字时，会多出一个lock前缀指令。

local前缀指令实际上相当于一个内存的屏障（也称为内存珊栏），内存屏障会提供3个功能：

（1）它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置，也不会把前面的指令排到内存屏障的后面；即在执行到内存屏障这句指令时，在它前面的操作已经全部完成。

（2）它会强制将缓存的修改操作立即写入到主存。

（3）如果是写操作，它会导致其他CPU中对应的缓存行无效。

参考：https://www.cnblogs.com/dolphin0520/p/3920373.html