Java記憶體模式

以前我在看一些並行程式設計的書時候，老是有些模糊，後來看到《深入理解Java虛擬機器 第二版》這邊書在並行哪章時候，才逐漸清晰，現在就來講講Java記憶體模式。
- 主存和工作記憶體
1. 主存 儲存了有關物件class屬性欄位，全域性變數等資訊
2. 工作記憶體指執行緒相關儲存資訊。
一般來說，工作記憶體會得到主存中的一部分記憶體資訊拷貝，當工作記憶體更新了某些變數值得時候必須要回寫到主存中。

• 主存和工作記憶體互動操作
  
  1. lock 作用於主存記憶體變數，它把一個變數標識為一條執行緒獨佔的狀態
  2. unlock 作用於主存記憶體變數，他把處於鎖定的變數釋放出來，釋放後的變數可以被其他執行緒鎖定
  3. read 作用於主存記憶體變數，把變數讀到工作記憶體中，一般load使用
  4. load 作用於工作記憶體變數，把read的操作的變數放入工作記憶體變數副本中
  5. use 作用於工作記憶體存變數，把變數傳給執行引擎，每當虛擬機器遇到一個需要使用到變數的值得位元組碼指令時候就好執行這個操作
  6. assign賦值，作用於工作記憶體。它把一個從執行引擎接收的賦值給工作記憶體的變數，每當虛擬機器遇到一個給變數賦值的位元組碼指令時執行這個操作
  7. store 作用於工作記憶體，它把一個變數從工作記憶體中傳送到主記憶體中，以便隨後write操作
  8. write 作用於主記憶體變數，把store的從工作記憶體中得到變數的值放到主記憶體的變數中去

需要注意的將一個變數從主存到工作記憶體，需要順序執行read->load stroe->write操作。也就是說，read與Load，store與write之間可以插入其他指令，如果需要訪問變數a,b，一種可能是順序read a,read b,load b,load a 。

八個操作的規則有一下八種規則:
1. 不允許 read 和 load、 store 和write操作單獨出現
2. 不允許一個執行緒丟棄它的最近assign操作即變數在工作記憶體中改變了之後必須把該變化同步回主記憶體
3. 不允許執行緒無原因(沒有發生過如何assign操作)地把資料從執行緒的工作記憶體同步主記憶體中
4. 一個新的變數只能在主記憶體”誕生”.不允許在工作記憶體中直接使用一個未被初始化(load或assign)的變數，換句話說，就是一個變數實施use、store操作之前，必須先執行過了assign和load操作
5. 一個變數同一時刻只能被一條執行緒lock，並且可以同時多次lock，進行多少次lock必須unlock多少次，變數才會被解鎖
6. 如果對一個變數執行lock操作，那將會清空工作記憶體中此變數的值，在執行引擎使用這個變數前，需要重新執行load或assign操作初始化變數的值
7. 如果一個變數先沒有被Lock操作鎖定，那就不允許對它unlock操作，也不允許去unlock一個被其它執行緒鎖定的變數
8. 對一個變數執行unlock操作之前，必須先把此變數同步回主存中（執行store、write操作）
摘自《深入理解Java虛擬機器 第二版》
下一篇，判斷程式碼是否併發的先行發生原則。