Volatile关键字

Volatile关键字

volatile 变量修饰的共享变量进行写操作的时候会多出第二行汇编代码，通过查 IA -32开发者手册可知， Lock 前缀的指令在多核处理器下会引发了两件事情：
1）将当前处理器缓存行的数据写回到系统内存。
2）这个写回内存的操作会使在其他 CPU 里缓存了该内存地址的数据无效。
为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存（L1,L2或其他）后再进行操作，但操作完不知道何时会写到内存。如果对声明了 volatile 的变量进行写操作， JVM 就会向处理器发送一条 Lock 前缀的指令，将这个变量所在缓在行的数据写回到系统内在。但是，就算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作就会有问题。所以，在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置为无效状态。当处理器对这个数据进行修改的时候，会重新从系统内存中把数据读到处理器缓存内。
1）lock前缀指令会引起处理器缓存回写到内存
lock前缀指令导致在执行指令期间，声言处理器的lock信号。在多处理器环境中，lock信号确保在声言该信号期间，处理器可以独占任何共享内存。但是，在最近的处理器里，lock信号一般不缩总线了，而是锁缓存，毕竟锁总线开销的比较大。对于Intel486和Pentium处理器，在锁操作时，总是在总线上声言LOCK#信号。但在P6和目前的处理器中，如果访问的内存区域已经缓存在处理器内部，则不会声言LOCK#信号。相反，它会锁定这块内存区域的缓存并回写到内存，并使用缓存一致性机制来确保修改的原子性，此操作被称为“缓存锁定”，缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据。
2)一个处理器的缓存回写到内存会导致其他处理器的缓存无效。IA-32处理器和Intel64处理器使用MESI(修改、独占、共享、无效)控制协议去维护内部缓存和其他处理器缓存的一致性。在多核处理器系统中进行操作的时候，IA-32和Intel64处理器能嗅探其他处理器访问系统内存和它们的内部缓存。处理器使用嗅探技术保证它的内部缓存、系统内存和其他处理器的缓存的数据在总线上保持一致。例如，在Pentium和P6family处理器中，如果通过嗅探一个处理器来检测其他处理器打算写内存地址，而这个地址当前处于共享状态，那么正在嗅探的处理器将使它的缓存行无效，在下次访问相同内存地址时，强制执行缓存行填充。

结论是：volatile保证可见性、不保证原子性、禁止指令重排