volatile内部实现机制理解

在学习内存模型与线程的时候看到这样一句话：

“线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。对于volatile这个特殊情况也不例外。”

于是根据这句话来了解volatile的内部机制。

 被volatile修饰的共享变量在编译后，我们可以在汇编语言中看到一个lock指令，这其实就是内存屏障。当CPU识别到这个指令就会立刻将当前内核的高速缓存回写到主内存，并且通知其他CPU将该共享变量的缓存行设置为无效状态，这样其他CPU使用这个变量时，发现无效就会重新从内存中读取。

回到文章开头，也就是volatile修饰的变量看起来就好像是直接读写的主内存，实际上本质仍然操作的是工作内存。