一、簡介
volatile是Java提供的一種輕量級的同步機制。Java 語言包含兩種内在的同步機制：同步塊（或方法）和 volatile 變量，相比于synchronized（synchronized通常稱為重量級鎖），volatile更輕量級，因為它不會引起線程上下文的切換和排程。但是volatile 變量的同步性較差（有時它更簡單并且開銷更低），而且其使用也更容易出錯。
二、并發程式設計的3個基本概念
（1）原子性
定義：即一個操作或者多個操作 要麼全部執行并且執行的過程不會被任何因素打斷，要麼就都不執行。
原子性是拒絕多線程操作的，不論是多核還是單核，具有原子性的量，同一時刻隻能有一個線程來對它進行操作。簡而言之，在整個操作過程中不會被線程排程器中斷的操作，都可認為是原子性。例如 a=1是原子性操作，但是a++和a +=1就不是原子性操作。Java中的原子性操作包括：
a. 基本類型的讀取和指派操作，且指派必須是數字指派給變量，變量之間的互相指派不是原子性操作。
b.所有引用reference的指派操作
c.java.concurrent.Atomic.* 包中所有類的一切操作
（2）可見性
定義：指當多個線程通路同一個變量時，一個線程修改了這個變量的值，其他線程能夠立即看得到修改的值。
在多線程環境下，一個線程對共享變量的操作對其他線程是不可見的。Java提供了volatile來保證可見性，當一個變量被volatile修飾後，表示着線程本地記憶體無效，當一個線程修改共享變量後他會立即被更新到主記憶體中，其他線程讀取共享變量時，會直接從主記憶體中讀取。當然，synchronize和Lock都可以保證可見性。synchronized和Lock能保證同一時刻隻有一個線程擷取鎖然後執行同步代碼，并且在釋放鎖之前會将對變量的修改重新整理到主存當中。是以可以保證可見性。
（3）有序性
定義：即程式執行的順序按照代碼的先後順序執行。
Java記憶體模型中的有序性可以總結為：如果在本線程内觀察，所有操作都是有序的；如果在一個線程中觀察另一個線程，所有操作都是無序的。前半句是指“線程内表現為串行語義”，後半句是指“指令重排序”現象和“工作記憶體主主記憶體同步延遲”現象。
在Java記憶體模型中，為了效率是允許編譯器和處理器對指令進行重排序，當然重排序不會影響單線程的運作結果，但是對多線程會有影響。Java提供volatile來保證一定的有序性。最著名的例子就是單例模式裡面的DCL（雙重檢查鎖）。另外，可以通過synchronized和Lock來保證有序性，synchronized和Lock保證每個時刻是有一個線程執行同步代碼，相當于是讓線程順序執行同步代碼，自然就保證了有序性。
三、鎖的互斥和可見性
鎖提供了兩種主要特性：互斥（mutual exclusion） 和可見性（visibility）。
（1）互斥即一次隻允許一個線程持有某個特定的鎖，一次就隻有一個線程能夠使用該共享資料。
（2）可見性要更加複雜一些，它必須確定釋放鎖之前對共享資料做出的更改對于随後獲得該鎖的另一個線程是可見的。也即當一條線程修改了共享變量的值，新值對于其他線程來說是可以立即得知的。如果沒有同步機制提供的這種可見性保證，線程看到的共享變量可能是修改前的值或不一緻的值，這将引發許多嚴重問題。要使 volatile 變量提供理想的線程安全，必須同時滿足下面兩個條件：
a.對變量的寫操作不依賴于目前值。
b.該變量沒有包含在具有其他變量的不變式中。
四、Java的記憶體模型JMM以及共享變量的可見性
JMM決定一個線程對共享變量的寫入何時對另一個線程可見，JMM定義了線程和主記憶體之間的抽象關系：共享變量存儲在主記憶體(Main Memory)中，每個線程都有一個私有的本地記憶體（Local Memory），本地記憶體儲存了被該線程使用到的主記憶體的副本拷貝，線程對變量的所有操作都必須在工作記憶體中進行，而不能直接讀寫主記憶體中的變量。
對于普通的共享變量來講，線程A将其修改為某個值發生線上程A的本地記憶體中，此時還未同步到主記憶體中去；而線程B已經緩存了該變量的舊值，是以就導緻了共享變量值的不一緻。解決這種共享變量在多線程模型中的不可見性問題，較粗暴的方式自然就是加鎖，但是此處使用synchronized或者Lock這些方式太重量級了，比較合理的方式其實就是volatile。
需要注意的是，JMM是個抽象的記憶體模型，是以所謂的本地記憶體，主記憶體都是抽象概念，并不一定就真實的對應cpu緩存和實體記憶體
五、volatile變量的特性
（1）保證可見性，不保證原子性
a.當寫一個volatile變量時，JMM會把該線程本地記憶體中的變量強制重新整理到主記憶體中去；
b.這個寫會操作會導緻其他線程中的緩存無效。
（2）禁止指令重排
重排序是指編譯器和處理器為了優化程式性能而對指令序列進行排序的一種手段。重排序需要遵守一定規則：
a.重排序操作不會對存在資料依賴關系的操作進行重排序。
比如：a=1;b=a; 這個指令序列，由于第二個操作依賴于第一個操作，是以在編譯時和處理器運作時這兩個操作不會被重排序。
b.重排序是為了優化性能，但是不管怎麼重排序，單線程下程式的執行結果不能被改變
比如：a=1;b=2;c=a+b這三個操作，第一步（a=1)和第二步(b=2)由于不存在資料依賴關系， 是以可能會發生重排序，但是c=a+b這個操作是不會被重排序的，因為需要保證最終的結果一定是c=a+b=3。
重排序在單線程下一定能保證結果的正确性，但是在多線程環境下，可能發生重排序，影響結果，下例中的1和2由于不存在資料依賴關系，則有可能會被重排序，先執行status=true再執行a=2。而此時線程B會順利到達4處，而線程A中a=2這個操作還未被執行，是以b=a+1的結果也有可能依然等于2。
使用volatile關鍵字修飾共享變量便可以禁止這種重排序。若用volatile修飾共享變量，在編譯時，會在指令序列中插入記憶體屏障來禁止特定類型的處理器重排序,volatile禁止指令重排序也有一些規則：
a.當程式執行到volatile變量的讀操作或者寫操作時，在其前面的操作的更改肯定全部已經進行，且結果已經對後面的操作可見；在其後面的操作肯定還沒有進行；
b.在進行指令優化時，不能将在對volatile變量通路的語句放在其後面執行，也不能把volatile變量後面的語句放到其前面執行。
即執行到volatile變量時，其前面的所有語句都執行完，後面所有語句都未執行。且前面語句的結果對volatile變量及其後面語句可見。
六、volatile不适用的場景
（1）volatile不适合複合操作
例如，inc++不是一個原子性操作，可以由讀取、加、指派3步組成，是以結果并不能達到30000。
（2）解決方法
1.采用synchronized
2.采用Lock
3.采用java并發包中的原子操作類，原子操作類是通過CAS循環的方式來保證其原子性的
七、volatile原理
volatile可以保證線程可見性且提供了一定的有序性，但是無法保證原子性。在JVM底層volatile是采用“記憶體屏障”來實作的。觀察加入volatile關鍵字和沒有加入volatile關鍵字時所生成的彙編代碼發現，加入volatile關鍵字時，會多出一個lock字首指令，lock字首指令實際上相當于一個記憶體屏障（也成記憶體栅欄），記憶體屏障會提供3個功能：
I. 它確定指令重排序時不會把其後面的指令排到記憶體屏障之前的位置，也不會把前面的指令排到記憶體屏障的後面；即在執行到記憶體屏障這句指令時，在它前面的操作已經全部完成；
II. 它會強制将對緩存的修改操作立即寫入主存；
III. 如果是寫操作，它會導緻其他CPU中對應的緩存行無效。
八、單例模式的雙重鎖為什麼要加volatile
需要volatile關鍵字的原因是，在并發情況下，如果沒有volatile關鍵字，在第5行會出現問題。instance = new TestInstance();可以分解為3行僞代碼
a.memory = allocate() //配置設定記憶體
b. ctorInstanc(memory) //初始化對象
c. instance = memory //設定instance指向剛配置設定的位址
上面的代碼在編譯運作時，可能會出現重排序從a-b-c排序為a-c-b。在多線程的情況下會出現以下問題。當線程A在執行第5行代碼時，B線程進來執行到第2行代碼。假設此時A執行的過程中發生了指令重排序，即先執行了a和c，沒有執行b。那麼由于A線程執行了c導緻instance指向了一段位址，是以B線程判斷instance不為null，會直接跳到第6行并傳回一個未初始化的對象。
本文參與 騰訊雲自媒體分享計劃，歡迎熱愛寫作的你一起參與！
本文章分享自微信公衆号
java一日一條
原始發表時間：2020-04-09
如有侵權，請聯系 [email protected] 删除。