Java多线程—volatile关键字详解（面试干货）

一、volatile 概念：

volatile——Java虚拟机提供的最轻量级的同步机制。这个关键字的作用就是告诉编译器，只要是被此关键字修饰的变量都是易变的、不稳定的。

那为什么是易变的呢？ 因为volatile所修饰的变量是直接存在于主内存中的，线程对变量的操作也是直接反映在主内存中，所以说其是易变的。

 二、volatile 实现原理：

如果对声明了volatile关键字进行写操作，JVM就会向CPU发送一个Lock前缀指令，然后变量所在缓存写回到系统内存。又由于缓存一致性原理，其他处理器通过嗅探发现自己缓存被修改，就会标记这块缓存无效，当处理器要对这数据操作时，会从系统内存重新读取。

三、volatile的特性：

1、volatile特性一：内存可见性

     （当一个线程修改了变量的值，新的值会立刻同步到主内存当中。而其他线程读取这个变量的时候，也会从主内存中拉取最新的变量值。）

• 如何保证内存可见性？

       在java虚拟机的内存模型中，有主内存和工作内存的概念，每个线程对应一个工作内存，并共享主内存的数据，下面看看操作普通变量和volatile变量有什么不同：

       ① 对于普通变量：读操作会优先读取工作内存的数据，如果工作内存中不存在，则从主内存中拷贝一份数据到工作内存中；写操作只会修改工作内存的副本数据，这种情况下，其它线程就无法读取变量的最新值。

       ② 对于volatile变量，读操作时JMM会把工作内存中对应的值设为无效，要求线程从主内存中读取数据；写操作时JMM会把工作内存中对应的数据刷新到主内存中，这种情况下，其它线程就可以读取变量的最新值。

• 为什么volatile关键字可以有这样的特性？

       这得益于java语言的先行发生原则（happens-before）:对于一个volatile变量的写操作先行发生于后面对这个变量的读操作。

2、volatile特性二：可以禁止指令重排序

       指令重排——是指JVM在编译Java代码的时候，或者CPU在执行JVM字节码的时候，对现有的指令顺序进行重新排序。

       指令重排的目的——是为了在不改变程序执行结果的前提下，优化程序的运行效率。需要注意的是，这里所说的不改变执行结果，指的是不改变单线程下的程序执行结果。

       如何解决指令重排问题？

       内存屏障（Memory Barrier，指重排序时不能把后面的指令重排序到内存屏障之前的位置） 是一种CPU指令，它使CPU或编译器对屏障指令之前和之后 发出的内存操作，执行一个排序约束。

       只有一个CPU访问内存时，不需要内存屏障；但是如果有两个或多个CPU访问同一块内存，且其中有一个在观测另一个，就需要内存屏障来保证一致性了。

       注：普通变量仅仅会保证在该方法执行的过程中，所有依赖赋值结果的地方都能获取到正确的结果，而不能保证变量赋值操作的过程与程序代码中的执行顺序一致。

•  为什么说volatile禁止指令重排？

       从硬件架构上讲，指令重排是指——CPU采用了允许将多条指令不按照程序规定的顺序分开发送给各相应电路单元处理，但并不是说指令任意重排，CPU需要能正确处理指令依赖情况，已保障程序能够得出正确的执行结果。

       例如：指令1把地址A中的值加10；

                  指令2把地址A中的值乘以2；

                  指令3把地址B中的值减去3。

       此时指令1和2是有依赖的，它们之间的顺序不能重排，否则结果将不相等。但是指令3和指令1/2并没有依赖关系，它们不是对同一地址内的值进行操作的，所以指令3可以重排到指令1/2之前或者中间。 只需要保证CPU执行到后面，依赖A、B值的操作时，能够获取到正确的A、B的值即可。

       所以在本CPU中，重排序看起来依然是有序的。因此，当一个操作相当于内存屏障的指令把修改同步到内存中时，意味着——所有之前的操作都已经执行完成了，这样就形成了“指令重排无法越过内存屏障”的效果。

• 内存屏障共分为四种类型：

    1、LoadLoad屏障：

         抽象场景：Load1; LoadLoad; Load2

         Load1 和 Load2 代表两条读取指令。在Load2要读取的数据被访问前，保证Load1要读取的数据被读取完毕。

    2、StoreStore屏障：

         抽象场景：Store1; StoreStore; Store2

         Store1 和 Store2代表两条写入指令。在Store2写入执行前，保证Store1的写入操作对其它处理器可见。

   3、LoadStore屏障：

         抽象场景：Load1; LoadStore; Store2

         在Store2被写入前，保证Load1要读取的数据被读取完毕。

   4、StoreLoad屏障：

         抽象场景：Store1; StoreLoad; Load2

         在Load2读取操作执行前，保证Store1的写入对所有处理器可见。

四、volatile做了什么？

       在一个变量被volatile修饰后，JVM会为我们做两件事：

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

2.在每个volatile读操作前插入LoadLoad屏障，在读操作后插入LoadStore屏障。

五、总结

        volatile特性之一：

  保证变量在线程之间的可见性。可见性的保证是基于CPU的内存屏障指令，被JSR-133抽象为happens-before原则。

        volatile特性之二：

  阻止编译时和运行时的指令重排。编译时JVM编译器遵循内存屏障的约束，运行时依靠CPU屏障指令来阻止重排。

 

参考文献：《深入理解Java虚拟机》

                   《Java多线程编程核心技术》