volatile应用详解

在多线程并发编程中，经常会用到synchronized和volatile修饰符，volatile可以理解为轻量级的synchronized，它在多处理器开发中保证了共享变量的可见性。可见性的意思时当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值。

如果volatile修饰符使用恰当的话，它比synchronized的使用和执行成本更低，它不会引起线程上下文的切换和调度，接下来，本文将深入分析volatile的使用方法。

volatile定义：Java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保通过排他锁单独获得这个变量。

Java语言提供了volatile，如果一个字段被声明为volatile，Java线程内存模型确保所有线程看到这个变量得值是一致的。

下表内容是与volatile相关的CPU术语，可以先了解一下。

术语	英文单词	属于描述
内存屏障	Memory barriers	一组处理器指令，用于实现对内存操作的顺序限制。
缓冲行	Cache line	CPU告诉缓存中可以分配的最小内存存储单位，处理器填写缓存行时，会加载整个缓存行，现代CPU需要执行几百次CPU指令。
原子操作	Atomic operations	不可中断的一个或一系列操作
缓存行填充	Cache fine fill	当处理器识别到从内存中读取操作数是可缓存的，处理器读取整个高速缓存行到适当的缓存（L1，L2，L3或所有）
缓存命中	Cache hit	如果高速缓存行行填充操作的内存位置仍然是下次处理器访问的地址时，处理器从缓存中读取操作数，而不是从内存中读取
写命中	Write hit	当处理器将操作数写回到一个内存缓存的区域时，它首先会检查这个缓存的内存地址是否在缓存行中，如果存在一个有效的缓存行，则处理器将这个操作数写回到缓存，而不是写回到内存，这个操作被称为写命中
写缺失	Write misses the cache	一个有效的缓存被写入到不存在的内存区域

被volatile变量修饰的共享变量进行写操作的时候会多汇编代码，该代码段中包含Lock前缀的指令，Lock前缀的指令在多核处理器下会触发以下两件事情：

1、将当前处理器缓存行的数据写回到系统内存；

2、写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。

为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存（L1、L2或其他）后再进行操作，但操作完后不知道何时会写到内存。如果对声明了volatile的变量进行写操作，JVM会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。但就算写回到系统内存，如果其他处理器缓存的值仍然是旧的，再执行计算操作就会有问题，所以在多处理器下，为了保证各个处理器的缓存时一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己的缓存是不是过期了，当处理器发现自己的缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器缓存里。

接下来再具体说一下Lock前缀的指令在多核处理器下会触发的两件事情：

将当前处理器缓存行的数据写回到系统内存：

Lock前缀指令导致在执行指令期间，声言处理器的Lock#信号，在多处理器环境中，Lock#信号确保在声言该信号期间，处理器可以独占任何内存。在最近的处理器里，Lock#信号一般不锁总线，而是锁缓存，区别在于锁总线的开销比较大。在Intel486和Pernium处理器中进行锁操作时，总是在总线上声言Lock#信号，但在P6和目前的处理器中，如果访问的内存区域已经缓存在处理器内部，则不会声言Lock#信号。相反，它会送钉这块内存区域的的缓存并写回到系统内存，并使用缓存一致性机制来确保修改的原子性，这种操作被称为“缓存锁定”，缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据。

写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效：

在多处理器系统中进行操作的时候，处理器能嗅探其他处理器访问内存和它们的内部缓存。处理器使用嗅探技术保证它的内部缓存、系统内存和其他处理的的内存在总线上保持一致。如果通过嗅探一个处理器来检测其他处理器打算写内存地址，而这个处理器当前处于共享状态，那么正在嗅探的处理器将使它的缓存行无效，在下次访问相同的地址时，强制执行缓存行填充。