volatile型变量

        首先需要介绍Java的内存模型，Java内存模型的主要目的是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。这里的变量包括实例字段、静态字段、构成数组对象的元素，但不包括线程私有的局部变量与方法参数。需要注意，如果一个局部变量是一个reference类型，即引用类型变量，它引用的对象在java堆中可以被各个线程共享，但reference本身是在java栈的局部变量表中，是线程私有的。

        Java内存模型规定了以上提到的变量都存储在主内存中，此处主内存物理上是JVM内存的一部分。 每个线程还有自己的工作内存，工作内存可以与处理器高速缓存类别。

        处理器的高速缓存很好地解决了处理器与内存之间的速度矛盾，计算机系统通常将运算需要使用的数据复制到缓存中，让运算能快速运行，当运算结束后再从缓存同步回内存中，这样处理器就无需等待缓慢的内存读写了。基于高速缓存的存储交互很好地解决了处理器与内存间的速度矛盾，但也引入的新问题：缓存一致性。比如，一个多处理器系统中，每个处理器都有自己的高速缓存，倘若他们共享同一主存，当多个处理器的运算任务涉及同一块主存区域，将可能导致各自的缓存数据不一致的问题，为此，各个处理器访问缓存时都要遵循一些协议。

        为了获取更好的运算速度，虚拟机可能会让工作内存优先存储于寄存器和高速缓存中，因为线程运行时主要访问的是工作内存。线程的工作内存中保存这被该线程使用的变量的主内存副本，线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，而不能直接读写主内存中的数据，比如某个线程修改一个对象的某个属性，需要将属性值从主内存中读入（read字节码指令）工作内存再进行修改，最后写回主内存(write字节码指令)，若不写回主内存，修改的值对于其他线程是不可见的，“可见性”是指当一个线程修改了这个变量的值，新值对于其他线程来说可以立即得知。不同的线程之间也无法直接访问对方的工作内存中的变量，线程间的变量值的传递均需要通过主内存来完成。

        在Java中，当一个变量被定义成volatile之后，可以保证此变量对所有线程的可见性，也即volatile变量在各线程是一致的（但并不意味着volatile变量的运算在并发下就是安全的），而普通变量无法做到这一点，因为普通变量的值在线程间传递均是通过主内存来完成的。比如线程A修改一个普通变量的值，然后向主存进行回写，另一个线程B在线程A回写结束之后再对主内存进行操作的话，新变量值才会对线程B可见。也就是说对于volatile变量所有写操作都能立刻反映到其他线程中，从物理存储角度看，各个线程的工作内存中volatile变量每次使用前都要先刷新，虽然执行引擎看不到不一致的情况，但仍然有可能存在不一致问题，因为java中的运算操作符并非原子操作，因为哪怕一条字节码指令都可能被转化为若干条机器码指令，这导致volatile变量的运算在并发下是不安全的。

        使用volatile变量的第二个语义是禁止指令重排序优化。计算机的处理器会对输入代码进行乱序执行优化，处理器会在计算之后将乱序执行的结果重组，保证结果与顺序执行的结果一致。因此如果存在一个计算任务依赖于另一个计算任务的中间结果，那么其顺序性并不能靠代码的先后顺序来保证。聪明的重排序可以提高程序执行的速度，充分利用计算机资源。从硬件架构上讲，指令重排序是指处理器采用了允许多条指令不按照程序规定的顺序分开发送给各个相应电路单元进行处理，而非任意重排序，重排序必须保证正确执行结果，比如两个有依赖关系的指令，就不能进行重排序。与处理器乱序执行优化类似，JVM的即时编译器中也有指令重排序优化。但指令重排序也可能会干扰程序的并发执行，某些情况下JVM按照它的规则进行重排序可能与程序员的意愿冲突，而导致程序错误执行，因此指令重排序是并发编程中最容易导致开发人员产生疑惑的地方之一。而使用volatile修饰变量，赋值后多执行了一个lock操作，该操作使得重排序时不能把后面的指令重排序到lock之前。

        那什么情况下适合使用volatile呢？首先，对于某个变量的所有运算，如果运算结果并不依赖变量的当前值，或者能够确保只有单一线程修改变量的值，那么可以使用volatile保证可见性，而没必要使用synchronized这种重量级锁；其次使用volatile的变量不应与其他变量共同参与不变约束。比如标志检查，即一个标志变量只在true和false之间切换，且切换时不依赖原值。volatile可以与双重检查锁定一起使用，以线程安全地实现单例模式。详情参考面试官：双重检查锁为什么要使用 volatile 字段?