Java 語(yǔ)言中的volatile變量可以被看作是一種“程度較輕的synchronized”，與synchronized相比，volatile變量所需的編碼較少，并且運(yùn)行時(shí)開(kāi)銷也較少，但是它所能實(shí)現(xiàn)的功能也僅是synchronized的一部分。本文介紹了幾種有效使用volatile變量的模式，并強(qiáng)調(diào)了幾種不適合使用 volatile 變量的情形。

鎖提供了兩種主要特性：互斥（mutual exclusion）和可見(jiàn)性（visibility）?；コ饧匆淮沃辉试S一個(gè)線程持有某個(gè)特定的鎖，因此可使用該特性實(shí)現(xiàn)對(duì)共享數(shù)據(jù)的協(xié)調(diào)訪問(wèn)協(xié)議，這樣，一次就只有一個(gè)線程能夠使用該共享數(shù)據(jù)?？梢?jiàn)性要更加復(fù)雜一些，它必須確保釋放鎖之前對(duì)共享數(shù)據(jù)做出的更改對(duì)于隨后獲得該鎖的另一個(gè)線程是可見(jiàn)的，如果沒(méi)有同步機(jī)制提供的這種可見(jiàn)性保證，線程看到的共享變量可能是修改前的值或不一致的值，這將引發(fā)許多嚴(yán)重問(wèn)題。

volatile變量

volatile變量具有synchronized的可見(jiàn)性特性，但是不具備原子特性。這就是說(shuō)線程能夠自動(dòng)發(fā)現(xiàn)volatile變量的最新值。volatile 變量可用于提供線程安全，但是只能應(yīng)用于非常有限的一組用例：多個(gè)變量之間或者某個(gè)變量的當(dāng)前值與修改后值之間沒(méi)有約束。因此，單獨(dú)使用volatile還不足以實(shí)現(xiàn)計(jì)數(shù)器、互斥鎖或任何具有與多個(gè)變量相關(guān)的不變式（Invariants）的類（例如：start <=end）。

出于簡(jiǎn)易性或可伸縮性的考慮，您可能傾向于使用volatile 變量而不是鎖。當(dāng)使用volatile變量而非鎖時(shí)，某些習(xí)慣用法（idiom）更加易于編碼和閱讀。此外，volatile 變量不會(huì)像鎖那樣造成線程阻塞，因此也很少造成可伸縮性問(wèn)題。在某些情況下，如果讀操作遠(yuǎn)遠(yuǎn)大于寫(xiě)操作，volatile 變量還可以提供優(yōu)于鎖的性能優(yōu)勢(shì)。(volatile類型變量并不會(huì)被重排序，也不會(huì)被緩存，每次都會(huì)從內(nèi)存中獲取最新值)

正確使用volatile變量的條件

您只能在有限的一些情形下使用volatile變量替代鎖。要使volatile變量提供理想的線程安全，必須同時(shí)滿足下面兩個(gè)條件：

• 對(duì)變量的寫(xiě)操作不依賴于當(dāng)前值
• 該變量沒(méi)有包含在具有其他變量的不變式中

實(shí)際上，這些條件表明，可以被寫(xiě)入volatile變量的這些有效值獨(dú)立于任何程序的狀態(tài)，包括變量的當(dāng)前狀態(tài)。

第一個(gè)條件的限制使volatile 變量不能用作線程安全計(jì)數(shù)器。雖然增量操作（x++）看上去類似一個(gè)單獨(dú)操作，實(shí)際上它是一個(gè)由讀取－修改－寫(xiě)入操作序列組成的組合操作，必須以原子方式執(zhí)行，而volatile不能提供必須的原子特性。實(shí)現(xiàn)正確的操作需要使x的值在操作期間保持不變，而volatile變量無(wú)法實(shí)現(xiàn)這點(diǎn)。（然而，如果將值調(diào)整為只從單個(gè)線程寫(xiě)入，那么可以忽略第一個(gè)條件）

大多數(shù)編程情形都會(huì)與這兩個(gè)條件的其中之一沖突，使得volatile變量不能像synchronized那樣普遍適用于實(shí)現(xiàn)線程安全。清單 1 顯示了一個(gè)非線程安全的數(shù)值范圍類。它包含了一個(gè)不變式：下界總是小于或等于上界。
清單 1.非線程安全的數(shù)值范圍類

