java final域_java内存模型之-final域

1.1final域的重排序规则

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

1)在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用

变量，这两个操作之间不能重排序。

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

重排序。

1.1.1写final域重排序规则

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

1)JMM禁止编译器把final域的写重排序到构造函数之外。

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

写普通域的操作被编译器重排序到了构造函数之外，读线程B错误地读取了 普通变量i初始化之前的值。而写final域的操作，被写final域的重排序规则“限定”在了构造函数 之内，读线程B正确地读取了final变量初始化之后的值。

写final域的重排序规则可以确保：在对象引用为任意线程可见之前，对象的final域已经被 正确初始化过了，而普通域不具有这个保障。以上图为例，在读线程B“看到”对象引用obj时， 很可能obj对象还没有构造完成(对普通域i的写操作被重排序到构造函数外，此时初始值1还 没有写入普通域i)。

1.1.2读final域重排序规则

读final域的重排序规则是，在一个线程中，初次读对象引用与初次读该对象包含的final 域，JMM禁止处理器重排序这两个操作(注意，这个规则仅仅针对处理器)。编译器会在读final 域操作的前面插入一个LoadLoad屏障。

1.2 final 域为引用类型

对于引用类型，写final域的重 排序规则对编译器和处理器增加了如下约束：在构造函数内对一个final引用的对象的成员域

的写入，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。下面用样例程序解释一下：

public class FinalReferenceExample {

final int [] intArray; //final 是引用

static FinalReferenceExample obj;

public FinalReferenceExample (){ // 构造函数

intArray = new int[1]; //1

intArray[0] =1; //2

}

public static void writeOwo(){ //写线程A执行

obj = new FinalReferenceExample(); // 3

}

public static void writeTwo(){ //写线程A执行

obj.intArray[0] = 2; // 3

}

public static void reader(){ //写线程B执行

if(obj != null){ // 4

int temp1 = obj.intArray[0];

}

}

}

1是对final域的写入，2是对这个final域引用的对象的成员域的写入，3是把被 构造的对象的引用赋值给某个引用变量。这里除了前面提到的1不能和3重排序外，2和3也不能重排序。

1.3 final引用不能从构造函数内溢出

public class FinalReferenceEsacapeExample {

final int i;

static FinalReferenceEsacapeExample obj;

public FinalReferenceEsacapeExample(){

i = 1; //1

obj = this;　　　　　　　　　　 //2

}

public static void writer(){

new FinalReferenceEsacapeExample();

}

public static void reader(){

if(obj != null){

int temp = obj.i;

}

}

}

假设一个线程A执行writer()方法，另一个线程B执行reader()方法。这里的操作2使得对象 还未完成构造前就为线程B可见。即使这里的操作2是构造函数的最后一步，且在程序中操作2 排在操作1后面，执行read()方法的线程仍然可能无法看到final域被初始化后的值，因为这里的操作1和操作2之间可能被重排序

从图3-32可以看出：在构造函数返回前，被构造对象的引用不能为其他线程所见，因为此 时的final域可能还没有被初始化。在构造函数返回后，任意线程都将保证能看到final域正确初始化之后的值。

1.4final语义在处理器中的实现

上面我们提到，写final域的重排序规则会要求编译器在final域的写之后，构造函数return 之前插入一个StoreStore障屏。读final域的重排序规则要求编译器在读final域的操作前面插入 一个LoadLoad屏障。由于X86处理器不会对写-写操作做重排序，所以在X86处理器中，写final域需要的 StoreStore障屏会被省略掉。同样，由于X86处理器不会对存在间接依赖关系的操作做重排序， 所以在X86处理器中，读final域需要的LoadLoad屏障也会被省略掉。也就是说，在X86处理器 中，final域的读/写不会插入任何内存屏障！

JSR-133专家组增强了final的语义。通过为final域增加写和读重排序 规则，可以为Java程序员提供初始化安全保证：只要对象是正确构造的(被构造对象的引用在 构造函数中没有“逸出”)，那么不需要使用同步(指lock和volatile的使用)就可以保证任意线程 都能看到这个final域在构造函数中被初始化之后的值。