把代碼塊聲明為 synchronized,有兩個(gè)重要后果,通常是指該代碼具有 原子性(atomicity)和 可見(jiàn)性(visibility)。

創(chuàng)新互聯(lián)公司堅(jiān)持“要么做到,要么別承諾”的工作理念,服務(wù)領(lǐng)域包括:成都網(wǎng)站建設(shè)、網(wǎng)站設(shè)計(jì)、企業(yè)官網(wǎng)、英文網(wǎng)站、手機(jī)端網(wǎng)站、網(wǎng)站推廣等服務(wù),滿(mǎn)足客戶(hù)于互聯(lián)網(wǎng)時(shí)代的霞浦網(wǎng)站設(shè)計(jì)、移動(dòng)媒體設(shè)計(jì)的需求,幫助企業(yè)找到有效的互聯(lián)網(wǎng)解決方案。努力成為您成熟可靠的網(wǎng)絡(luò)建設(shè)合作伙伴!
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)的類(lèi)(例如 “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 變量替代鎖。要使 volatile 變量提供理想的線程安全,必須同時(shí)滿(mǎn)足下面兩個(gè)條件:
實(shí)際上,這些條件表明,可以被寫(xiě)入 volatile 變量的這些有效值獨(dú)立于任何程序的狀態(tài),包括變量的當(dāng)前狀態(tài)。
第一個(gè)條件的限制使 volatile 變量不能用作線程安全計(jì)數(shù)器。雖然增量操作(x++)看上去類(lèi)似一個(gè)單獨(dú)操作,實(shí)際上它是一個(gè)由(讀取-修改-寫(xiě)入)操作序列組成的組合操作,必須以原子方式執(zhí)行,而 volatile 不能提供必須的原子特性。實(shí)現(xiàn)正確的操作需要使x 的值在操作期間保持不變,而 volatile 變量無(wú)法實(shí)現(xiàn)這點(diǎn)。(然而,如果只從單個(gè)線程寫(xiě)入,那么可以忽略第一個(gè)條件。)
反例
大多數(shù)編程情形都會(huì)與這兩個(gè)條件的其中之一沖突,使得 volatile 變量不能像 synchronized 那樣普遍適用于實(shí)現(xiàn)線程安全。
【反例:volatile變量不能用于約束條件中】 下面是一個(gè)非線程安全的數(shù)值范圍類(lèi)。它包含了一個(gè)不變式 —— 下界總是小于或等于上界
@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;
}
}
將 lower 和 upper 字段定義為 volatile 類(lèi)型不能夠充分實(shí)現(xiàn)類(lèi)的線程安全;而仍然需要使用同步——使 setLower() 和 setUpper() 操作原子化。
否則,如果湊巧兩個(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ú)效值。
volatile的適用場(chǎng)景
模式 #1:狀態(tài)標(biāo)志
也許實(shí)現(xiàn) volatile 變量的規(guī)范使用僅僅是使用一個(gè)布爾狀態(tài)標(biāo)志,用于指示發(fā)生了一個(gè)重要的一次性事件,例如完成初始化或請(qǐng)求停機(jī)。
volatile boolean shutdownRequested;
...
public void shutdown() {
shutdownRequested = true;
}
public void doWork() {
while (!shutdownRequested) {
// do stuff
}
}
線程1執(zhí)行doWork()的過(guò)程中,可能有另外的線程2調(diào)用了shutdown,所以boolean變量必須是volatile。
而如果使用 synchronized 塊編寫(xiě)循環(huán)要比使用 volatile 狀態(tài)標(biāo)志編寫(xiě)麻煩很多。由于 volatile 簡(jiǎn)化了編碼,并且狀態(tài)標(biāo)志并不依賴(lài)于程序內(nèi)任何其他狀態(tài),因此此處非常適合使用 volatile。
這種類(lèi)型的狀態(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ā)布(one-time safe publication)
在缺乏同步的情況下,可能會(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ì)象。
//注意volatile!!!!!!!!!!!!!!!!!
private volatile static Singleton instace;
public static Singleton getInstance(){
//第一次null檢查
if(instance == null){
synchronized(Singleton.class) { //1
//第二次null檢查
if(instance == null){ //2
instance = new Singleton();//3
}
}
}
return instance;
如果不用volatile,則因?yàn)閮?nèi)存模型允許所謂的“無(wú)序?qū)懭搿保赡軐?dǎo)致失敗。——某個(gè)線程可能會(huì)獲得一個(gè)未完全初始化的實(shí)例。
考察上述代碼中的 //3 行。此行代碼創(chuàng)建了一個(gè) Singleton 對(duì)象并初始化變量 instance 來(lái)引用此對(duì)象。這行代碼的問(wèn)題是:在Singleton 構(gòu)造函數(shù)體執(zhí)行之前,變量instance 可能成為非 null 的!
什么?這一說(shuō)法可能讓您始料未及,但事實(shí)確實(shí)如此。
在解釋這個(gè)現(xiàn)象如何發(fā)生前,請(qǐng)先暫時(shí)接受這一事實(shí),我們先來(lái)考察一下雙重檢查鎖定是如何被破壞的。假設(shè)上述代碼執(zhí)行以下事件序列:
模式 #3:獨(dú)立觀察(independent observation)
安全使用 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ì)信息。【例】如下代碼展示了身份驗(yàn)證機(jī)制如何記憶最近一次登錄的用戶(hù)的名字。將反復(fù)使用lastUser 引用來(lái)發(fā)布值,以供程序的其他部分使用。
public class UserManager {
public volatile String lastUser; //發(fā)布的信息
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;
}
}
模式 #4:“volatile bean” 模式
volatile bean 模式的基本原理是:很多框架為易變數(shù)據(jù)的持有者(例如 HttpSession)提供了容器,但是放入這些容器中的對(duì)象必須是線程安全的。
在 volatile bean 模式中,JavaBean 的所有數(shù)據(jù)成員都是 volatile 類(lèi)型的,并且 getter 和 setter 方法必須非常普通——即不包含約束!
@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;
}
}
模式 #5:開(kāi)銷(xiāo)較低的“讀-寫(xiě)鎖”策略
如果讀操作遠(yuǎn)遠(yuǎn)超過(guò)寫(xiě)操作,您可以結(jié)合使用內(nèi)部鎖和 volatile 變量來(lái)減少公共代碼路徑的開(kāi)銷(xiāo)。
如下顯示的線程安全的計(jì)數(shù)器,使用 synchronized 確保增量操作是原子的,并使用 volatile 保證當(dāng)前結(jié)果的可見(jiàn)性。如果更新不頻繁的話,該方法可實(shí)現(xiàn)更好的性能,因?yàn)樽x路徑的開(kāi)銷(xiāo)僅僅涉及 volatile 讀操作,這通常要優(yōu)于一個(gè)無(wú)競(jìng)爭(zhēng)的鎖獲取的開(kāi)銷(xiāo)。
@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;
//讀操作,沒(méi)有synchronized,提高性能
public int getValue() {
return value;
}
//寫(xiě)操作,必須synchronized。因?yàn)閤++不是原子操作
public synchronized int increment() {
return value++;
}
使用鎖進(jìn)行所有變化的操作,使用 volatile 進(jìn)行只讀操作。
其中,鎖一次只允許一個(gè)線程訪問(wèn)值,volatile 允許多個(gè)線程執(zhí)行讀操作
當(dāng)前名稱(chēng):Javavolatile的適用場(chǎng)景實(shí)例詳解
文章轉(zhuǎn)載:http://chinadenli.net/article28/ggpicp.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供網(wǎng)站設(shè)計(jì)公司、App設(shè)計(jì)、定制開(kāi)發(fā)、手機(jī)網(wǎng)站建設(shè)、面包屑導(dǎo)航、動(dòng)態(tài)網(wǎng)站
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶(hù)投稿、用戶(hù)轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來(lái)源: 創(chuàng)新互聯(lián)