Java并发编程：volatile关键字详解

volatile关键字两大特性：线程可见性/禁止指令重排序

原理：由jvm实现的一条汇编质量lock

要知道为什么会能保证线程的可见性，先要了解jmm的原子操作

假设一个变量initFlag默认为false，线程a对其写线程b对其读，那么不加volatile的情况下线程b是不会感知到initFlag的变化的，为什么？

如图所示：

1.变量initFlag先从主内存read出然后load到cpu的工作内存。

2.cpu修改为true之后再store写到主内存，最后经过write将store后的变量赋予给新原来的对象

这是原来的一个流程，volite是怎么保证线程可见性呢，就是通过实现缓存一致性协议（store的时候通过总线告知其他线程该变量已经失效）总线嗅探机制。

开启以后原来的流程通过总线嗅探机制会发现数据改变，会将其他线程的该数据改为失效状态，此时其他线程就会去主内存拿数据，就保证了可见性。

经典面试题：dcl单例模式（双重检查）要不要加volatile？

是必要的，如图程序，没有加volatile会出现指令冲排序的问题。因为该代码满足指令冲排序的条件（happens-before和as-if-serial）一旦出现指令重排序就会有可能导致其他线程拿到没有init的实例对象。（既未完成初始化的对象）

那么volatile是怎么解决这个问题呢？此时内存屏障登场了

jvm的底层简单粗暴还是lock。

总结起来volatile之所以能保证线程可见和禁止指令重排就是因为一条汇编指令lock。