对于 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 屏障。