揭开volatile的神秘面纱——熟悉volatile 的内存语义

写在前面

当声明共享变量为 volatile 后，对这个变量的读/写将会很特别。为了揭开 volatile 的神秘面纱，本文将介绍 volatile 的内存语义及 volatile 内存语义的实现。

volatile 的特性

理解 volatile 特性的一个好方法是把对 volatile 变量的单个读/写，看成是使用同一个锁对这些单个读/写操作做了同步。下面通过具体的示例来说明，示例代码如下。

class VolatileFeaturesExample {
	volatile long vl = 0L; 				// 使用 volatile 声明 64 位的 long 型变量
	
	public void set(long l) {
		v1 = l; 						// 单个 volatile 变量的写
	}
	
	public void getAndIncrement() {
		v1++; 							// 复合（多个）volatile 变量的读/写
	}
	
	public long get() {
		return v1; 						// 单个 volatile 变量的读
	} 
}

假设有多个线程分别调用上面的 3 个方法，这个程序在语义上和下面程序等价。

class VolatileFeaturesExample {
	long vl = 0L; 							// 64 位的 long 型普通变量
	
	public synchronized void set(long l) { 	// 对单个的普通变量的写用同一个锁同步
		v1 = l;
	}
	
	public void getAndIncrement() { 		// 普通方法调用
		long temp = get(); 					// 调用已同步的读方法
		temp += 1L; 						// 普通写操作
		set(temp); 							// 调用已同步的写方法
	}
	
	public synchronized long get() { 		// 对单个的普通变量的读用同一个锁同步
		return v1;
	} 
}

如上面示例程序所示，一个 volatile 变量的单个读/写操作，与一个普通变量的读/写操作都是使用同一个锁来同步，它们之间的执行效果相同。

锁的 happens-before 规则保证释放锁和获取锁的两个线程之间的内存可见性，这意味着对一个 volatile 变量的读，总是能看到（任意线程）对这个 volatile 变量最后的写入。锁的语义决定了临界区代码的执行具有原子性。这意味着，即使是 64 位的 long 型 和 double 型变量，只要它是 volatile 变量，对该变量的读/写就具有原子性。
如果是多个volatile 操作或类似于 volatile++这种复合操作，这些操作整体上不具有原子性。

简而言之，volatile 变量自身具有下列特性:

• 可见性。对一个 volatile 变量的读，总是能看到（任意线程）对这个 volatile 变量最后的写入。
• 原子性：对任意单个 volatile 变量的读/写具有原子性，但类似于 volatile++这种复合操作不具有原子性。

volatile 写-读建立的 happens-before 关系

上面讲的是 volatile 变量自身的特性，对程序员来说，volatile 对线程的内存可见性的影响比 volatile 自身的特性更为重要，也更需要我们去关注。

从 JSR-133 开始（即从 JDK5 开始），volatile 变量的写-读可以实现线程之间的通信。从内存语义的角度来说，volatile 的写-读与锁的释放-获取有相同的内存效果：volatile 写和锁的释放有相同的内存语义；volatile 读与锁的获取有相同的内存语义。请看下面使用 volatile 变量的示例代码。

class VolatileExample {
	 int a = 0;
	 volatile boolean flag = false;
	 
	 public void writer() {
		 a = 1; // 1
		 flag = true; // 2
	 }
	 
	 public void reader() {
		 if (flag) { // 3
			 int i = a; // 4
			 ……
		 }
	 } 
 }

假设线程 A 执行 writer()方法之后，线程 B 执行 reader()方法。根据 happens-before规则，这个过程建立的 happens-before 关系可以分为 3 类：

• 根据程序次序规则，1 happens-before 2;3 happens-before 4。
• 根据 volatile 规则，2 happens-before 3。
• 根据 happens-before 的传递性规则，1 happens-before 4。

上述 happens-before 关系的图形化表现形式如下：

在上图中，每一个箭头链接的两个节点，代表了一个 happens-before 关系。黑色箭头表示程序顺序规则；橙色箭头表示 volatile 规则；蓝色箭头表示组合这些规则后提供的happens-before 保证。

这里 A 线程写一个 volatile 变量后，B 线程读同一个 volatile 变量。A 线程在写volatile 变量之前所有可见的共享变量，在 B 线程读同一个 volatile 变量后，将立即变得 对 B 线程可见。

volatile 写-读的内存语义