@NotThreadSafe public class NumberRange {private int lower, upper;public int getLower() { return lower; }public int getUpper() { return upper; }public void setLower(int value) { if (value > upper) throw new IllegalArgumentException(...);lower = value;}public void setUpper(int value) { if (value < lower) throw new IllegalArgumentException(...);upper = value;} }

這種方式限制了范圍的狀態(tài)變量，因此將lower和upper字段定義為volatile類型不能夠充分實(shí)現(xiàn)類的線程安全；從而仍然需要使用同步。否則，如果湊巧兩個(gè)線程在同一時(shí)間使用不一致的值執(zhí)行setLower和setUpper的話，則會(huì)使范圍處于不一致的狀態(tài)。例如，如果初始狀態(tài)是0,5)，同一時(shí)間內(nèi)，線程A調(diào)用setLower(4)并且線程B調(diào)用setUpper(3)，顯然這兩個(gè)操作交叉存入的值是不符合條件的，那么兩個(gè)線程都會(huì)通過(guò)用于保護(hù)不變式的檢查，使得最后的范圍值是(4,3)——一個(gè)無(wú)效值。至于針對(duì)范圍的其他操作，我們需要使setLower()和setUpper()操作原子化——而將字段定義為volatile類型是無(wú)法實(shí)現(xiàn)這一目的的。

性能考慮

使用volatile變量的主要原因是其簡(jiǎn)易性：在某些情形下，使用volatile變量要比使用相應(yīng)的鎖簡(jiǎn)單得多。使用volatile變量次要原因是其性能：某些情況下volatile變量同步機(jī)制的性能要優(yōu)于鎖。

很難做出準(zhǔn)確、全面的評(píng)價(jià)，例如：“X總是比Y快”，尤其是對(duì)JVM 內(nèi)在的操作而言。（例如，某些情況下VM 也許能夠完全刪除鎖機(jī)制，這使得我們難以抽象地比較volatile和synchronized的開(kāi)銷。）就是說(shuō)，在目前大多數(shù)的處理器架構(gòu)上，volatile讀操作開(kāi)銷非常低——幾乎和非volatile讀操作一樣。而volatile寫(xiě)操作的開(kāi)銷要比非 volatile寫(xiě)操作多很多，因?yàn)橐ＷC可見(jiàn)性需要實(shí)現(xiàn)內(nèi)存界定（Memory Fence），即便如此，volatile的總開(kāi)銷仍然要比鎖獲取低。

volatile操作不會(huì)像鎖一樣造成阻塞，因此，在能夠安全使用volatile的情況下，volatile可以提供一些優(yōu)于鎖的可伸縮特性。如果讀操作的次數(shù)要遠(yuǎn)遠(yuǎn)超過(guò)寫(xiě)操作，與鎖相比，volatile 變量通常能夠減少同步的性能開(kāi)銷。

正確使用volatile的模式

很多并發(fā)性專家事實(shí)上往往引導(dǎo)用戶遠(yuǎn)離volatile變量，因?yàn)槭褂盟鼈円仁褂面i更加容易出錯(cuò)。然而，如果謹(jǐn)慎地遵循一些良好定義的模式，就能夠在很多場(chǎng)合內(nèi)安全地使用 volatile變量。要始終牢記使用volatile的限制——只有在狀態(tài)真正獨(dú)立于程序內(nèi)其他內(nèi)容時(shí)才能使用volatile——這條規(guī)則能夠避免將這些模式擴(kuò)展到不安全的用例。

模式 #1：狀態(tài)標(biāo)志

也許實(shí)現(xiàn)volatile變量的規(guī)范使用僅僅是使用一個(gè)布爾狀態(tài)標(biāo)志，用于指示發(fā)生了一個(gè)重要的一次性事件，例如完成初始化或請(qǐng)求停機(jī)。

很多應(yīng)用程序包含了一種控制結(jié)構(gòu)，形式為“在還沒(méi)有準(zhǔn)備好停止程序時(shí)再執(zhí)行一些工作”，如清單 2 所示：

清單 2.將volatile變量作為狀態(tài)標(biāo)志位使用

