一、volatile的作用

在《java并發(fā)編程：核心理論》一文中，我們已經(jīng)提到過(guò)可見(jiàn)性、有序性及原子性問(wèn)題，通常情況下我們可以通過(guò)Synchronized關(guān)鍵字來(lái)解決這些個(gè)問(wèn)題，不過(guò)如果對(duì)Synchronized原理有了解的話(huà)，應(yīng)該知道Synchronized是一個(gè)比較重量級(jí)的操作，對(duì)系統(tǒng)的性能有比較大的影響，所以，如果有其他解決方案，我們通常都避免使用Synchronized來(lái)解決問(wèn)題。而volatile關(guān)鍵字就是Java中提供的另一種解決可見(jiàn)性和有序性問(wèn)題的方案。對(duì)于原子性，需要強(qiáng)調(diào)一點(diǎn)，也是大家容易誤解的一點(diǎn)：對(duì)volatile變量的單次讀/寫(xiě)操作可以保證原子性的，如long和double類(lèi)型變量，但是并不能保證i++這種操作的原子性，因?yàn)楸举|(zhì)上i++是讀、寫(xiě)兩次操作。

二、volatile的使用

　　關(guān)于volatile的使用，我們可以通過(guò)幾個(gè)例子來(lái)說(shuō)明其使用方式和場(chǎng)景。

1、防止重排序

　　我們從一個(gè)最經(jīng)典的例子來(lái)分析重排序問(wèn)題。大家應(yīng)該都很熟悉單例模式的實(shí)現(xiàn)，而在并發(fā)環(huán)境下的單例實(shí)現(xiàn)方式，我們通?？梢圆捎秒p重檢查加鎖（DCL）的方式來(lái)實(shí)現(xiàn)。其源碼如下： “` package com.paddx.test.concurrent;

public class Singleton { public static volatile Singleton singleton;

/** * 構(gòu)造函數(shù)私有，禁止外部實(shí)例化 */ PRivate Singleton() {};

public static Singleton getInstance() { if (singleton == null) { synchronized (singleton) { if (singleton == null) { singleton = new Singleton(); } } } return singleton; } } “`

　　現(xiàn)在我們分析一下為什么要在變量singleton之間加上volatile關(guān)鍵字。要理解這個(gè)問(wèn)題，先要了解對(duì)象的構(gòu)造過(guò)程，實(shí)例化一個(gè)對(duì)象其實(shí)可以分為三個(gè)步驟：

　?。?）分配內(nèi)存空間。

　?。?）初始化對(duì)象。

　?。?）將內(nèi)存空間的地址賦值給對(duì)應(yīng)的引用。

但是由于操作系統(tǒng)可以對(duì)指令進(jìn)行重排序，所以上面的過(guò)程也可能會(huì)變成如下過(guò)程：

　　（1）分配內(nèi)存空間。

　?。?）將內(nèi)存空間的地址賦值給對(duì)應(yīng)的引用。

　?。?）初始化對(duì)象

　　如果是這個(gè)流程，多線(xiàn)程環(huán)境下就可能將一個(gè)未初始化的對(duì)象引用暴露出來(lái)，從而導(dǎo)致不可預(yù)料的結(jié)果。因此，為了防止這個(gè)過(guò)程的重排序，我們需要將變量設(shè)置為volatile類(lèi)型的變量。

2、實(shí)現(xiàn)可見(jiàn)性

　　可見(jiàn)性問(wèn)題主要指一個(gè)線(xiàn)程修改了共享變量值，而另一個(gè)線(xiàn)程卻看不到。引起可見(jiàn)性問(wèn)題的主要原因是每個(gè)線(xiàn)程擁有自己的一個(gè)高速緩存區(qū)——線(xiàn)程工作內(nèi)存。volatile關(guān)鍵字能有效的解決這個(gè)問(wèn)題，我們看下下面的例子，就可以知道其作用：

“` package com.paddx.test.concurrent;

public class VolatileTest { int a = 1; int b = 2;

public void change(){ a = 3; b = a; }

public void print(){ System.out.println(“b=”+b+”;a=”+a); }

public static void main(String[] args) { while (true){ final VolatileTest test = new VolatileTest(); new Thread(new Runnable() { @Override public void run() { try { Thread.sleep(10); } catch (InterruptedException e) { e.printStackTrace(); } test.change(); } }).start();

} } “`

　　直觀上說(shuō)，這段代碼的結(jié)果只可能有兩種：b=3;a=3 或 b=2;a=1。不過(guò)運(yùn)行上面的代碼（可能時(shí)間上要長(zhǎng)一點(diǎn)），你會(huì)發(fā)現(xiàn)除了上兩種結(jié)果之外，還出現(xiàn)了第三種結(jié)果：

…… b=2;a=1 b=2;a=1 b=3;a=3 b=3;a=3 b=3;a=1 b=3;a=3 b=2;a=1 b=3;a=3 b=3;a=3 ……

