final域的内存语义

final域的重排序规则

对于final域，编译器和处理器要遵守两个重排序规则：

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这个两个操作之间不能重排序
2. 初次读一个包含final域的对象引用，与随后初次读这个final域，这个两个操作不能重排序

写final域的重排序规则

写final域的重排序规则禁止把final域的写重排序到构造函数之外
通过以下两个方面来保证：

1. JMM禁止编译器把final域的写重排序到构造函数之外
2. 编译器会在final域写之后，构造函数return之前，插入一个StoreStore屏障。（这个屏障禁止处理器把final域写重排序到构造函数之外）

读final域的重排序规则

在一个线程中，初次对对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这个两个操作。（仅仅只针对处理器）
编译器会在读final域之前插入一个LoadLoad屏障。
初次读对象引用与初次读该对象包含的final域之间由间接依赖关系，所有编译器不会重排序两个操作，处理器大多也支持，不会重排序两个操作。
但是还是由少部分处理器会对有间接依赖关系的操作进行重排序，所有该规则就是针对这类处理器（alpha处理器）
所以读final域的重排序规则，可以确保读final域之前先读包含该final域的对象的引用。

final域为引用类型的情况

对于引用类型。写final域的重排序规则对编译器和处理器增加了以下约束：

1. 在构造函数内对一个final引用对象的成员域写入，与随后在构造函数外把这个构造对象的引用赋值给一个引用变量，这两个操作是不允许重排序的。