第Java并發(fā)編程之Java內(nèi)存模型lock（鎖定）：將主內(nèi)存中的變量鎖定，為一個(gè)線程所獨(dú)占

unlock（解鎖）：將lock加的鎖解除，其他的線程有機(jī)會(huì)訪問(wèn)此變量

read（讀?。鹤饔糜谥鲀?nèi)存變量，將主內(nèi)存中的變量值讀取到工作內(nèi)存

load（加載）：作用于工作內(nèi)存，將read讀取到的值保存到工作內(nèi)存中的變量副本

use（使用）：作用于工作內(nèi)存變量，將值傳遞給線程的代碼執(zhí)行引擎

assign（賦值）：作用于工作內(nèi)存變量，將執(zhí)行引擎處理返回的值重新賦值給變量副本

store（存儲(chǔ)）：作用于工作內(nèi)存變量，將變量副本的值傳送到主內(nèi)存中

write（寫(xiě)入）：作用于主內(nèi)存變量，將store傳送過(guò)來(lái)的值寫(xiě)入到主內(nèi)存的共享變量中

Java內(nèi)存模型的同步交互協(xié)議，執(zhí)行上述8種原子操作時(shí)必須滿足如下規(guī)則

不允許read和load，store和write操作之一單獨(dú)出現(xiàn)。即不允許加載或同步工作到一半。

不允許一個(gè)線程丟棄它最近的assign操作，即變量在工作內(nèi)存中改變之后，必須將數(shù)據(jù)同步回主內(nèi)存

不允許一個(gè)線程無(wú)原因地（無(wú)assign操作）將數(shù)據(jù)從工作內(nèi)存同步到主內(nèi)存中。

一個(gè)新的變量可能在主內(nèi)存中誕生。

一個(gè)變量在同一個(gè)時(shí)刻只允許一條線程對(duì)其進(jìn)行l(wèi)ock操作，但lock操作可以被同一條線程重復(fù)執(zhí)行多次，多次lock之后必須要執(zhí)行相同次數(shù)unlock操作，變量才會(huì)解鎖

如果對(duì)一個(gè)對(duì)象進(jìn)行l(wèi)ock操作，那么會(huì)清空工作內(nèi)存變量中的值，在執(zhí)行引擎使用這個(gè)變量前，需要重新執(zhí)行l(wèi)oad或assign操作初始變量的值

如果一個(gè)對(duì)象事先沒(méi)有被lock，就不允許對(duì)其進(jìn)行unlock操作，也不允許去unlock一個(gè)被其他線程鎖住的變量。

對(duì)一個(gè)變量執(zhí)行unlock操作之前，必須將此變量同步回主內(nèi)存中（執(zhí)行store、write）

5、Java內(nèi)存模型同步協(xié)議

Java內(nèi)存模型的同步協(xié)議，操作規(guī)范將一個(gè)變量從主內(nèi)存復(fù)制到工作內(nèi)存要順序執(zhí)行read、load操作；要將變量從工作內(nèi)存同步回主內(nèi)存要用store、write操作。只要求順序執(zhí)行，不一定是連續(xù)執(zhí)行

圖引用網(wǎng)上資料：

6、Java內(nèi)存模型的HB法則

并發(fā)編程有三個(gè)重要特效：原子行、可見(jiàn)性、有序性

原子性：原子性是指一個(gè)或者多個(gè)操作，要么全部執(zhí)行且執(zhí)行過(guò)程不會(huì)被其它操作打斷，要么全部不執(zhí)行。

可見(jiàn)性：可見(jiàn)性是指共享變量對(duì)于多個(gè)線程都是可見(jiàn)的，也即一個(gè)線程修改了變量，其它線程馬上就能知道

有序性：有序性是指程序的執(zhí)行順序按照代碼的先后順便執(zhí)行

在說(shuō)JMM的happens