JAVA内存模式-6-final

final变量规则

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

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。（编译器会在final域写之后，return之前插入一个StoreStore屏障指令）
2. 初次读一个包含final域的对象引用，与随后初次读这个final域，这两个操作之间不能重排序。

final引用类型规则

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

为什么final引用不能从构造函数中逸出？

写final域的重排序规则可以保证：在引用变量变成任意线程可见之前，该引用变量所指向的对象的final域已经在构造函数中被正确初始化过了。

final语义在处理器中的实现

写final域重排序规则要求编译器在final域写之后、构造函数return之前，插入一个StoreStore。

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

final发展历史

在旧JAVA内存模型中，最严重的一个缺陷是线程可能看到final域的值会改变，例如：A线程看到一个整形final域的值为0，过一段时间之后A线程再去读final域的时候值变成了1.

为了修补这个漏洞，JSR-133增强了final语义。通过final域写、读的重排序规则，可以提供初始化安全保证：写的时候通过StoreStore强制刷新到主内存、禁止写与读重排序，这样就能保证先写后读。