volatile關鍵字詳解

可見性

意思就是說，在多執行緒環境下，某個共享變數如果被其中乙個執行緒給修改了，其他執行緒能夠立即知道這個共享變數已經被修改了，當其他執行緒要讀取這個變數的時候，最終會去記憶體中讀取，而不是從自己的工作空間中讀取。

例如我們上面說的，當執行緒1對t進行了加1操作並把資料寫回到主存之後，執行緒2就會知道它自己工作空間內的t已經被修改了，當它要執行加1操作之後，就會去主存中讀取。這樣，兩邊的資料就能一致了。

假如乙個變數被宣告為volatile，那麼這個變數就具有了可見性的性質了。這就是volatile關鍵的作用之一了。

快取一致性協議

剛才我在說可見性的時候，說「如果乙個共享變數被乙個執行緒修改了之後，當其他執行緒要讀取這個變數的時候，最終會去記憶體中讀取，而不是從自己的工作空間中讀取」，實際上是這樣的：

執行緒中的處理器會一直在匯流排上嗅探其內部快取中的記憶體位址在其他處理器的操作情況，一旦嗅探到某處處理器打算修改其記憶體位址中的值，而該記憶體位址剛好也在自己的內部快取中，那麼處理器就會強制讓自己對該快取位址的無效。所以當該處理器要訪問該資料的時候，由於發現自己快取的資料無效了，就會去主存中訪問。

有序性如果乙個變數被宣告volatile的話，那麼這個變數不會被進行重排序，也就是說，虛擬機會保證這個變數之前的**一定會比它先執行，而之後的**一定會比它慢執行。

volatile關鍵字能夠保證**的有序性，這個也是volatile關鍵字的作用。

總結一下，乙個被volatile宣告的變數主要有以下兩種特性保證保證執行緒安全。

可見性。

有序性。