java中volatile关键字

volatile提供可见性支持，但是不能控制并发。

在说volatile关键字之前，要先提一下JMM（java内存模型）对java线程之间通信的控制，线程之间的共享变量存储在主内存（Main Memory）中，每个线程都有一个私有的本地内存（Local Memory），本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化。

两个线程访问一个未用volatile修饰的变量 t ，cpu1线程会从主存中读取一份副本到线程本地内存（CPU缓冲区），线程在读数据时会先读本地内存的数据，导致读到的是缓存的旧数据。

volatile实现可见性的原理：通过volatile修饰的变量会在转成汇编指令的时候，多出一个lock前缀的指令，这个指令在多核处理器下会引发两件事：

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

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

通过这两条保证了所有线程都是从主存中读取最新的数据而不再从线程本地内存（缓存）中读取数据。

思考&疑问：不知道有没有同学和我一样在没弄清楚volatile的概念的时候，对volatile不能保证线程安全产生了疑问，既然在写回内存的操作会使其他cpu里缓存了改内存地址的数据无效，也就是说就算是两个线程同时读了一个主存的最新数据 i 并且保存到自己的线程本地内存中，并且都对该数据做了+1的操作，那在线程A先把数据写回到主存中，同时发生操作2，使线程B里缓存了该内存地址的数据无效，那线程B对 i 的修改也就无法保存，也就是无法覆盖线程A更新的值， 那为什么说volatile不能保证线程安全呢？

答：对操作2的理解有错，应该是这么理解，写回内存的操作并不是清空其他线程本地内存缓存的数据，而是让其他线程下次读取 i 数据的值的时候，JMM会把该线程对应的本地内存置为无效，而应该从共享内存中读。所以线程B和线程A是在同时获取到了主存中最新的数据，再修改数据并且同步到主存中去的时候，会覆盖掉线程A的修改。