volatile的实现

volatile有两个作用，一个是保证变量在各线程之间的可见性，另一个是禁止指令重排。

可见性：
本质上就是线程之间通过主内存进行通信的问题，假如说有两个线程A和B，线程A写这个volatile变量，线程B读这个变量，在A写完以后，JMM把该线程的本地内存变量刷新到主内存里面，B在读的时候通过总线嗅探机制发现自己的本地内存变量已经过期，B就从主内存读取共享变量。为什么说是这是线程通信问题，就是A在写完这个volatile变量以后，实质上是A向接下来将要读这个变量的线程发出了其对该变量所作修改的信息，而B呢实质上就是接收了之前某个线程对该变量所作修改的信息，所以完整的过程就是线程A通过主内存向线程B发送信息。

Thread-A发出LOCK#指令
发出的LOCK#指令锁总线（或锁缓存行）（因为它会锁住总线，导致其他CPU不能访问总线，不能访问总线就意味着不能访问系统内存），然后释放锁，最后刷新回主内（瞬间完成的，写回时候其他缓存行失效），同时让Thread-B高速缓存中的缓存行内容失效。
Thread-A向主存回写最新修改的i
Thread-B读取变量i，那么：
Thread-B发现对应地址的缓存行被锁了，等待锁的释放，缓存一致性协议会保证它读取到最新的值（重新从主存读）

禁止指令重排序：
这是通过内存屏障来实现的。

LoadLoad屏障：对于这样的语句Load1; LoadLoad; Load2，在Load2及后续读取操作要读取的数据被访问前，保证Load1要读取的数据被读取完毕。

StoreStore屏障：对于这样的语句Store1; StoreStore; Store2，在Store2及后续写入操作执行前，保证Store1的写入操作对其它处理器可见。

LoadStore屏障：对于这样的语句Load1; LoadStore; Store2，在Store2及后续写入操作被刷出前，保证Load1要读取的数据被读取完毕。

StoreLoad屏障：对于这样的语句Store1; StoreLoad; Load2，在Load2及后续所有读取操作执行前，保证Store1的写入对所有处理器可见。它的开销是四种屏障中最大的。在大多数处理器的实现中，这个屏障是个万能屏障，兼具其它三种内存屏障的功能。

下面是基于保守策略的JMM内存屏障插入策略：

在每个volatile写操作的前面插入一个StoreStore屏障。

在每个volatile写操作的后面插入一个StoreLoad屏障。

在每个volatile读操作的前面插入一个LoadLoad屏障。

在每个volatile读操作的后面插入一个LoadStore屏障。