1、故事的起因：

        前幾天有人問過關於volatile關鍵字的一些問題， 想起了自己剛接觸這個關鍵字時候存在的疑惑，趕上今天有時間就整理了一些自己的想法。

        首先，需要明確的一點是，volatile關鍵字修飾的變數可以保證該變數操作的有序性和可見性， 但是保證不了操作的原子性。

        關於volatile關鍵字修飾的變數在確保變數操作的有序性和可見性的介紹其他文章已經有很詳細的介紹了，也比較通俗易懂，這裡針對這兩點就不再贅述了。

        但是關於volatile關鍵字為什麼不能保證操作的原子性的問題剛開始我感到比較迷惑（雖然也查了一些文章，但是還是不能理解，可能是因為我比較愚鈍，O(∩_∩)O哈哈~），經過幾番腦神經搏鬥終於找到了一個能說服自己的解釋，但是不知道理解的是否準確。故而，在這裡寫下這些文字，一方面是想給同樣跟我一樣有這樣困惑的小夥伴提供一個思路，另一方面也是希望各位大神關於我這個理解是否存在偏差給出一些指點^_^。

2、問題的闡述

         網上就volatile關鍵字的原子操作的介紹中大多用的是對int型別的變數進行自增操作的例子介紹的， 那我們也索性就用這個例子來繼續闡述吧。

         private volatile int i = 0;

         i++;

         上邊的程式碼中的變數i是被volatile修飾的，他在下邊做i++操作的時候在多執行緒環境中並不安全，不安全的原因就是i++這個操作是非原子性的操作。

         以下從“引用開始”標誌到“引用結束”標誌中的闡述是我對比較多的網上其他文章對i++操作不安全的解釋的理解

          /*******************引用開始****************************/

      如果在起比較多的執行緒，比如起了500條執行緒併發地去執行i++這個操作  最後的結果i是小於500的，解釋是：

       i++操作可以被拆分為三步：

             1，執行緒讀取i的值

             2、i進行自增計算

             3、重新整理回i的值

          假設某一時刻i=5，此時有兩個執行緒同時從主存中讀取了i的值，那麼此時兩個執行緒儲存的i的值都是5， 此時A執行緒對i進行了自增計算，然後B也對i進行自增計算，此時兩條執行緒最後重新整理回主存的i的值都是6（本來兩條執行緒計算完應當是7）所以說volatile保證不了原子性。

         /*******************引用結束**********************/

        看完以上的解釋我的不解之處在於，既然i是被volatile修飾的變數，那麼對於i的操作應該是執行緒之間是可見的啊，就算A.,B兩個執行緒都同時讀到i的值是5，但是如果A執行緒執行完i的操作以後應該會把B執行緒讀到的i的值置為無效並強制B重新讀入i的新值也就是6然後才會進行自增操作才對啊。（這是我當時所存在的疑惑O(∩_∩)O哈哈~）

3、問題的自我解釋

         上邊的問題困擾了我有一段時間，而且我從網上搜索的文章的解釋都大同小異（可能是我搜索的姿勢不對^_^）導致我始終困在那個圈裡。

          有一天我坐在回家的車上又想到了這個問題，忽然把這個問題想通了（也可能是自己在騙自己0.0）（ps：由此看來，做開發需要多回家O(∩_∩)O哈哈~）

          首先我覺得對i++這個操作需要更細的拆分

           1，執行緒讀取i

            2，i++  > i = i + 1 > (1) temp = i + 1, i = temp

          當i=5的時候A,B兩個執行緒同時讀入了i的值， 然後A執行緒執行了 temp = i + 1的操作， 要注意，此時的i的值還沒有變化，然後B執行緒也執行了 temp = i + 1的操作，注意，此時A，B兩個執行緒儲存的 i的值都是5，temp的值都是6， 然後A執行緒執行了 i = 6（temp）的操作，此時i的值會立即重新整理到主存並通知其他執行緒儲存的i值失效， 此時B執行緒需要重新讀取i的值那麼此時B執行緒儲存的i就是6，同時B執行緒儲存的temp還仍然是6， 然後B執行緒執行i=6（temp），所以導致了計算結果比預期少了1。

以上是我個人自己的理解，僅供曾經也被同樣問題困惑過的小夥伴參考同時希望大神們可以指正出其中理解存在偏差的地方。

本部落格為本人原創, 轉載請告知.