1、final域的重排序規則
2、寫final域的重排序規則
寫final域的重排序規則確保：在物件引用為任意執行緒可用之前，物件的final域已經被正確初始化，普通域不具有這個保障。
3、讀final域的重排序規則
讀final域的重排序規則保證：在讀乙個final域之前，一定先讀該final域的物件的引用。
4、final域為引用型別
在建構函式內對乙個final引用的物件的成員域的寫入，與隨後在建構函式外把構造的物件的引用賦值給乙個引用變數，這兩個操作之間不能重排序。
5、jsr-133為什麼要增強final語義
只要物件是正確構造的（被構造物件的引用在建構函式中沒有溢位），那麼不需要使用同步（指lock與volatile的使用）就可以保證任意函式都可以看到final域在建構函式內被初始化後的值。
java記憶體模型
一 原子性 原子性是指乙個操作是不可中斷的，即使是多個執行緒一起執行的時候，乙個操作的開始，就不會被其他執行緒干擾 那麼有人會想到 i 是原子操作嗎?答案肯定不是。因為i 至少包含兩個操作，讀 從記憶體中讀出來 和行為 加上去 還有可能把加完後的資料在方法到i裡面去，出來也是1，這兩個執行緒同時進行...
Java記憶體模型
1.首先，執行緒a把本地記憶體a中更新過的共享變數重新整理到主記憶體中去。2.然後，執行緒b到主記憶體中去讀取執行緒a之前已更新過的共享變數。1.共享物件對各個執行緒的可見性 2.共享物件的競爭現象 指令級並行的重排序 如果不存l在資料依賴性，處理器可以改變語句對應機器指令的執行順序。記憶體系統的重...
Java記憶體模型
int x 0 thread a int y x thread bint x 5 int y 8 int z x y 關於上面的 存在這樣關係 x和z之間存在資料依賴關係，同時y和z之間也存在資料依賴關係。為了得到正確的結果，執行指令序列時，z不能重排序到x和y的前面。但是x和y之間並沒有資料依賴關...