#### 主內存與工作內存八種操作指令： * lock（鎖定）：作用于主內存的變量，它把一個變量標識為一條線程獨占的狀態； * unlock（解鎖）：作用于主內存的變量，它把一個處于鎖定狀態的變量釋放出來，釋放后的變量才可以被其他線程鎖定； * read（讀取）：作用于主內存的變量，它把一個變量的值從主內存傳輸到線程的工作內存中，以便隨后的load動作使用； * load（載入）：作用于工作內存的變量，它把read操作從主內存中得到的變量值放入工作內存的變量副本中； * use（使用）：作用于工作內存的變量，它把工作內存中一個變量的值傳遞給執行引擎，每當虛擬機遇到一個需要使用變量的值的字節碼指令時將會執行這個操作； * assign（賦值）：作用于工作內存的變量，它把一個從執行引擎接收的值賦給工作內存的變量，每當虛擬機遇到一個給變量賦值的字節碼指令時執行這個操作； * store（存儲）：作用于工作內存的變量，它把工作內存中一個變量的值傳送到主內存中，以便隨后的write操作使用； * write（寫入）：作用于主內存的變量，它把store操作從工作內存中得到的變量的值放入主內存的變量中； 如果要把一個變量從主內存拷貝到工作內存，那就要按順序執行read和load操作，如果要把變量從工作內存同步回主內存，就要按順序執行store和write操作。注意Java內存模型只要求上述兩個操作必須按順序執行，但不要求是連續執行。也就是說read與load之間、store與write之間是可插入其他指令的，如對主內存中的變量a、b進行訪問時，一種可能出現的順序是read a、read b、load b、load a。除此之外，Java內存模型還規定了在執行上述8種基本操作時必須滿足如下規則： * 不允許read和load、store和write操作之一單獨出現，即不允許一個變量從主內存讀取了但工作內存不接受，或者工作內存發起回寫了但主內存不接受的情況出現； * 不允許一個線程丟棄它最近的assign操作，即變量在工作內存中改變了之后必須把該變化同步回主內存； * 不允許一個線程無原因地（沒有發生過任何assign操作）把數據從線程的工作內存同步回主內存中； * 一個新的變量只能在主內存中“誕生”，不允許在工作內存中直接使用一個未被初始化（load或 assign）的變量，換句話說就是對一個變量實施use、store操作之前，必須先執行assign和load操作； * 一個變量在同一個時刻只允許一條線程對其進行lock操作，但lock操作可以被同一條線程重復執 行多次，多次執行lock后，只有執行相同次數的unlock操作，變量才會被解鎖； * 如果對一個變量執行lock操作，那將會清空工作內存中此變量的值，在執行引擎使用這個變量前，需要重新執行load或assign操作以初始化變量的值； * 如果一個變量事先沒有被lock操作鎖定，那就不允許對它執行unlock操作，也不允許去unlock一個被其他線程鎖定的變量； * 對一個變量執行unlock操作之前，必須先把此變量同步回主內存中（執行store、write操作）；