Java記憶體模型

標籤：記憶體   有一個   沒有   執行   引擎   read   使用   bubuko   就是   

意義

JVM定義記憶體模型來屏蔽掉各種硬體與作業系統的記憶體訪問差異，一實現讓Java程式在各種平台下都能達到一致的訪問效果

 

字典表

• 變數：執行個體欄位靜態欄位和構成數組對象的元素等，但不包括局部變數和方法參數（線程私人）
• 主記憶體：就是物理硬體的記憶體
• 工作記憶體：每個線程都有一個工作記憶體，儲存了使用的主記憶體副本拷貝，線程的操作必須在工作記憶體中執行，然後再返回給主記憶體

 

記憶體間的操作

 

操作解釋

1. lock：將變數鎖住，在一個時間內只讓一條線程使用
2. unlock：釋放變數鎖
3. read：線程把變數從主記憶體讀到工作記憶體
4. load：把read讀到的記憶體載入
5. use：將變數傳給執行引擎使用
6. assgin：執行引擎使用變數完成後變數賦值到工作記憶體
7. store：工作記憶體將變數從工作記憶體儲存到主記憶體
8. write：主記憶體將工作記憶體要求store的變數寫入

 

使用規則

• read與load，store與write必須成對出現
• 變數在工作記憶體改變後必須同步到主記憶體
• 沒有assign的變數不能寫回主記憶體
• 工作記憶體不能產生新變數，所有變數都必須從主記憶體中擷取
• 主記憶體對某變數執行lock後會清空工作記憶體該變數的值
• 對一個變數執行unlock之前，必須先將其同步到主記憶體

 參考《深入理解Java虛擬機器》--p365

Java記憶體模型