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