volatile boolean shutdownRequested;...public void shutdown() { shutdownRequested = true; }public void doWork() { while (!shutdownRequested) { // do stuff} }

很可能會(huì)從循環(huán)外部調(diào)用shutdown()方法——即在另一個(gè)線程中——因此，需要執(zhí)行某種同步來(lái)確保正確實(shí)現(xiàn)shutdownRequested變量的可見(jiàn)性。（可能會(huì)從 JMX 偵聽(tīng)程序、GUI 事件線程中的操作偵聽(tīng)程序、通過(guò) RMI 、通過(guò)一個(gè) Web 服務(wù)等調(diào)用）。然而，使用synchronized塊編寫(xiě)循環(huán)要比使用清單 2 所示的volatile狀態(tài)標(biāo)志編寫(xiě)麻煩很多。由于volatile簡(jiǎn)化了編碼，并且狀態(tài)標(biāo)志并不依賴于程序內(nèi)任何其他狀態(tài)，因此此處非常適合使用volatile。

這種類型的狀態(tài)標(biāo)記的一個(gè)公共特性是：通常只有一種狀態(tài)轉(zhuǎn)換；shutdownRequested標(biāo)志從false轉(zhuǎn)換為true，然后程序停止。這種模式可以擴(kuò)展到來(lái)回轉(zhuǎn)換的狀態(tài)標(biāo)志，但是只有在轉(zhuǎn)換周期不被察覺(jué)的情況下才能擴(kuò)展（從false到true，再轉(zhuǎn)換到false）。此外，還需要某些原子狀態(tài)轉(zhuǎn)換機(jī)制，例如原子變量。

模式 #2：一次性安全發(fā)布

缺乏同步會(huì)導(dǎo)致無(wú)法實(shí)現(xiàn)可見(jiàn)性，這使得確定何時(shí)寫(xiě)入對(duì)象引用而不是原語(yǔ)值變得更加困難。在缺乏同步的情況下，可能會(huì)遇到某個(gè)對(duì)象引用的更新值（由另一個(gè)線程寫(xiě)入）和該對(duì)象狀態(tài)的舊值同時(shí)存在。（這就是造成著名的雙重檢查鎖定（double-checked-locking）問(wèn)題的根源，其中對(duì)象引用在沒(méi)有同步的情況下進(jìn)行讀操作，產(chǎn)生的問(wèn)題是您可能會(huì)看到一個(gè)更新的引用，但是仍然會(huì)通過(guò)該引用看到不完全構(gòu)造的對(duì)象）。

實(shí)現(xiàn)安全發(fā)布對(duì)象的一種技術(shù)就是將對(duì)象引用定義為volatile類型。清單 3 展示了一個(gè)示例，其中后臺(tái)線程在啟動(dòng)階段從數(shù)據(jù)庫(kù)加載一些數(shù)據(jù)。其他代碼在能夠利用這些數(shù)據(jù)時(shí)，在使用之前將檢查這些數(shù)據(jù)是否曾經(jīng)發(fā)布過(guò)。
清單 3.將volatile變量用作一次性安全發(fā)布

public class BackgroundFloobleLoader {public volatile Flooble theFlooble;public void initInBackground() {// do lots of stufftheFlooble = new Flooble(); // this is the only write to theFlooble} }public class SomeOtherClass {public void doWork() {while (true) { // do some stuff...// use the Flooble, but only if it is readyif (floobleLoader.theFlooble != null) doSomething(floobleLoader.theFlooble);}} }

如果theFlooble引用不是volatile類型，doWork()中的代碼在解除對(duì)theFlooble的引用時(shí)，將會(huì)得到一個(gè)不完全構(gòu)造的Flooble。

該模式的一個(gè)必要條件是：被發(fā)布的對(duì)象必須是線程安全的，或者是有效的不可變對(duì)象（有效不可變意味著對(duì)象的狀態(tài)在發(fā)布之后永遠(yuǎn)不會(huì)被修改）。volatile類型的引用可以確保對(duì)象的發(fā)布形式的可見(jiàn)性，但是如果對(duì)象的狀態(tài)在發(fā)布后將發(fā)生更改，那么就需要額外的同步。

模式 #3：獨(dú)立觀察

安全使用volatile的另一種簡(jiǎn)單模式是：定期“發(fā)布”觀察結(jié)果供程序內(nèi)部使用。例如，假設(shè)有一種環(huán)境傳感器能夠感覺(jué)環(huán)境溫度。一個(gè)后臺(tái)線程可能會(huì)每隔幾秒讀取一次該傳感器，并更新包含當(dāng)前文檔的volatile變量。然后，其他線程可以讀取這個(gè)變量，從而隨時(shí)能夠看到最新的溫度值。

使用該模式的另一種應(yīng)用程序就是收集程序的統(tǒng)計(jì)信息。清單 4 展示了身份驗(yàn)證機(jī)制如何記憶最近一次登錄的用戶的名字。將反復(fù)使用lastUser引用來(lái)發(fā)布值，以供程序的其他部分使用。
清單 4.將volatile變量用于多個(gè)獨(dú)立觀察結(jié)果的發(fā)布

public class UserManager {public volatile String lastUser;public boolean authenticate(String user, String password) {boolean valid = passwordIsValid(user, password);if (valid) {User u = new User();activeUsers.add(u);lastUser = user;}return valid;} }

該模式是前面模式的擴(kuò)展；將某個(gè)值發(fā)布以在程序內(nèi)的其他地方使用，但是與一次性事件的發(fā)布不同，這是一系列獨(dú)立事件。這個(gè)模式要求被發(fā)布的值是有效不可變的 —— 即值的狀態(tài)在發(fā)布后不會(huì)更改。使用該值的代碼需要清楚該值可能隨時(shí)發(fā)生變化。

模式 #4："volatile bean"模式

volatile bean模式適用于將JavaBeans作為“榮譽(yù)結(jié)構(gòu)”使用的框架。在volatile bean模式中，JavaBean被用作一組具有g(shù)etter和/或setter方法的獨(dú)立屬性的容器。volatile bean模式的基本原理是：很多框架為易變數(shù)據(jù)的持有者（例如HttpSession）提供了容器，但是放入這些容器中的對(duì)象必須是線程安全的。

在volatile bean模式中，JavaBean的所有數(shù)據(jù)成員都是volatile類型的，并且getter和setter方法必須非常普通——除了獲取或設(shè)置相應(yīng)的屬性外，不能包含任何邏輯。此外，對(duì)于對(duì)象引用的數(shù)據(jù)成員，引用的對(duì)象必須是有效不可變的。（這將禁止具有數(shù)組值的屬性，因?yàn)楫?dāng)數(shù)組引用被聲明為volatile時(shí)，只有引用而不是數(shù)組本身具有volatile語(yǔ)義）。對(duì)于任何volatile變量，不變式或約束都不能包含JavaBean屬性。清單 5 中的示例展示了遵守volatile bean模式的JavaBean：
清單 5.遵守volatile bean模式的Person對(duì)象

@ThreadSafe public class Person {private volatile String firstName;private volatile String lastName;private volatile int age;public String getFirstName() { return firstName; }public String getLastName() { return lastName; }public int getAge() { return age; }public void setFirstName(String firstName) { this.firstName = firstName;}public void setLastName(String lastName) { this.lastName = lastName;}public void setAge(int age) { this.age = age;} }

volatile的高級(jí)模式

前面幾節(jié)介紹的模式涵蓋了大部分的基本用例，在這些模式中使用volatile非常有用并且簡(jiǎn)單。這一節(jié)將介紹一種更加高級(jí)的模式，在該模式中，volatile將提供性能或可伸縮性優(yōu)勢(shì)。

volatile應(yīng)用的的高級(jí)模式非常脆弱。因此，必須對(duì)假設(shè)的條件仔細(xì)證明，并且這些模式被嚴(yán)格地封裝了起來(lái)，因?yàn)榧词狗浅Ｐ〉母囊矔?huì)損壞您的代碼！同樣，使用更高級(jí)的 volatile用例的原因是它能夠提升性能，確保在開(kāi)始應(yīng)用高級(jí)模式之前，真正確定需要實(shí)現(xiàn)這種性能獲益。需要對(duì)這些模式進(jìn)行權(quán)衡，放棄可讀性或可維護(hù)性來(lái)?yè)Q取可能的性能收益——如果您不需要提升性能（或者不能夠通過(guò)一個(gè)嚴(yán)格的測(cè)試程序證明您需要它），那么這很可能是一次糟糕的交易，因?yàn)槟芸赡軙?huì)得不償失，換來(lái)的東西要比放棄的東西價(jià)值更低。