　　為什么會(huì)出現(xiàn)b=3;a=1這種結(jié)果呢？正常情況下，如果先執(zhí)行change方法，再執(zhí)行print方法，輸出結(jié)果應(yīng)該為b=3;a=3。相反，如果先執(zhí)行的print方法，再執(zhí)行change方法，結(jié)果應(yīng)該是 b=2;a=1。那b=3;a=1的結(jié)果是怎么出來(lái)的？原因就是第一個(gè)線(xiàn)程將值a=3修改后，但是對(duì)第二個(gè)線(xiàn)程是不可見(jiàn)的，所以才出現(xiàn)這一結(jié)果。如果將a和b都改成volatile類(lèi)型的變量再執(zhí)行，則再也不會(huì)出現(xiàn)b=3;a=1的結(jié)果了。

3、保證原子性

　　關(guān)于原子性的問(wèn)題，上面已經(jīng)解釋過(guò)。volatile只能保證對(duì)單次讀/寫(xiě)的原子性。這個(gè)問(wèn)題可以看下JLS中的描述：

“` 17.7 Non-Atomic Treatment of double and long

For the purposes of the Java programming language memory model, a single write to a non-volatile long or double value is treated as two separate writes: one to each 32-bit half. This can result in a situation where a thread sees the first 32 bits of a 64-bit value from one write, and the second 32 bits from another write.

Writes and reads of volatile long and double values are always atomic.

Writes to and reads of references are always atomic, regardless of whether they are implemented as 32-bit or 64-bit values.

Some implementations may find it convenient to divide a single write action on a 64-bit long or double value into two write actions on adjacent 32-bit values. For efficiency’s sake, this behavior is implementation-specific; an implementation of the Java Virtual Machine is free to perform writes to long and double values atomically or in two parts.

Implementations of the Java Virtual Machine are encouraged to avoid splitting 64-bit values where possible. Programmers are encouraged to declare shared 64-bit values as volatile or synchronize their programs correctly to avoid possible complications. “`

　　這段話(huà)的內(nèi)容跟我前面的描述內(nèi)容大致類(lèi)似。因?yàn)閘ong和double兩種數(shù)據(jù)類(lèi)型的操作可分為高32位和低32位兩部分，因此普通的long或double類(lèi)型讀/寫(xiě)可能不是原子的。因此，鼓勵(lì)大家將共享的long和double變量設(shè)置為volatile類(lèi)型，這樣能保證任何情況下對(duì)long和double的單次讀/寫(xiě)操作都具有原子性。

　　關(guān)于volatile變量對(duì)原子性保證，有一個(gè)問(wèn)題容易被誤解。現(xiàn)在我們就通過(guò)下列程序來(lái)演示一下這個(gè)問(wèn)題：

“` package com.paddx.test.concurrent;

public class VolatileTest01 { volatile int i;

public void addI(){ i++; }

public static void main(String[] args) throws InterruptedException { final VolatileTest01 test01 = new VolatileTest01(); for (int n = 0; n < 1000; n++) { new Thread(new Runnable() { @Override public void run() { try { Thread.sleep(10); } catch (InterruptedException e) { e.printStackTrace(); } test01.addI(); } }).start(); }

} } “`

大家可能會(huì)誤認(rèn)為對(duì)變量i加上關(guān)鍵字volatile后，這段程序就是線(xiàn)程安全的。大家可以嘗試運(yùn)行上面的程序。下面是我本地運(yùn)行的結(jié)果： 　　可能每個(gè)人運(yùn)行的結(jié)果不相同。不過(guò)應(yīng)該能看出，volatile是無(wú)法保證原子性的（否則結(jié)果應(yīng)該是1000）。原因也很簡(jiǎn)單，i++其實(shí)是一個(gè)復(fù)合操作，包括三步驟：

　?。?）讀取i的值。

　?。?）對(duì)i加1。

　　（3）將i的值寫(xiě)回內(nèi)存。

volatile是無(wú)法保證這三個(gè)操作是具有原子性的，我們可以通過(guò)AtomicInteger或者Synchronized來(lái)保證+1操作的原子性。

注：上面幾段代碼中多處執(zhí)行了Thread.sleep()方法，目的是為了增加并發(fā)問(wèn)題的產(chǎn)生幾率，無(wú)其他作用。

三、volatile的原理

　　通過(guò)上面的例子，我們基本應(yīng)該知道了volatile是什么以及怎么使用?，F(xiàn)在我們?cè)賮?lái)看看volatile的底層是怎么實(shí)現(xiàn)的。

1、可見(jiàn)性實(shí)現(xiàn)：

