這是java多線程第三篇:
上一篇《java多線程—內存模型》已經講解了java線程中三特徵以及happens-before 原則，這一篇主要講解一下volatile的原理以及應用，想必看完這一篇之後，你會對volatile的應用原理以及使用邊界會有更深刻的認知。本篇主要內容：
- volatile 讀寫同步原理
- volatile重排序原則
- volatile應用
關鍵字volatile是jvm提供的輕量級的同步機制，但它並不容易理解，而且在多數情況下用不到，被多數開發者拋棄並採用synchronized代替，synchronized屬於重度鎖，如果你對性能有高的要求，那麼同等情況下，變量聲明volatile會減小更少的同步開銷。
在介紹之前，我們先拋出2個問題：
1、volatile究竟是如何保證共享變量的同步的？
2、i++操作爲何對虛擬機來說不是原子操作？
一、volatile 讀寫同步原理
對變量進行volatile聲明以後，會有以下特徵:
1、可見性。 保證此變量對所有線程是可見的。
2、原子性 。只對任意單個volatile變量的讀/寫具有原子性（注意不是所有）。
3、有序性。被volatile聲明過的變量會禁止指令重排序優化
happen-before 保證可見性
volatile變量的寫-讀可以實現線程之間的通信。happens-before是java內存模型向我們提供的內存可見性保證，這也就是我們第一個問題的解答，volatiel如何保證對共享變量同步的。
我們先回憶一下happens-before原則（我們只說和其相關的）：
程序次序法則：如果在程序中，所有動作 A 出現在動作 B 之前，則線程中的每動作 A 都 happens-before 於該線程中的每一個動作 B。
Volatile 變量法則：對 Volatile 域的寫入操作 happens-before 於每個後續對同一 Volatile 的讀操作。
傳遞性：如果 A happens-before 於 B，且 B happens-before C，則 A happens-before C。
我們通過一個示例來說明這些規則的應用:
public class VolatileTest {
private int a =0;
private volatile int b=0;
public void write(){
a = 1; //1
b = 2; //2
}
public void read(){
int i = b; //3
int j = a; //4
}
}比如現在有線程A和B,分別調取write和read方法。
第一種情況:
線程A先執行write方法之後，線程B執行read方法。那麼:
1、基於程序次序法則。1 happens-before 2; 3 happens-before 4
2、基於volatile原則。2 happens-before 3；
3、基於傳遞性原則。因爲 1 happens-before 2，2 happens-before 3，3 happens-before 4。那麼可以推斷出 1 happens-before 4,2 happens-before 4。
此種情況下，我們可以認定此時線程B中可以讀取到 線程A中寫入的 a和b的值的。（a值沒用聲明volatile依然可以讀取到，這個爲何我們後面講）
第二種情況:
線程B先執行read方法，之後線程A執行write方法。
1、基於程序次序法則。3 happens-before 4; 1 happens-before 2
2、基於volatile原則。無；
3、基於傳遞性原則。無傳遞；
此種情況下，我們可以此時認定線程B中沒有讀取到線程A中寫入的a和b的值。
通過上面的分析我們可以對volatiel變量如此定義:
- 當write一個volatile變量時，JMM會把該線程對應的本地內存中的共享變量刷新到主內存。
- 當read一個volatile變量時，JMM會把該線程對應的本地內存置爲無效。線程接下來將從主內存中讀取共享變量。
對於第一種情況，我們看上述示例如何write和read的：
那麼讀到這裏，有一個困惑：上述變量a並沒有聲明爲volatile ，爲何能被刷新到主內存中，難道不會被處理器重排序麼？
二、volatile限制重排序
上述中我們講到volatile 中有一個特性，有序性，防止jvm對其重排序，那麼究竟是如何做的，我們看一下。
重排序分爲編譯器重排序和處理器重排序。爲了實現volatile內存語義，jvm會分別限制這兩種類型的重排序類型。
編譯器重排序
針對編譯器制定的volatile重排序規則:
| 第一個操作 |
第二個操作 |
||
|
|
普通讀/寫 |
volatile讀 |
volatile寫 |
| 普通讀/寫 |
|
|
NO |
| volatile讀 |
NO |
NO |
NO |
| volatile寫 |
|
NO |
NO |
上述表中，NO表示jvm不可以重排序，保持當前順序。
比如第一行第三列中表示：第一個操作是變量的普通讀寫，第二個操作是volatile聲明的變量寫操作，那麼此時對於操作1和操作2是不可以重排序的，保持當前順序。
就好比上述示例中a 和b變量，滿足此種情況，a和b的操作順序不變。
上述規則用文字描述:
- 當第二個操作是volatile寫時，不管第一個操作是什麼，都不能重排序。這個規則確保volatile寫之前的操作不會被編譯器重排序到volatile寫之後。
- 當第一個操作是volatile讀時，不管第二個操作是什麼，都不能重排序。這個規則確保volatile讀之後的操作不會被編譯器重排序到volatile讀之前。
- 當第一個操作是volatile寫，第二個操作是volatile讀時，不能重排序。
注意，jvm只保證2個操作保持如此規則，不能延伸到2個以上的操作上。
處理器重排序
爲了實現上述規則，jvm編譯器在生成字節碼的時候，會在指令序列中插入內存屏障來禁止特定類型的處理器重排序。
在每個volatile寫操作的前面插入一個StoreStore屏障。
在每個volatile寫操作的後面插入一個StoreLoad屏障。
在每個volatile讀操作的前面插入一個LoadLoad屏障。
在每個volatile讀操作的後面插入一個LoadStore屏障。
如此可以保證在任意處理器平臺，任意的程序中都能得到正確的volatile重排序規則實現。
總結
volatile防止重排序，有什麼作用？
happens-before是java內存模型向我們提供的內存可見性保證；而volatile的禁止重排序規則，包括volatile的編譯器重排序規則和volatile的內存屏障插入策略，是jvm用來實現happens-before的方式。
比如上述程序中，根據happens-before的程序順序規則：1 happens-before 2 ；3 happens-before 4.
而後根據volatile規則：2 happens-before 3. 如此操作 1、2、3、4的順序得以延續。
也就是說volatile的禁止重排序規則，確保上述happens-before順序。
三、應用
i++ 不是原子
上述原理介紹中，我們有說volatile只對只對任意單個volatile變量的讀/寫具有原子性，比如變量a的賦值操作，可以爲原子的，但變量a++不爲原子的，我們看個示例:
public class Test {
private volatile int count;
public void increCount(){
count++;
}
public void setCount(int count ){
this.count=count;
}
}我們用javap 看下increCount的編譯指令：
我看紅色圈中的部分，increCount被分解了4個指令來操作，而 setCount只有1個指令來處理（原子的）。我們用代碼的方式，increCount方法可以等價於以下：
public void increCount(){
// count++;
int tmp =getCount();
tmp=tmp+1;
setCount(tmp);
}所以說volatile只對只對任意單個volatile變量的讀/寫具有原子性,而i++實際上它是一個由讀取－修改－寫入操作序列組成的組合操作，屬於多個操作，所以不具備原子性。
volatile 應用原則
要使 volatile 變量提供理想的線程安全，必須同時滿足下面兩個條件：
- 對變量的寫操作不依賴於當前值。
- 該變量沒有包含在具有其他變量的不變式中。
也就是說被寫入 volatile 變量的這些有效值獨立於任何程序的狀態，包括變量的當前狀態。
因此只有在狀態真正獨立於程序內其他內容時才能使用 volatile —— 這條規則能夠避免將這些模式擴展到不安全的用例。
應用示例
1、賦值操作
上述 increCount中屬於依賴當前count值的應用了，而setCount屬於沒有依賴當前值。所以後者屬於線程安全。
2、線程取消
對一個線程取消或者中斷的時候，有人會採用interrupted方法來中斷，如果維護一個volatile變量來爲何，無論外部線程如何調用，總能保證對當前線程的立即可見性。
public class CancleThread implements Runnable{
private volatile boolean cancle = false;
public void shutdown(){
this.cancle=true;
}
public void run() {
while (!cancle){
//.....doSomeThing
}
}
}當想終止這個線程的操作的時候，調用shutdown方法會比較安全。
通過以上原理和應用介紹，想必對於volatile不會那麼陌生了，掌握原理，瞭解使用邊界，讓你的程序性能更高，可讀性更強。我們如果嚴格遵循 volatile 的使用條件 —— 即變量真正獨立於其他變量和自己以前的值 —— 在某些情況下可以使用 volatile 代替 synchronized 來簡化代碼。
-----------------------------------------------------------------------------
想看更多有趣原創的技術文章，掃描關注公衆號。
關注個人成長和遊戲研發，推動國內遊戲社區的成長與進步。