模式 #5：開(kāi)銷較低的讀 - 寫(xiě)鎖策略

目前為止，您應(yīng)該了解了volatile的功能還不足以實(shí)現(xiàn)計(jì)數(shù)器。因?yàn)?#43;+x實(shí)際上是三種操作（讀、添加、存儲(chǔ)）的簡(jiǎn)單組合，如果多個(gè)線程湊巧試圖同時(shí)對(duì)volatile計(jì)數(shù)器執(zhí)行增量操作，那么它的更新值有可能會(huì)丟失。

然而，如果讀操作遠(yuǎn)遠(yuǎn)超過(guò)寫(xiě)操作，您可以結(jié)合使用內(nèi)部鎖和volatile變量來(lái)減少公共代碼路徑的開(kāi)銷。清單 6 中顯示的線程安全的計(jì)數(shù)器使用synchronized確保增量操作是原子的，并使用volatile保證當(dāng)前結(jié)果的可見(jiàn)性。如果更新不頻繁的話，該方法可實(shí)現(xiàn)更好的性能，因?yàn)樽x路徑的開(kāi)銷僅僅涉及 volatile 讀操作，這通常要優(yōu)于一個(gè)無(wú)競(jìng)爭(zhēng)的鎖獲取的開(kāi)銷。
清單 6.結(jié)合使用volatile和synchronized實(shí)現(xiàn)“開(kāi)銷較低的讀 - 寫(xiě)鎖”

