作用

一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：

  1. 保证了不同线程对这个变量进行操作时的可见性。（一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的）
  2. 禁止进行指令重排序。

例子

先看一段代码，假如线程1先执行，线程2后执行：

  1. //线程1
  2. boolean stop = false;
  3. while(!stop){
  4.     doSomething();
  5. }
  7. //线程2
  8. stop = true;

这段代码有可能无法中断线程

每个线程在运行过程中都有自己的工作内存，那么线程1在运行的时候，会将stop变量的值拷贝一份放在自己的工作内存当中。那么当线程2更改了stop变量的值之后，但是还没来得及写入主存当中，线程2转去做其他事情了，那么线程1由于不知道线程2对stop变量的更改，因此还会一直循环下去。

但是用volatile修饰之后就变得不一样了：

  1. 使用volatile关键字会强制将修改的值立即写入主存
  2. 使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）
  3. 由于线程1的工作内存中缓存变量stop的缓存行无效，所以线程1再次读取变量stop的值时会去主存读取


volatile不能保证原子性