　　在前文中已經(jīng)提及過(guò)，線(xiàn)程本身并不直接與主內(nèi)存進(jìn)行數(shù)據(jù)的交互，而是通過(guò)線(xiàn)程的工作內(nèi)存來(lái)完成相應(yīng)的操作。這也是導(dǎo)致線(xiàn)程間數(shù)據(jù)不可見(jiàn)的本質(zhì)原因。因此要實(shí)現(xiàn)volatile變量的可見(jiàn)性，直接從這方面入手即可。對(duì)volatile變量的寫(xiě)操作與普通變量的主要區(qū)別有兩點(diǎn)：

　?。?）修改volatile變量時(shí)會(huì)強(qiáng)制將修改后的值刷新的主內(nèi)存中。

　　（2）修改volatile變量后會(huì)導(dǎo)致其他線(xiàn)程工作內(nèi)存中對(duì)應(yīng)的變量值失效。因此，再讀取該變量值的時(shí)候就需要重新從讀取主內(nèi)存中的值。

　　通過(guò)這兩個(gè)操作，就可以解決volatile變量的可見(jiàn)性問(wèn)題。

2、有序性實(shí)現(xiàn)：

　　在解釋這個(gè)問(wèn)題前，我們先來(lái)了解一下Java中的happen-before規(guī)則，JSR 133中對(duì)Happen-before的定義如下：

Two actions can be ordered by a happens-before relationship.If one action happens before another, then the first is visible to and ordered before the second.

　　通俗一點(diǎn)說(shuō)就是如果a happen-before b，則a所做的任何操作對(duì)b是可見(jiàn)的。（這一點(diǎn)大家務(wù)必記住，因?yàn)閔appen-before這個(gè)詞容易被誤解為是時(shí)間的前后）。我們?cè)賮?lái)看看JSR 133中定義了哪些happen-before規(guī)則：

? Each action in a thread happens before every subsequent action in that thread. ? An unlock on a monitor happens before every subsequent lock on that monitor. ? A write to a volatile field happens before every subsequent read of that volatile. ? A call to start() on a thread happens before any actions in the started thread. ? All actions in a thread happen before any other thread successfully returns from a join() on that thread. ? If an action a happens before an action b, and b happens before an action c, then a happens before c.

　　翻譯過(guò)來(lái)為： 　　

規(guī)則表：

3、內(nèi)存屏障

　　為了實(shí)現(xiàn)volatile可見(jiàn)性和happen-befor的語(yǔ)義。JVM底層是通過(guò)一個(gè)叫做“內(nèi)存屏障”的東西來(lái)完成。內(nèi)存屏障，也叫做內(nèi)存柵欄，是一組處理器指令，用于實(shí)現(xiàn)對(duì)內(nèi)存操作的順序限制。下面是完成上述規(guī)則所要求的內(nèi)存屏障： 　　 （1）LoadLoad 屏障 執(zhí)行順序：Load1—>Loadload—>Load2 確保Load2及后續(xù)Load指令加載數(shù)據(jù)之前能訪(fǎng)問(wèn)到Load1加載的數(shù)據(jù)。

（2）StoreStore 屏障 執(zhí)行順序：Store1—>StoreStore—>Store2 確保Store2以及后續(xù)Store指令執(zhí)行前，Store1操作的數(shù)據(jù)對(duì)其它處理器可見(jiàn)。

（3）LoadStore 屏障 執(zhí)行順序： Load1—>LoadStore—>Store2 確保Store2和后續(xù)Store指令執(zhí)行前，可以訪(fǎng)問(wèn)到Load1加載的數(shù)據(jù)。

（4）StoreLoad 屏障 執(zhí)行順序: Store1—> StoreLoad—>Load2 確保Load2和后續(xù)的Load指令讀取之前，Store1的數(shù)據(jù)對(duì)其他處理器是可見(jiàn)的。

最后我可以通過(guò)一個(gè)實(shí)例來(lái)說(shuō)明一下JVM中是如何插入內(nèi)存屏障的：

四、總結(jié)

總體上來(lái)說(shuō)volatile的理解還是比較困難的，如果不是特別理解，也不用急，完全理解需要一個(gè)過(guò)程，在后續(xù)的文章中也還會(huì)多次看到volatile的使用場(chǎng)景。這里暫且對(duì)volatile的基礎(chǔ)知識(shí)和原來(lái)有一個(gè)基本的了解。總體來(lái)說(shuō)，volatile是并發(fā)編程中的一種優(yōu)化，在某些場(chǎng)景下可以代替Synchronized。但是，volatile的不能完全取代Synchronized的位置，只有在一些特殊的場(chǎng)景下，才能適用volatile?？偟膩?lái)說(shuō)，必須同時(shí)滿(mǎn)足下面兩個(gè)條件才能保證在并發(fā)環(huán)境的線(xiàn)程安全：

對(duì)變量的寫(xiě)操作不依賴(lài)于當(dāng)前值。

該變量沒(méi)有包含在具有其他變量的不變式中。

轉(zhuǎn)發(fā)至http://m.survivalescaperooms.com/paddix/p/5428507.html