Java虛擬機(jī)規(guī)范中試圖定義一種Java內(nèi)存模型（Java Memory Model, JMM）來屏蔽各種硬件和操作系統(tǒng)的內(nèi)存訪問差異，以實(shí)現(xiàn)讓Java程序在各種平臺(tái)下都能達(dá)到一致的內(nèi)存訪問效果。

主內(nèi)存與工作內(nèi)存

Java內(nèi)存模型規(guī)定了所有的變量都存儲(chǔ)在主內(nèi)存（Main Memory）中。每條線程還有自己的工作內(nèi)存（Working Memory），線程的工作內(nèi)存中保存了被該線程使用到的變量的主內(nèi)存副本拷貝（這里的“拷貝副本”并不是將對(duì)象整個(gè)拷貝，而是對(duì)這個(gè)對(duì)象的引用、對(duì)象中某個(gè)被線程訪問的字段是有可能存在拷貝的），線程對(duì)變量的所有操作（讀取、賦值等）都必須在工作內(nèi)存中進(jìn)行，而不能直接讀寫主內(nèi)存中的變量。不同的線程之間也無法直接訪問對(duì)方的工作內(nèi)存中的變量，線程間變量值的傳遞均需要通過主內(nèi)存來完成，線程、主內(nèi)存、工作內(nèi)存三者的交互關(guān)系如下圖：

內(nèi)存間交互操作

關(guān)于主內(nèi)存與工作內(nèi)存之間具體的交互協(xié)議，即一個(gè)變量如何從主內(nèi)存拷貝到工作內(nèi)存、如何從工作內(nèi)存同步回主內(nèi)存之類的實(shí)現(xiàn)細(xì)節(jié)，Java內(nèi)存模型中定義了8種操作來完成，虛擬機(jī)實(shí)現(xiàn)時(shí)必須保證下面提及的每一種操作都是原子的、不可再分的。

• lock（鎖定）：作用于主內(nèi)存的變量，它把一個(gè)變量標(biāo)識(shí)為一條線程獨(dú)占的狀態(tài)。
• unlock（解鎖）：作用于主內(nèi)存的變量，它把一個(gè)處于鎖定狀態(tài)的變量釋放出來，釋放后的變量才可以被其它線程鎖定。
• read（讀?。鹤饔糜?strong>主內(nèi)存的變量，它把一個(gè)變量的值從主內(nèi)存?zhèn)鬏數(shù)骄€程的工作內(nèi)存中，以便隨后的load動(dòng)作使用。
• load（載入）：作用于工作內(nèi)存的變量，它把read操作從主內(nèi)存中得到的變量值放入工作內(nèi)存的變量副本中。
• use（使用）：作用于工作內(nèi)存的變量，它把工作內(nèi)存中一個(gè)變量的值傳遞給執(zhí)行引擎，每當(dāng)虛擬機(jī)遇到一個(gè)需要使用到變量的值的字節(jié)碼指令時(shí)將會(huì)執(zhí)行這個(gè)操作。
• assign（賦值）：作用于工作內(nèi)存的變量，它把一個(gè)從執(zhí)行引擎接收到的值賦給工作內(nèi)存的變量，每當(dāng)虛擬機(jī)遇到一個(gè)給變量賦值的字節(jié)碼指令時(shí)執(zhí)行這個(gè)操作。
• store（存儲(chǔ)）：作用于工作內(nèi)存的變量，它把工作內(nèi)存中一個(gè)變量的值傳送到主內(nèi)存中，以便隨后的write操作使用。
• write（寫入）：作用于主內(nèi)存的變量，它把store操作從工作內(nèi)存中得到的變量的值放入主內(nèi)存的變量中。

這8種指令可以結(jié)合下圖一起看：

如果要把一個(gè)變量從主內(nèi)存復(fù)制到工作內(nèi)存，那就要順序地執(zhí)行read和load操作，如果要把變量從工作內(nèi)存同步回主內(nèi)存，就要順序地執(zhí)行store和write操作。注意，Java內(nèi)存模型要求上述兩個(gè)操作必須按順序執(zhí)行，而沒有保證是連續(xù)執(zhí)行。也就是說，read與load之間、store與write之間是可插入其它指令的。除此之外，Java內(nèi)存模型還規(guī)定了在執(zhí)行上述8種基本操作時(shí)必須滿足如下規(guī)則：

• 不允許read和load、store和write操作之一單獨(dú)出現(xiàn)，即不允許一個(gè)變量從主內(nèi)存讀取了但工作內(nèi)存不接受，或者從工作內(nèi)存發(fā)起回寫了但主內(nèi)存不接受的情況出現(xiàn)。
• 不允許一個(gè)線程丟棄它的最近的assign操作，即變量在工作內(nèi)存中改變了之后必須把該變化同步回主內(nèi)存。
• 不允許一個(gè)線程無原因地（沒有發(fā)生過任何assign操作）把數(shù)據(jù)從線程的工作內(nèi)存同步回主內(nèi)存中。
• 一個(gè)新變量只能在主內(nèi)存中“誕生”，不允許在工作內(nèi)存中直接使用一個(gè)未被初始化（load或assign）的變量。
• 一個(gè)變量在同一時(shí)刻只允許一條線程對(duì)其進(jìn)行l(wèi)ock操作，但lock操作可以被同一線程重復(fù)執(zhí)行多次，多次執(zhí)行l(wèi)ock后，只在執(zhí)行相同次數(shù)的unlock操作，變量才會(huì)被解鎖。
• 如果對(duì)一個(gè)變量執(zhí)行l(wèi)ock操作，那將會(huì)清空工作內(nèi)存中此變量的值，在執(zhí)行引擎使用這個(gè)變量前，需要重新執(zhí)行l(wèi)oad或assign操作初始化變量的值。
• 如果一個(gè)變量事先沒有被lock操作鎖定，那就不允許對(duì)它執(zhí)行unlock操作，也不允許去unlock一個(gè)被其它線程鎖定住的變量。
• 對(duì)一個(gè)變量執(zhí)行unlock操作之前，必須把此變量同步回主內(nèi)存中（執(zhí)行store、write操作）。