对于 final 域，编译器和处理器要遵守两个重排序规则：
　　在构造函数内对一个 final 域的写，与随后把这个构造对象的引用赋值给一个变量，这两个操作之间不能重排序
　　初次读一个包含 final 域的对象的引用，与随后初次读这个 final 域，这两个操作之间不能重排序
　　举个例子：
public class FinalExample {
int i;// 普通变量
final int j;// final 变量
static FinalExample obj;
public FinalExample() {
i = 1;// 写普通域
j = 2;// 写 final 域
}
public static void writer() {// 写线程 A 执行
obj = new FinalExample();
}
public static void reader() {// 读线程 B 执行
FinalExample object = obj;
int a = object.i;
int b = object.j;
}
}
　　这里假设一个线程 A 执行 writer ()方法，随后另一个线程 B 执行 reader ()方法。
　　写 final 域的重排序规则
　　在写 final 域的时候有两个规则：
　　JMM 禁止编译器把 final 域的写重排序到构造函数之外
　　编译器会在 final 域的写之后，构造函数 return 之前，插入一个 StoreStore 屏障，这个屏障禁止处理器把 final 域的写重排序到构造函数之外。
　　分析上面的代码。
　　write 方法，只包含一行 obj = new FinalExample();，但是包含两个步骤：
　　构造一个 FinalExample 对象
　　把对象的引用赋值给 obj
　　假设线程 B 当中读 obj 与读成员域之间没有重排序。那么执行时序可能如下：

　　写 final 域的重排序规则可以确保:在对象引用为任意线程可见之前，对象的 final 域已经被正确初始化过了，而普通域不具有这个保障。
　　读 final 域的重排序规则
　　读 final 域的重排序规则如下:
　　在一个线程中，初次读对象引用与初次读该对象包含的 final 域，JMM 禁止处理器重排序这两个操作(注意，这个规则仅仅针对处理器)。编译器会在读 final 域操作的前面插入一个 LoadLoad 屏障。