@ThreadSafe public class CheesyCounter {// Employs the cheap read-write lock trick// All mutative operations MUST be done with the 'this' lock held@GuardedBy("this") private volatile int value;public int getValue() { return value; }public synchronized int increment() {return value++;} }

之所以將這種技術(shù)稱之為“開(kāi)銷較低的讀－寫(xiě)鎖”是因?yàn)槟褂昧瞬煌耐綑C(jī)制進(jìn)行讀寫(xiě)操作。因?yàn)楸纠械膶?xiě)操作違反了使用volatile的第一個(gè)條件，因此不能使用volatile安全地實(shí)現(xiàn)計(jì)數(shù)器——您必須使用鎖。然而，您可以在讀操作中使用volatile確保當(dāng)前值的可見(jiàn)性，因此可以使用鎖進(jìn)行所有變化的操作，使用volatile進(jìn)行只讀操作。其中，鎖一次只允許一個(gè)線程訪問(wèn)值，volatile允許多個(gè)線程執(zhí)行讀操作，因此當(dāng)使用volatile保證讀代碼路徑時(shí)，要比使用鎖執(zhí)行全部代碼路徑獲得更高的共享度——就像讀－寫(xiě)操作一樣。然而，要隨時(shí)牢記這種模式的弱點(diǎn)：如果超越了該模式的最基本應(yīng)用，結(jié)合這兩個(gè)競(jìng)爭(zhēng)的同步機(jī)制將變得非常困難。

結(jié)束語(yǔ)

與鎖相比，volatile變量是一種非常簡(jiǎn)單但同時(shí)又非常脆弱的同步機(jī)制，它在某些情況下將提供優(yōu)于鎖的性能和伸縮性。如果嚴(yán)格遵循volatile的使用條件——即變量真正獨(dú)立于其他變量和自己以前的值——在某些情況下可以使用volatile代替synchronized來(lái)簡(jiǎn)化代碼。然而，使用volatile的代碼往往比使用鎖的代碼更加容易出錯(cuò)。本文介紹的模式涵蓋了可以使用volatile代替synchronized的最常見(jiàn)的一些用例。遵循這些模式（注意使用時(shí)不要超過(guò)各自的限制）可以幫助您安全地實(shí)現(xiàn)大多數(shù)用例，使用volatile變量獲得更佳性能。

?

轉(zhuǎn)自：http://www.ibm.com/developerworks/cn/java/j-jtp06197.html

?

轉(zhuǎn)載于:https://www.cnblogs.com/sean-zou/archive/2013/04/16/3710071.html

總結(jié)

以上是生活随笔為你收集整理的Java volatile关键字的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。