volatile 写的内存语义如下。当写一个 volatile 变量时，JMM 会把该线程对应的本地内存中的共享变量值刷新到主内存。以上面示例程序 VolatileExample 为例，假设线程 A首先执行 writer()方法，随后线程 B 执行 reader()方法，初始时两个线程的本地内存中的flag 和 a 都是初始状态。下图是线程 A 执行 volatile 写后，共享变量的状态示意图。

线程 A 在写 flag 变量后，本地内存 A 中被线程 A 更新过的两个共享变量的值被刷新到主内存中。此时，本地内存 A 和主内存中的共享变量的值是一致的。

当读一个 volatile 变量时，JMM 会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

如上图所示，在读 flag 变量后，本地内存 B 包含的值已经被置为无效。此时，线程 B 必须从主内存中读取共享变量。线程 B 的读取操作将导致本地内存 B 与主内存中的共享变量的值变成一致。

如果我们把 volatile 写和 volatile 读两个步骤综合起来看的话，在读线程 B 读一个volatile 变量后，写线程 A 在写这个 volatile 变量之前所有可见的共享变量的值都将立即变得对读线程 B 可见。

下面对 volatile 写和 volatile 读的内存语义做个总结：

• 线程 A 写一个 volatile 变量，实质上是线程 A 向接下来将要读这个 volatile 变量的某个线程发出了（其对共享变量所做修改的）消息。
• 线程 B 读一个 volatile 变量，实质上是线程 B 接收了之前某个线程发出的（在写这个 volatile 变量之前对共享变量所做修改的）消息。
• 线程 A 写一个 volatile 变量，随后线程 B 读这个 volatile 变量，这个过程实质上是线程 A 通过主内存向线程 B 发送消息。

volatile 内存语义的实现

下面来看看 JMM 如何实现 volatile 写/读的内存语义。重排序分为编译器重排序和处理器重排序。为了实现 volatile 内存语义，JMM 会分别限制这两种类型的重排序类型。下表是 JMM 针对编译器制定的 volatile 重排序规则表。

举例来说，第三行最后一个单元格的意思是：在程序中，当第一个操作为普通变量 的读或写时，如果第二个操作为 volatile 写，则编译器不能重排序这两个操作。

从上表我们可以看出：

• 当第二个操作是 volatile 写时，不管第一个操作是什么，都不能重排序。这个规 则确保 volatile 写之前的操作不会被编译器重排序到volatile 写之后。
• 当第一个操作是 volatile 读时，不管第二个操作是什么，都不能重排序。这个规 则确保 volatile 读之后的操作不会被编译器重排序到volatile 读之前。
• 当第一个操作是 volatile 写，第二个操作是 volatile 读时，不能重排序。

为了实现 volatile 的内存语义，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。对于编译器来说，发现一个最优布置来最小化插入屏障的总数几乎不可能。
为此，JMM 采取保守策略。下面是基于保守策略的 JMM 内存屏障插入策略。 ——·在每个 volatile 写操作的前面插入一个 StoreStore 屏障。

• 在每个 volatile 写操作的后面插入一个 StoreLoad 屏障。
• 在每个 volatile 读操作的后面插入一个 LoadLoad 屏障。
• 在每个 volatile 读操作的后面插入一个 LoadStore 屏障。

上述内存屏障插入策略非常保守，但它可以保证在任意处理器平台，任意的程序中都能得到正确的 volatile 内存语义。

下面是保守策略下，volatile 写插入内存屏障后生成的指令序列示意图，如下所示。

上图中的 StoreStore 屏障可以保证在 volatile 写之前，其前面的所有普通写操作已经对任意处理器可见了。这是因为 StoreStore 屏障将保障上面所有的普通写在 volatile 写之前刷新到主内存。

这里比较有意思的是，volatile 写后面的 StoreLoad 屏障。此屏障的作用是避免volatile 写与后面可能有的 volatile 读/写操作重排序。因为编译器常常无法准确判断在一个 volatile 写的后面是否需要插入一个 StoreLoad 屏障（比如，一个 volatile 写之后方法立即 return）。为了保证能正确实现 volatile 的内存语义，JMM 在采取了保守策略：在每个volatile 写的后面，或者在每个 volatile 读的前面插入一个 StoreLoad 屏障。从整体执行效率的角度考虑，JMM 最终选择了在每个 volatile 写的后面插入一个 StoreLoad 屏障。因为volatile 写-读内存语义的常见使用模式是：一个写线程写 volatile 变量，多个读线程读同一个 volatile 变量。当读线程的数量大大超过写线程时，选择在 volatile 写之后插入StoreLoad 屏障将带来可观的执行效率的提升。从这里可以看到 JMM 在实现上的一个特点：首先确保正确性，然后再去追求执行效率。

