并发编程 - final 的内存语义

final 的两个重排序规则

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

看write()方法，只包含一行代码obj = new FinalMemory();。这一行代码包含两个步骤：

1. 构造一个FinalMemory 类型的对象。
2. 把这个对象的引用赋值给引用变量obj。
   
   总结： 写final 域的重排序规则可以确保在对象引用为任意线程可见之前，
   对象的final 域已经被正常的初始化了，而普通域不具有这样的保证。

2、初次读一个包含final 域的对象的引用，与随后初次读这个final 域，这两
个操作之间不能重排序

在一个线程中，初次读对象引用与初次读该对象包含的final 域，JMM 禁止
处理器重排序这两个操作。编译器会在读final 域操作的前面插入一个LoadLoad
屏障。
reader()方法包含3 个步骤：

1. 初次读引用变量obj
2. 初次读引用变量obj 指向对象的普通域i
3. 初次读引用变量obj 指向对象的final 域j
   
   总结： 读final 域的重排序规则可以确保在读一个对象的final 域之前，一定
   会先读包含这个final 域的对象的引用。

final 语义的实现

会要求编译器在final 域的写之后，构造函数return 之前插入一个StoreStore障屏。

读final 域的重排序规则要求编译器在读final 域的操作前面插入一个LoadLoad 屏障