java併發知識合集(前置知識——java內存模型)

JMM規範：

　一.概念：規範了java虛擬機與計算機內存如何協同工做，它規定了一個線程如何和什麼時候能夠看到其餘線程修改過的共享變量的值，以及在必須時如何同步地訪問共享變量。

　　　備註：若是兩個線程同時調用了同一個對象的同一個方法，他們都會訪問這個對象的成員變量，此時這個兩個線程擁有的只是這個對象的私有拷貝。

　　　如圖：

　　　　

　　二.八種同步操做

 　　　一、luck（鎖定）：做用於主內存的變量，它把一個變量標示爲一條線程獨佔的狀態。

    　　 二、unlock（解鎖）：做用於主內存的變量，它把一個處於鎖定狀態的變量釋放出來，釋放後的變量才能夠被其餘線程鎖定。

    　　 三、read（讀取）：做用於主內存的變量，它把一個變量的值從主內存傳輸到工做內存中，以便隨後的load動做使用。

    　　 四、load（載入）：做用於工做內存的變量，它把read操做從主內存中獲得的變量值放入工做內存的變量副本中。

    　　 五、use（使用）：做用於工做內存的變量，它把工做內存中的一個變量的值傳遞給執行引擎，每當虛擬機遇到一個須要使用到變量的值得字節碼指令時將會執行這個操做。

   　　 六、assign（賦值）：做用於工做內存的變量，它把一個從執行引擎接收到的值賦給工做內存的變量，每當虛擬機遇到一個給變量賦值的字節碼指令時執行這個操做。

   　　 七、store（存儲）：做用於工做內存的變量，它把工做內存中的一個變量的值傳遞到主內存中，以便隨後的write操做使用。

   　　 八、write（寫入）：做用於主內存的變量，它把store操做從工做內存中獲得的變量值放入主內存的變量中。

　　三.對應的同步規則

　　　一、不容許read和load、store和write單獨出現。即不容許一個變量從主內存讀取了但工做內存不接受，或者從工做內從發起會寫了但主內存不接受的狀況出現。

　　　二、不容許一個線程丟棄它的最近的assign操做，即變量在工做內存中改變了以後必須把該變化同步到主內存裏。

　　　三、不容許一個線程無緣由地把數據從線程工做內存同步回主內存中，即沒有發生過任何的assign操做就同步到主內存中。

　　　四、一個新的變量只能在主內存中誕生，不容許在工做內存中直接使用一個沒有被初始化（load或assign）的變量，換句話說，就是對一個變量實施use、store操做以前，必須先執行assign和load操做。

　　   五、一個變量在同一時刻，只容許一個線程對其進行loack操做，但lock操做能夠被同一個線程重複執行屢次，屢次執行lock後，只有執行相同次數的unloack操做，變量才能被解鎖。

　　  六、若是對一個變量執行了lock操做，那將會清空工做內存中此變量的值，在執行引擎使用這個變量前，須要從新執行load或assign操做初始化變量的值。

　　  七、若是一個變量事先沒有被lock操做鎖定，那就不容許對他執行unlock操做，也不容許去unlock一個被其餘線程鎖定住的變量

　　  八、對一個變量執行unlock操做以前，必須先把此變量同步回主內存中（執行store、write操做）。

    四.操做與規則關係圖以下：

　　　

 

 

注：感謝慕課網jimin老師，作這個併發集合知識總結的初衷徹底是由於看完他的《Java併發編程與高併發解決方案》產生的想法。