提前发现更多精彩内容，请访问个人博客 提前发现更多精彩内容，请访问个人博客 提前发现更多精彩内容，请访问个人博客

写在前面

在可见性有序性，Happens-before来搞定文章中，happens-before 的原则之一: volatile变量规则

对一个 volatile 域的写, happens-before 于任意后续对这个 volatile 域的读

按理说了解了这个规则，对 volatile 的使用就已经足够了，但是面试官可是喜欢刨根问到底的，为了更透彻的了解 volatile 的内存语义与读写语义，为了面试多一些谈资进而获得一些加分项，同时尽早填补前序文章留下的坑，于是乎这篇文章就这样尴尬的诞生了

happens-before 之 volatile 变量规则

下面的表格你还记得吗？(是的，你记得😂)

能否重排序	第二个操作	第二个操作	第二个操作
第一个操作	普通读/写	volatile 读	volatile 写
普通读/写	-	-	NO
volatile 读	NO	NO	NO
volatile 写	-	NO	NO

上面的表格是 JMM 针对编译器定制的 volatile 重排序的规则，那 JMM 是怎样禁止重排序的呢？答案是内存屏障

内存屏障 (Memory Barriers / Fences)

无论你听过这个名词与否都没关系，很简单，且看

为了实现 volatile 的内存语义，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序

这句话有点抽象，试着想象内存屏障是一面高墙，如果两个变量之间有这个屏障，那么他们就不能互换位置(重排序)了，变量有读(Load)有写(Store)，操作有前有后，JMM 就将内存屏障插入策略分为 4 种:

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

1 和 2 用图形描述以及对应表格规则就是下面这个样子了:

3 和 4 用图形描述以及对应表格规则就是下面这个样子了:

其实图形也是表格内容的体现，只不过告诉大家内存屏障是如何禁止指令重排序的，所以大家只要牢记表格内容即可

一段程序的读写通常不会像上面两种情况这样简单，这些屏障组合起来如何使用呢？其实一点都不难，我们只需要将这些指令带入到文章开头的表格中，然后再按照程序顺序拼接指令就好了

来看一小段程序:

public class VolatileBarrierExample {

	private int a;
	private volatile int v1 = 1;
	private 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写
	}
}

将屏障指令带入到程序就是这个样子:

我们将上图分几个角度来看:

彩色是将屏障指令带入到程序中生成的全部内容，也就是编译器生成的**「最稳妥」**的方案
显然有很多屏障是重复多余的，右侧虚线框指向的屏障是可以被**「优化」**删除掉的屏障

到这里你应该了解了 volatile 是如何通过内存屏障保证程序不被"擅自"排序的，那 volatile 是如何保证可见性的呢？

volatile 写-读的内存语义

回顾一下之前文章内容中的程序，假定线程 A 先执行 writer 方法，随后线程 B 执行 reader 方法，:

public class ReorderExample {

	private int x = 0;
	private int y = 1;
	private volatile boolean flag = false;

	public void writer(){
		x = 42;	//1
		y = 50;	//2
		flag = true;	//3
	}

	public void reader(){
		if (flag){	//4
			System.out.println("x:" + x);	//5
			System.out.println("y:" + y);	//6
		}
	}
}