Java并发编程的艺术学习笔记（三） Java内存模型（六）

3.6 final域的内存语义

3.6.1 final域的重排序规则

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

3.6.2 写final域的重排序规则

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

写final域的规则可以确保：在引用对象为任意线程可用之前，对象的final域已经被正确初始化过了，而普通域不具有这个保障

3.6.3 读final域的重排序规则

初次读对象引用与初次读对象包含的final域，这两个操作具有间接依赖关系。因此编译器不会重排序这两个操作，但是少数处理器允许对存在间接依赖关系的操作重排序。这个规则就是专门针对这种处理器的。

读final域的重排序规则可用确保，在读一个对象的final域之前，一定会先读包含这个final域的对象的引用

3.6.4 引用类型的重排序

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

3.6.5 为什么final引用不能从构造函数“溢出”

在构造函数返回前，被构造对象的引用不能为其他线程所见，因为此时的final域可能还没有被初始化