談談JMM
JMM(Java內存模型Java Memory Model,簡稱JMM)本身是一種抽象的概念 並不真實存在,它描述的是一組規則或規範通過規範定製了程序中各個變量(包括實例字段,靜態字段和構成數組對象的元素)的訪問方式.
JMM關於同步規定:
- 線程解鎖前,必須把共享變量的值刷新回主內存
- 線程加鎖前,必須讀取主內存的最新值到自己的工作內存
- 加鎖解鎖是同一把鎖
由於JVM運行程序的實體是線程,而每個線程創建時JVM都會爲其創建一個工作內存(有些地方成爲棧空間),工作內存是每個線程的私有數據區域,而Java內存模型中規定所有變量都存儲在主內存,主內存是共享內存區域,所有線程都可訪問,但線程對變量的操作(讀取賦值等)必須在工作內存中進行,首先要將變量從主內存拷貝到自己的工作空間,然後對變量進行操作,操作完成再將變量寫回主內存,不能直接操作主內存中的變量,各個線程中的工作內存儲存着主內存中的變量副本拷貝,因此不同的線程無法訪問對方的工作內存,此案成間的通訊(傳值) 必須通過主內存來完成,其簡要訪問過程如下圖:
可見性
各個線程對主內存中共享變量的操作都是各個線程各自拷貝到自己的工作內存操作後再寫回主內存中的.這就可能存在一個線程AAA修改了共享變量X的值還未寫回主內存中時 ,另外一個線程BBB又對內存中的一個共享變量X進行操作,但此時A線程工作內存中的共享比那裏X對線程B來說並不不可見.這種工作內存與主內存同步延遲現象就造成了可見性問題。
原子性
操作不可拆分
有序性
計算機在執行程序時,爲了提高性能,編譯器和處理器常常會做指令重排,一把分爲以下3種：
單線程環境裏面確保程序最終執行結果和代碼順序執行的結果一致.
處理器在進行重新排序是必須要考慮指令之間的數據依賴性
多線程環境中線程交替執行,由於編譯器優化重排的存在,兩個線程使用的變量能否保持一致性是無法確定的,結果無法預測