<meta charset="utf-8">
Java內(nèi)存模型
clipboard.png
共享變量被各個線程操作后要回寫到主內(nèi)存中，如果線程AB都是對同一個共享變量進行+1操作，若在從主內(nèi)存取共享變量都是在其他線程沒有回寫之前，則會造成數(shù)據(jù)異常
Java內(nèi)存模型
同步的八種操作：
- lock（鎖定）：作用于主內(nèi)存的變量，把一個變量表示為一條線程獨占的狀態(tài)。
- unlock（解鎖）：作用于主內(nèi)存的變量，把一個處于鎖定狀態(tài)的變量釋放出來，釋放后的變量才可以被其他線程鎖定。
- read（讀?。鹤饔糜谥鲀?nèi)存的變量，把一個變量值從主內(nèi)存?zhèn)鬏數(shù)骄€程的工作內(nèi)存中以便隨后的load動作使用。
- load（載入）：作用于工作內(nèi)存的變量，它把read操作從主內(nèi)存中得到的變量值放入工作內(nèi)存的變量副本中。
- use（使用）：作用于工作內(nèi)存的變量，把工作內(nèi)存中的一個變量傳遞給執(zhí)行引擎。
- assign（賦值）：作用于工作內(nèi)存的變量，它把一個從執(zhí)行引擎收到的值賦值給工作內(nèi)存的變量。
- store（存儲）：作用于工作內(nèi)存的變量，把工作內(nèi)存中的一個變量的值傳送到主內(nèi)存中，以便以后的write操作。
- write（寫入）：作用于主內(nèi)存的變量，它把store操作從工作內(nèi)存中的一個變量的值傳送到主內(nèi)存的變量中。
同步規(guī)則：
- 如果要把一個變量從主內(nèi)存復(fù)制到工作內(nèi)存中，需要按順序執(zhí)行read和load操作；如果要把一個變量從工作內(nèi)存同步回主內(nèi)存中，需要按順序執(zhí)行store和write。但是Java內(nèi)存模型只要求操作按順序執(zhí)行，但是沒有保證必須連續(xù)操作。
- 不允許read和load，store，write操作之一單獨出現(xiàn)。
- 不允許一個線程丟棄它最近的assign的操作，即變量在工作內(nèi)存中改變之后必須同步到主內(nèi)存中。
- 不允許一個線程無原因地（沒有發(fā)生過任何assign操作）把數(shù)據(jù)從工作內(nèi)存同步到主內(nèi)存中。
- 一個新的變量只能在主內(nèi)存中誕生，不允許在工作內(nèi)存中直接使用一個未被初始化（load，assign）的變量。即就是對一個變量use和store操作之前，必須執(zhí)行過assign和load操作。
- 一個變量在同一時刻只允許一條線程對其進行l(wèi)ock操作，但是lock操作可以被同一條線程重復(fù)執(zhí)行多次，多次執(zhí)行l(wèi)ock后，只有執(zhí)行相同次數(shù)的unlock操作，變量才會被解鎖。lock和unlock必須成對出現(xiàn)。
- 如果對一個變量執(zhí)行l(wèi)ock操作，將會清空工作內(nèi)存中此變量的值，在執(zhí)行引擎使用這個變量前需要重新執(zhí)行l(wèi)oad或assign操作初始化變量的值。
- 如果一個變量事先沒有被lock操作，則不允許對它執(zhí)行unlock。也不允許unlock一個被其他線程鎖定的變量。
- 對一個變量執(zhí)行unlock操作之前，必須先把此變量同步到主內(nèi)存中（執(zhí)行store和write操作）。
clipboard.png