下面是在保守策略下，volatile 读插入内存屏障后生成的指令序列示意图，如下图所示。

上图中的 LoadLoad 屏障用来禁止处理器把上面的 volatile 读与下面的普通读重排序。 LoadStore 屏障用来禁止处理器把上面的 volatile 读与下面的普通写重排序。

上述 volatile 写和 volatile 读的内存屏障插入策略非常保守。在实际执行时，只要不改变 volatile 写-读的内存语义，编译器可以根据具体情况省略不必要的屏障。下面通过具体的示例代码进行说明。

class VolatileBarrierExample {
	 int a;
	 volatile int v1 = 1;
	 volatile int v2 = 2;
	 
	 void readAndWrite() {
		 int i = v1; // 第一个 volatile 读
		 int j = v2; // 第二个 volatile 读
		 a = i + j; // 普通写
		 v1 = i + 1; // 第一个 volatile 写
		 v2 = j * 2; // 第二个 volatile 写
	 }
	 … // 其他方法
}

针对 readAndWrite()方法，编译器在生成字节码时可以做如下的优化。

注意，最后的 StoreLoad 屏障不能省略。因为第二个 volatile 写之后，方法立即return。此时编译器可能无法准确断定后面是否会有 volatile 读或写，为了安全起见，编 译器通常会在这里插入一个 StoreLoad 屏障。

上面的优化针对任意处理器平台，由于不同的处理器有不同“松紧度”的处理器内存模型，内存屏障的插入还可以根据具体的处理器内存模型继续优化。以 X86 处理器为例，上图中除最后的 StoreLoad 屏障外，其他的屏障都会被省略。前面保守策略下的volatile 读和写，在 X86 处理器平台可以优化成如下图 所示。

前文提到过，X86 处理器仅会对写-读操作做重排序。X86 不会对读-读、读-写和写-写操作做重排序，因此在 X86 处理器中会省略掉这 3 种操作类型对应的内存屏障。在X86 中，JMM 仅需在 volatile 写后面插入一个 StoreLoad 屏障即可正确实现 volatile 写-读的内存语义。这意味着在 X86 处理器中，volatile 写的开销比 volatile 读的开销会大很多（因为执行 StoreLoad 屏障开销会比较大）。

JSR-133 为什么要增强 volatile 的内存语义

在 JSR-133 之前的旧 Java 内存模型中，虽然不允许 volatile 变量之间重排序，但旧的 Java 内存模型允许 volatile 变量与普通变量重排序。在旧的内存模型中，VolatileExample 示例程序可能被重排序成下列时序来执行，如下图所示。

在旧的内存模型中，当 1 和 2 之间没有数据依赖关系时，1 和 2 之间就可能被重排序（3 和 4 类似）。其结果就是：读线程 B 执行 4 时，不一定能看到写线程 A 在执行 1 时对共享变量的修改。因此，在旧的内存模型中，volatile 的写-读没有锁的释放-获所具有的内存语义。为了提供一种比锁更轻量级的线程之间通信的机制，JSR-133 专家组决定增强 volatile 的内存语义：严格限制编译器和处理器对 volatile 变量与普通变量的重排序，确保 volatile 的写-读和锁的释放-获取具有相同的内存语义。从编译器重排序规则和处理器内存屏障插入策略来看，只要 volatile 变量与普通变量之间的重排序可能会破坏volatile 的内存语义，这种重排序就会被编译器重排序规则和处理器内存屏障插入策略禁
止。

由于 volatile 仅仅保证对单个 volatile 变量的读/写具有原子性，而锁的互斥执行的特性可以确保对整个临界区代码的执行具有原子性。在功能上，锁比 volatile 更强大；在可伸缩性和执行性能上，volatile 更有优势。如果读者想在程序中用 volatile 代替锁，请一定谨慎，具体详情请参阅 Brian Goetz 的文章《Java 理论与实践：正确使用 Volatile 变量》。

参考资料

《java并发编程艺术》