Java 中 Volatile 关键字

基本概念

补充一下 java 内存模型中的可见性、原子性和有序性

可见性：

指的是线程之间的可见性，一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果，另一个线程马上可以看到。比如：用 volatile 修饰的变量，就会具有可见性。volatile 修饰的变量不允许线程内部缓存和重排序，即直接修改内存。所以对其他线程是可见的。但是这里要注意一个问题，volatile 只能让被他修饰内容具有可见性，但不能保证它有原子性。比如 volatile int a = 0 ; 之后有一个操作 a++；这个变量 a 具有可见性，但是 a++ 依然是一个非原子操作，也就是这个操作同样存在线程安全问题。

在 java 中volatile、synchronized 和 final 实现可见性。

原子性：

原子是程序的最小单位，具有不可分割性。比如 a = 0；这个操作是不可分割的，那么我们就可以称这个操作时原子操作。再比如：a++; 这个操作实际是 a = a + 1；是可分割的，所以它不是一个原子操作。非原子操作都会存在线程安全的问题，需要我们使用同步技术（sychronized）来让它变成一个原子操作。一个操作时原子操作，那么我们称它具有原子性。

在java 中 synchronized 和在 lock、unlock中操作保证原子性。

有序性：

Java 提供了 volatile 和 synchronized 两个关键字来保证线程之间操作的有序性，volatile 是因为其本身包含 "禁止指令重排序" 的语义，synchronized 是由"一个变量在同一时刻只允许一条线程对其进行 lock 操作" 这条规则获得的，此规则决定了持有同一个对象锁的两个同步块只能串行执行。

1 /**2  * @author zhengbinMac3  */4 public class NoVisibility {5     private static boolean ready;6     private static int number;7     private static class ReaderThread extends Thread {8         @Override9         public void run() {
10             while(!ready) {
11                 Thread.yield();
12             }
13             System.out.println(number);
14         }
15     }
16     public static void main(String[] args) {
17         new ReaderThread().start();
18         number = 42;
19         ready = true;
20     }
21 }

在这段代码中 NoVisibility 可能会持续循环下去，因为读线程可能永远都看不到 ready 值。甚至 NoVisibility 可能会输出 0，因为读线程可能看到了写入 ready 的值，但却没有看到之后写入 number 的值，这种现场被称为 “重排序”。只要在某个线程中无法检测到重排序的情况（即使在其他线程中可以明显地看到该线程中的重排序），那么就无法确保线程中的操作将按照程序中指定的顺序来执行。当主线程首先写入 number，然后再没有同步的情况下写入 ready ，那么读线程看到的顺序可能与写入的顺序完全相反。

在没有同步的情况下，编译器、处理器以及运行时间等都可能对操作的执行顺序进行一些意想不到的调整。在缺乏足够同步的多线程程序中，要想对内存操作的执行顺序进行判断，无法得到正确的结论。

Volatile 原理

Java 语言提供了以中国稍弱的同步机制，即 volatile 变量，用来确保将变量的更新操作通知到其他线程。当把变量声明为 volatile 类型后，编译器运行时就会注意到这个变量是共享的，因此不会将该变量上的操作与其他内存操作一起重排序。volatile 变量不会被缓存在寄存器或者对其他处理器不可见的地方，因此在读取 volatile 类型的变量时总会返回最新写入的值。

在访问 volatile 变量时不会执行加锁操作，因此也就不会使执行线程阻塞，因此 volatile 变量是一种比 sychronized 关键字更轻量级的同步机制。

当对非 volatile 变量进行读写的时候，每个线程先从内存拷贝变量到 COU缓存中。如果计算机有多个 CPU，每个线程可能在不同的 CPU上被处理，这意味着每个线程可以拷贝到不同的 CPU cache 中。

而声明变量是 volatile 的，JVM 保证了每次变量都从内存中读，跳过了 CPU cache 这一步。

当一个变量定义为 volatile 后，将具备两种特性：

保证此变量对所有的线程的可见性，当一个线程修改了这个变量的值，volatile 保证了新值能够立即同步到主内存，以及每次使用前立即从主内存刷新。
禁止指令重排序优化。有 volatile 修饰的变量，赋值后多执行了一个 “load addl $0x0,(%esp)”操作，这个操作相当于一个内存屏障（指令重排序时不能把后面的指令重排序到内存屏障之前的位置），只有一个CPU访问内存时，并不需要内存屏障。

（指令重排序：CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理）