理解JMM記憶體模型與深入Volatile關鍵字原理

一段**如下，執行緒a和執行緒b共享變數initflag。執行緒b先執行，執行緒a後執行。隨後執行緒a將initflag變為true，儲存這個操作後主記憶體中的initflag也會變為true。但是執行緒b不知道initflag已經被改變了，執行緒b會一直執行不會停下。

public
class
volatilevisibilitysample
public
void
load()
system.out.
println
(name+
":嗅探到了共享變數initflag的改變");
}public
static
void
main
(string[
] args)
,"執行緒a");
thread threadb =
newthread((
)->
,"執行緒b");
threadb.
start()
;try
catch
(interruptedexception e)
threada.
start();}}

在多執行緒的環境下，如果乙個共享變數被被volatile關鍵字修飾，那麼在乙個執行緒中改變了這個共享變數，其餘的執行緒會受到改變的通知，並從主記憶體中讀取新的值。當我們將initflag用volatile關鍵字修飾，執行緒a做的操作將會被執行緒b知道，執行緒b就會停下。實際上這個通知是通過mesi快取一致性協議實現的，其本質是乙個監聽操作，如下圖。當執行緒2將修改操作儲存到主線程時，會通過匯流排，這裡就會通知執行緒1，共享變數被改變了。

值得一提的是，在執行store和write這兩個原子操作的時候，會有乙個加鎖和解鎖的操作。

另外，在這裡再詳細說一下執行緒對共享變數的八個原子操作。如下：

多執行緒有三個原則：可見性、原子性、順序性。顯然volatile關鍵字滿足可見性，不過它不滿足原子性，見下面**：

public
class
volatileatomicsample})
;          thread.
start()
;}trycatch
(interruptedexception e)
system.out.
println
(counter);}
}

理論上counter的值最後應該是10000，但是實際執行中counter會出現小於10000的情況。

說明在counter++時，有的自增操作被覆蓋了，所以volatile不滿足原子性。

另外volatile關鍵字滿足有序性，在此不做驗證。

理解JMM記憶體模型與深入Volatile關鍵字原理

JMM記憶體模型

JMM記憶體模型

java記憶體模型 JMM

相關推薦