作用：

  • final 修饰的类叫最终类，该类不能被继承。
  • final 修饰的方法不能被重写。
  • final 修饰的变量叫常量，常量必须初始化，初始化之后值就不能被修改。

 

内存屏障:

内存屏障（Memory Barier，或者有时叫做内存栅栏，Memory Fence）是一种CPU指令，用于控制特定条件下的重排序和内存可见性问题。Java编译期也会根据内存屏障的规则禁止重排序。
内存屏障可以分为以下几种类型:

  • LoadLoad屏障：Load1；LoadLoad；Load2，在Load2及后续读取操作要读取的数据被访问前，保证Load1要读取的数据被读取完毕。
  • StoreStore屏障：Store1；StoreStore；Store2；在Store2及其后续的写入操作执行前，保证Store1的写入操作对其他的处理器可见。
  • LoadStore屏障：Load1；LoadStore；Store2；在Store2及后续写入操作被刷出前，保证Load1要读取的数据被读取完毕。
  • StoreLoad屏障：Store1；StoreLoad；Load2；在Load2及其后续的读取操作被执行前，保证Store1的写入对所有处理器可见。它的开销是四种屏障中最大的。 在大多数处理器的实现中，这个屏障是个万能屏障，兼具其他三种内存屏障的功能。

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

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

写final域的重排序规则

写final域的重排序规则禁止把final域的写重排序到构造函数之外。这个规则的实现包含2个方面：

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

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

读final域的重排序规则

读final域的重排序规则如下：

  • 在一个线程中，初次读对象引用与初次读改对象包含的final域，JVM禁止处理器重排序这两个操作（仅仅针对处理器）。编译器会在读final域操作的前面插入一个LoadLoad屏障。

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