07volatile的定义与实现原理

它在多处理器中保证了共享变量的“可见性”。可见性的意思是，当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值。它不会引起线程上下文切换和调度，它比synchronized的使用和执行成本更低。

java语言规范第三版中对volatile的定义如下：java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保通过排它锁单独获得这个变量。java语言提供了volatile，在某些情况下比锁更方便。如果一个字段被声明为volatile，java线程内存模型确保所有线程看到的这个变量的值是一致的。

有volatile变量修饰的共享变量进行写操作时会多出Lock前缀的汇编代码，Lock前缀的指令在多核处理器下会发生两件事情：

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

   Lock前缀指令导致在执行指令期间，声言处理器的LOCK#信号，在多核处理器环境中，LOCK#信号确保在声言该信号期间，处理器可以独占任何共享内存。最近处理器中，一般不锁总线，如果已经缓存在处理器内部，它会锁定这块内存区域的缓存并写回到内存，并使用缓存一致性机制来确保修改的原子性，此操作被称为“缓存锁定”，缓存一致性会阻止同时修改由两个以上处理器缓存的内存区域数据。

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

   处理器使用嗅探技术来保证它的内部缓存、系统内存和其他处理器的缓存的数据在总线上保持一致。如果嗅探到其他处理器写共享内存，那么正在嗅探的处理器将使自己对应的数据的缓存行置为无效，在下次访问相同内存地址时，强制执行缓存行填充。

实时内容请关注微信公众号，公众号与博客同时更新：程序员星星