JVM中(留神:馬上講到的這兩個存儲區只在JVM內部與物理存儲區無關)存在一個主記憶體(Main Memory),Java中所有的變數存儲在主記憶體中,所有實例和實例的欄位都在此區域,對於所有的線程是共用的(相當於黑板,其他人都可以看到的)。每個線程都有自己的工作記憶體(Working Memory),工 ...
JVM中(留神:馬上講到的這兩個存儲區只在JVM內部與物理存儲區無關)存在一個主記憶體(Main Memory),Java中所有的變數存儲在主記憶體中,所有實例和實例的欄位都在此區域,對於所有的線程是共用的(相當於黑板,其他人都可以看到的)。每個線程都有自己的工作記憶體(Working Memory),工作記憶體中保存的是主存中變數的拷貝,(相當於自己筆記本,只能自己看到),工作記憶體由緩存和堆棧組成,其中緩存保存的是主存中的變數的copy,堆棧保存的是線程局部變數。線程對所有變數的操作都是在工作記憶體中進行的,線程之間無法直接互相訪問工作記憶體,變數的值得變化的傳遞需要主存來完成。在JMM中通過併發線程修改的變數值,必須通過線程變數同步到主存後,其他線程才能訪問到。
看看這個圖是不是更形象
好啦,下麵來看線程對某個變數的操作步驟:
1.從主記憶體中複製數據到工作記憶體
2.執行代碼,對數據進行各種操作和計算
3.把操作後的變數值重新寫回主記憶體中
現在舉個例子,設想兩個棋手要通過兩個終端顯示器(Working Memory)對奕,而觀眾要通過伺服器大屏幕(Main Memory )觀看他們的比賽過程。這兩個棋手相當於是同步中的線程,觀眾相當於其它線程。棋手是無法直接操作伺服器的大屏幕的,他只能看到自己的終端顯示器,只能先從伺服器上將當前結果先複製到自己的終端上(步驟1),然後在自己的終端上操作(步驟2),將操作的結果記錄在終端上,然後在某一時刻同步到伺服器上(步驟3)。他所能看到的結果就是從伺服器上複製到自己的終端上的內容,而要想把自己操作後的結果讓其他人看到必須同步到伺服器上才行。至於什麼時候同步,那要看終端和伺服器的通信機制。
回到這三個步驟,這個順序是我們希望的,但是,JVM並不保證第1步和第3步會嚴格按照上述次序立即執行。因為根據java語言規範的規定,線程的工作記憶體和主存間的數據交換是松耦合的,什麼時候需要刷新工作記憶體或者什麼時候更新主存的內容,可以由具體的虛擬機實現自行決定。由於JVM可以對特征代碼進行調優,也就改變了某些運行步驟的次序的顛倒,那麼每次線程調用變數時是直接取自己的工作存儲器中的值還是先從主存儲器複製再取是沒有保證的,任何一種情況都可能發生。同樣的,線程改變變數的值之後,是否馬上寫回到主存儲器上也是不可保證的,也許馬上寫,也許過一段時間再寫。那麼,在多線程的應用場景下就會出現問題了,多個線程同時訪問同一個代碼塊,很有可能某個線程已經改變了某變數的值,當然現在的改變僅僅是局限於工作記憶體中的改變,此時JVM並不能保證將改變後的值立馬寫到主記憶體中去,也就意味著有可能其他線程不能立馬得到改變後的值,依然在舊的變數上進行各種操作和運算,最終導致不可預料的結果。
這可如何是好呢?還好有synchronized和volatile:
1.多個線程共有的欄位應該用synchronized或volatile來保護.
2.synchronized負責線程間的互斥.即同一時候只有一個線程可以執行synchronized中的代碼.
synchronized還有另外一個方面的作用:線上程進入synchronized塊之前,會把工作存記憶體中的所有內容映射到主記憶體上,然後把工作記憶體清空再從主存儲器上拷貝最新的值。而線上程退出synchronized塊時,同樣會把工作記憶體中的值映射到主記憶體,不過此時並不會清空工作記憶體。這樣一來就可以強制其按照上面的順序運行,以保證線程在執行完代碼塊後,工作記憶體中的值和主記憶體中的值是一致的,保證了數據的一致性!
3.volatile負責線程中的變數與主存儲區同步.但不負責每個線程之間的同步.
volatile的含義是:線程在試圖讀取一個volatile變數時,會從主記憶體區中讀取最新的值。現在很清楚了吧。
轉自https://hellosure.iteye.com/blog/1121157