JAVA 基础系列之 重排序和Volatile

重排序

在执行程序时，编辑器和处理器会对指令进行重排序，重排序分为：

1. 编译器重排序：在不改变代码语义的情况下，优化性能而改变了代码执行顺序；
2. 指令并行的重排序：处理器采用并行技术使多条指令重叠执行，在不存在数据依赖的情况下，改变机器指令的执行顺序；
3. 内存系统的重排序：使用缓存和读写缓冲区时，加载和存储可能是乱序执行。

比如现在有一段代码如下：

// 代码1
a = 1;
// 代码2
b = 1;

编译器和处理器为了提高并行度，可以将代码1和2调整顺序，即先执行代码1和代码2.
但是若有如下情况：

// 代码3
a = 1;
// 代码4
b = a;

这种情况因为代码3和4存在数据依赖和引用关系，存在hanpens-before关系，处理器和编辑器会遵守 as-if-serial原则，不会调整执行顺序。

as-if-serial 原则：不可以调整会导致执行结果改变的代码顺序(单线程)
hanpens-before：指前一个操作对后一个操作可见，并不是前一个操作必须在后一个操作之前执行

当存在控制依赖时，编译器和处理器会采用 猜测执行机制来提高并行度，如下代码：

a = 1;
flag = true;
if (flag) {// 代码5
	a *= 2;// 代码 6
}

代码5和6不存在数据依赖，可能会重排，处理器和编译器会先将代码6的执行结果放在缓冲区，等执行代码5之后，将缓冲区的结果直接赋值给a。
若要限制重排序，可以使用volatile关键字修饰变量。

volatile 限制重排序

volatile 会在读的前后加入loadload 屏障和loadStore屏障，在写后前后加入storestore和StoreLoad屏障。如下示意图：


小结：

• 当第一个操作是Volatile读时，不管第二个操作是什么，都不能重排序
• 当第一个操作是Volatile写时，第二个操作是Volatile读或写，不能重排序；
• 当第一个操作是普通读写，第二个操作是Volatile写时，不能重排序。

Volatile最常见的应用场景

1. 单例双重校验

class Singleton {
	private volatile static Singleton instance = null;
	private Singleton{}
	public static Singleton getInstance() {
		if(instance == null) { // 保证不能重排序
			synchronized (Singleton.class) {
				instance = new Singleton();
			}
		}
	}
}

2. 标记状态

volatile boolean shutdownRequested;

public void shutdown() { this.shutdownRequested = true; }

public void doWork() {
	while (!shutdownRequested) { // do shuff }
}

3. java 的线程安全类也使用了Volatile，例如：
   java.util.concurrent.atomic, java.util.concurrent包下的类.

volatile 容易混淆的点：它只是保证了数据的可见性，而非原子性，
而atomicInteger 如何保证原子的呢，是因为在对volatile 值进行修改的时候，会去比对主内存中的值，判断值是否被其他线程修改过，在进行修改