[面试必备]深刻理解Java的volatile关键字

前言

在Java并发编程中，volatile关键字有着相当重要的做用，在面试中也经常会是必备的一个问题。本文将会介绍volatile关键字的做用以及其实现原理。

volatile做用

volatile在并发编程中扮演着重要的角色，volatile是轻量级的synchronized，volatile关键字有两个做用：

1）保证共享变量的可见性

可见性的意思是当一个线程修改一个共享变量时，另一个线程能读到这个修改的值。笔者此前一篇文章Java并发编程：Java内存模型JMM中有说到，Java内存模型中有主内存和本地内存之分，本地内存持有共享变量的一份副本，线程对共享变量的修改是先修改本地内存的副本，而后再回写到主内存中去。

可能存在这样的状况，线程A和线程B同时去修改一个共享变量C，假设线程A先对共享变量C作了修改，而此时线程B却没能及时感知到共享变量C已经发生了改变，紧接着B对本地过时的副本数据进行了修改，这形成了共享变量的不可见问题。

而使用了volatile关键字修改的共享变量，当线程修改了共享变量以后，会立马刷新到主内存中，而且会使其余线程缓存了该地址的数据失效，这就保证了线程之间共享变量的可见性。

2）防止指令重排序

volatile关键字的另一个做用就是防止指令重排序。代码在实际执行过程当中，并不全是按照编写的顺序进行执行的，在保证单线程执行结果不变的状况下，编译器或者CPU可能会对指令进行重排序，以提升程序的执行效率。可是在多线程的状况下，指令重排序可能会形成一些问题，最多见的就是双重校验锁单例模式：

public class SingletonSafe {

    private static volatile SingletonSafe singleton;

    private SingletonSafe() {
    }

    public static SingletonSafe getSingleton() {
        if (singleton == null) {
            synchronized (SingletonSafe.class) {
                if (singleton == null) {
                    singleton = new SingletonSafe();
                }
            }
        }
        return singleton;
    }
}
复制代码

若是没有使用volatile关键字，则可能会出现其余线程获取了一个未初始化完成的singleton对象，具体缘由笔者不在这里赘述了，有兴趣地同窗能够搜索一下“double checked locking with delay initialization”学习下，笔者后续有时间再写篇文章分析下。

volatile实现原理

1）可见性实现原理

对于volatile关键字修饰的变量，当对volatile变量进行写操做的时候，JVM会向处理器发送一条lock前缀的指令，将这个缓存中的变量回写到系统主存中。可是就算写回到内存，若是其余处理器缓存的值仍是旧的，再执行计算操做就会有问题，因此在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议。

缓存一致性协议：每一个处理器经过嗅探在总线上传播的数据来检查本身缓存的值是否是过时了，当处理器发现本身缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器要对这个数据进行修改操做的时候，会强制从新从系统内存里把数据读处处理器缓存里。

因此，若是一个变量被volatile所修饰的话，在每次数据变化以后，其值都会被强制刷入主存。而其余处理器的缓存因为遵照了缓存一致性协议，也会把这个变量的值从主存加载到本身的缓存中。这就保证了一个volatile在并发编程中，其值在多个缓存中是可见的。

2）防止指令重排序实现原理

volatile防止指令重排序是经过内存屏障来实现的。内存屏障分为以下三种：

Store Barrier

Store屏障，是x86的”sfence“指令，强制全部在store屏障指令以前的store指令，都在该store屏障指令执行以前被执行。

Load Barrier

Load屏障，是x86上的”ifence“指令，强制全部在load屏障指令以后的load指令，都在该load屏障指令执行以后被执行

Full Barrier

Full屏障，是x86上的”mfence“指令，复合了load和save屏障的功能。

Java内存模型中volatile变量在写操做以后会插入一个store屏障，在读操做以前会插入一个load屏障。一个类的final字段会在初始化后插入一个store屏障，来确保final字段在构造函数初始化完成并可被使用时可见。也正是JMM在volatile变量读写先后都插入了内存屏障指令，进而保证了指令的顺序执行。

原创声明

本文发布于掘金号【Happyjava】。Happy的掘金地址：juejin.im/user/5cc289…，Happy的我的博客：blog.happyjava.cn。欢迎转载，但须保留此段声明。

关注公众号领资料

搜索公众号【Happyjava】,回复【电子书】和【视频】，便可获取大量优质电子书和大数据、kafka、nginx、MySQL等视频资料