volatile不会用，怎么办？

前言

volatile是java虚拟机提供的一个轻量级的同步机制，大多数情况下比锁的开销更低，因此在合适的条件下我们有必要使用它。但是要使用他，我们必须对他的具体作用，使用场景，使用限制进行透彻的了解。才能避免在开发中误用带来的不安全问题。

作用

变量修饰符，保证变量的可见性以及禁止指令重排优化。下面将对可见性和指令重排做详细的介绍，从而更好的认清他的作用。

可见性

指当一个线程修改了这个变量的值，新的值对于其他线程来说是立即得知的。而普通变量做不到这一点，普通变量的值在线程间传递均需要通过主内存来完成。例如：线程A修改了一个普通变量的值，然后向主内存进行回写，另外一条线程B在线程A回写完成了之后再从主内存进行读取操作，新的值对于线程B才可见。这里提到主内存，这个是java内存模型，在介绍Java内存模型之前有必要了解一下硬件的效率和一致性。

硬件的效率和一致性

我们知道存储设备与处理器的处理速度不是一个数量级的差距，处理器大多数情况下会与内存进行交互，比如读取运算数据，存储运算结果等，所以现代系统中加入了一层读写速度尽可能接近处理器运算速度的高速缓存来处理处理器与内存之间直接缓冲；将运算需要的数据复制到高速缓存，让运算能快速进行，当运算结束后再从缓存同步回内存之中。这样处理器就无需等待缓慢的内存读写了。

每个处理器都有自己的高速缓存，而他们共享一个内存。当多个处理器运算任务都同步到同一块主内存区域时，可能会导致各自缓存数据不一致，因此处理器在访问缓存时都需要遵循一些协议来进行读写操作。这里就不具体说明，有个概念就行。处理器，高速缓存，主内存之间的关系如下图：

除了增加高速缓存外，为了使得处理器内部的元单元能尽量被充分利用，处理器可能会对输入的代码进行乱序执行优化，计算之后将乱序执行的结果重组，保证该结果与顺序执行的结果一致，但不保证程序中各个语句计算的先后顺序与输入代码的顺序一致。

Java内存模型

Java虚拟机规范中定义的一种内存模型来屏蔽各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的内存访问效果。

Java内存模型定义程序中各个变量的访问规则，及虚拟机中将变量存储到内存和从内存去取变量这样的底层细节。此处的变量与Java编程中所说的变量有所区别，包括实例字段，静态字段和构成数组对象的元素。不包括局部变量和方法参数，因为后者是线程私有的，不被共享。

Java内存模型分为两类，主内存和工作内存。其中定义所有的变量都存储在主内存中，工作内存（可与高速缓类比）为线程私有，工作内存中保存了该线程使用到的变量的主内存拷贝，线程对变量的所有操作（读取，赋值等）都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程直接的也无法访问对方工作内存中的变量，线程之间值传递均需要通过主内存按错。线程、工作内存、主内存的交互如下图：

指令重排序

指令重排指CPU采用了运行将多条指令不按程序规定的顺序分开发送给相应的电路单元处理。但是并不是说指令任意重排，CPU需要能够正确处理指令依赖情况以保障程序能够得出正确的执行结果。这是java虚拟机的即时编译器做的优化。

注意事项

不符合以下两条规则的运算场景，我们仍然需要通过加锁来保证原子性

1. 运算结果过并不依赖当前变量的当前值，或者能够确保只有单一的线程修改变量的值。
2. 变量不需要与其他的状态变量共同参与不变约束。

总结

在某些情况下volatile的同步机制的性能要比锁更优，但是由于虚拟机对锁实行的许多消除和优化，使得我们很难量化的任务volatile就会比synchronized快多少。不过即便如此，大多数情况下volatile的总开销仍然要比锁低，我们在volatile与锁之中选择的唯一依据仅仅是volatile的语义能否满足使用场景的需求。