final关键字理解与双重锁机制的优化

常见的解释，
final修饰类，类不能被继承
final修饰方法，方法不能被重写
final修饰变量，表示常量

但看了《java并发编程的艺术》后，发现final还有别的作用：

final域的内存语义：

3.6.1 final域，编译器和处理器要遵守两个重排序规则：
1.要构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。
2.初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。
3.6.2 写final域的重排序规则
写final域的重排序规则禁止把final域的写重排序到构造函数之外。这个规则的实现包含两个方面。
1.JMM禁止编译器把final域的写重排序到构造函数之外。
2.编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障。这个屏障禁止处理器把final的写重排序到构造函数之外。

3.6.3 读final域的重排序规则
在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作。

3.6.4 final域为引用类型

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

3.6.5 为什么final引用不能从构造函数内“溢出”
在引用变量为任意线程可见之前，该引用变量指向的对象的final域已经在构造函数中被正确初始化过了。

要得到这个效果，还需要一个保证：在构造函数内部，不能让这个被构造对象的引用为其他线程可见，也就是对象引用不能再构造函数中“逸出”。

双重锁机制的优化

双重锁代码的实现如下：

 public class Single{
 private static Instance instance;
 public static Instance getInstance(){
  if(instance == null){
    synchronized(Single.class){
     if(instacnce == null){
     instance = new Instance(); //1
     }
    }
  }
  return instance;
}
}

1处创建了一个对象，这一行代码可以分解三步：
分配对象的内存空间
初始化对象
设置instance指向刚分配的内存空间

但是第二步与第三步可能重排序，导致别的线程看见了还没初始化的对象。

解决方法：
1.禁止指令重排（用volatile关键字）
2.保证重排序对其他线程不可见。（用静态内部类）