From：Java并發(fā)編程的藝術(shù)
- 目錄
BiBi - 并發(fā)編程 -0- 開篇
BiBi - 并發(fā)編程 -1- 挑戰(zhàn)
BiBi - 并發(fā)編程 -2- volatile
BiBi - 并發(fā)編程 -3- 鎖
BiBi - 并發(fā)編程 -4- 原子操作
BiBi - 并發(fā)編程 -5- Java內(nèi)存模型
BiBi - 并發(fā)編程 -6- final關(guān)鍵字
BiBi - 并發(fā)編程 -7- DCL
BiBi - 并發(fā)編程 -8- 線程
BiBi - 并發(fā)編程 -9- ReentrantLock
BiBi - 并發(fā)編程 -10- 隊列同步器
BiBi - 并發(fā)編程 -11- 并發(fā)容器
BiBi - 并發(fā)編程 -12- Fork/Join框架
BiBi - 并發(fā)編程 -13- 并發(fā)工具類
BiBi - 并發(fā)編程 -14- 線程池
BiBi - 并發(fā)編程 -15- Executor框架
final在并發(fā)中的應(yīng)用
當(dāng)對象被正確構(gòu)造時，即被構(gòu)造對象的引用在構(gòu)造函數(shù)中沒有【逸出】左电，那么不需要使用同步就可以保證任意線程都能看到這個final域在構(gòu)造函數(shù)中被初始化之后的值恋沃。
在舊的Java內(nèi)存模型中，線程可能看到final域的值是會改變的番电。因為初始值有默認(rèn)值0撒强、false挽荡、null。通過為final域增加讀/寫重排序規(guī)則误续，來保證初始化的安全蓝翰。
final域的重排序規(guī)則
1）在構(gòu)造函數(shù)內(nèi)對一個final域的寫入，與隨后把這個被構(gòu)造對象的引用賦值給一個引用變量女嘲，這兩個操作之間不能重排序畜份。編譯器會在final域的寫之后，構(gòu)造函數(shù)return之前欣尼，插入一個StoreStore屏障爆雹。這個屏障禁止處理器把final域的寫重排序到構(gòu)造函數(shù)之外。
寫final域的重排序規(guī)則可以保證：在對象引用為任意線程可見之前愕鼓，對象的final域已經(jīng)被正確初始化了钙态，而普通域不具有這個保障。
2）初次讀一個包含final域的對象的引用菇晃，與隨后初次讀這個final域册倒，這兩個操作之間不能重排序。編譯器會在讀final域操作的前面插入一個LoadLoad屏障磺送。讀對象的普通域的操作可能被處理器重排序到讀對象應(yīng)用之前而導(dǎo)致錯誤驻子，讀對象的final域則不會。即在讀一個對象的final域之前估灿，一定會先讀取包含這個final域的對象的引用崇呵。而普通域，則不能保證馅袁。
final域為引用類型
public class FinalExample {
final int[ ] intArray;
static FinalExample obj;
public FinalExample () {
intArray = new int[1]; // 1
intArray[0] = 1; // 2
}
public static void writeOne() {
obj = new FinalExample(); // 3
}
}
寫final域引用的重排序規(guī)則：在構(gòu)造函數(shù)內(nèi)對一個final引用的對象的成員域的寫入【intArray[0] = 1】域慷，與隨后在構(gòu)造函數(shù)外把這個被構(gòu)造對象的引用賦值給一個引用變量，這兩個操作之間不能重排序汗销。即操作 1 和操作 3 不能重排序犹褒，并且操作 2 和操作 3 也不能重排序。
對象【逸出】問題
上述講到的弛针，寫final域的重排序規(guī)則可以保證：在對象引用為任意線程可見之前叠骑，對象的final域已經(jīng)被正確初始化了。其實這個還需要一個前提：在構(gòu)造函數(shù)內(nèi)部钦奋，不能讓這個被構(gòu)造對象的引用為其它線程所見座云，也就是對象引用不能在構(gòu)造函數(shù)中【逸出】。
public class FinalExampleT {
final int i;
static FinalExampleT obj;
public FinalExampleT () {
i = 1; // 1
obj = this; // 2 "逸出"
}
}
因為操作 1 和操作 2 可能會重排序付材，導(dǎo)致能夠獲取到對象FinalExampleT的引用朦拖，但是FinalExampleT中的final域i，還沒有初始化厌衔，這不符合jvm的設(shè)計規(guī)范璧帝。
