java并发编程的艺术学习笔记-final的内存语义

final的重排序规则

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

写final重排序规则

写重排序规则禁止把final域的写重排序到函数之外，两个方面的实现：

• JMM进制编译器把final域的写重排序到函数之外。
• 编译器会在final写域之后，构造函数return之前，插入一个StoreStore屏障。这个屏障禁止处理器把final域重排序到构造函数之外。
  总结：编译从排序保证final的赋值操作要在类始化之后赋值给一个变量之前（final的赋值不能重排序到构造函数之外），StoreStore屏障final的赋值（store）要在始化之后赋值给一个变量（store）之前执行，也就是刷新到主存。这就保证了类的final属性写刷新到主存要先于类初始化之后赋值（写）刷新到主存，而不会出现类初始化了，final变量没有赋值的现象。

读final域的重排序规则

在一个线程中，初次对对象引用于初次读该对象包含final域，不能重排序（尽在处理器方面）。这保证在读有个类对象的属性之前，要先加载该类的对象。编译器因为这两个操作存在间接得数据依赖不会进行重排序。编译器会在读final操作域之前插入一个LoadLoad屏障。这保证了要先从主存中加载类对象到本地内存，在加载类对象的final属性到本地内存中。

final域为引用类型

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