Java內(nèi)存模型學(xué)習(xí)
內(nèi)存模型
Java內(nèi)存模型主要由JMM控制，JMM決定了一個線程對共享變量的寫入何時對另一個線程可見。
JMM定義了線程和主內(nèi)的抽象關(guān)系：線程的共享變量存在主存，每一個線程都有私有的本地內(nèi)存。
指令重排序
編譯器和處理器常常會對指令進(jìn)行重排序
內(nèi)存屏障
JMM的處理器的重排序規(guī)則要求對Java編譯器在生成指令序列時，插入特定的內(nèi)存屏障，禁止指令重排序來保證內(nèi)存一致性。
Happens-before 規(guī)則
在JMM中，如果一個操作執(zhí)行的結(jié)果需要對另一個操作可見，那么這兩個操作之間必須存在happens-before關(guān)系。
as-if-serial語義
as-if-serial語義的意思是：不管怎么重排序，單線程的程序執(zhí)行結(jié)果不能被改變。
順序一致性內(nèi)存模型
1 一個線程中的所有操作必須按照程序的順序來執(zhí)行
2 所有線程都只能看到一個單一的操作執(zhí)行順序，在順序一致性的內(nèi)存模型中，每一個操作都必須原子性執(zhí)行且立即對所有線程可見。
volitale的內(nèi)存語義
當(dāng)聲明一個共享變量為volitale后，對這個變量的讀寫將會很特別。
- 可見性
對一個volatile變量的讀，總是能看到任意線程對這個volitale變量的寫入 - 原子性
對任意單個volitale變量的讀/寫具有原子性，但類似volitale++這種復(fù)合操作不具有原子性
volitale對應(yīng)的內(nèi)存語義：
當(dāng)寫一個volitale變量時，JMM會把該線程對應(yīng)的本地內(nèi)存中的共享變量的值刷新到主內(nèi)存。
final域的內(nèi)存語義
- 1 在構(gòu)造函數(shù)內(nèi)對一個final域的寫入，與隨后把這個被構(gòu)造對象的引用賦值給一個引用變量，這兩個操作之間不能被重排序
- 2初次讀一個包含final域的對象的引用，與隨后初次讀到這個final域，這兩個操作之間不能重排序
參考資料：
Java并發(fā)編程的藝術(shù)
