Java的volatile關(guān)鍵字用于標(biāo)記一個(gè)Java變量為“在主存中存儲(chǔ)”。更確切的說(shuō)，對(duì)volatile變量的讀取會(huì)從計(jì)算機(jī)的主存中讀取，而不是從CPU緩存中讀取，對(duì)volatile變量的寫(xiě)入會(huì)寫(xiě)入到主存中，而不只是寫(xiě)入到CPU緩存。

實(shí)際上，從Java5開(kāi)始，volatile關(guān)鍵字不只是保證了volatile變量在主存中寫(xiě)入和讀取，我回在后面的部分做相關(guān)的解釋。

變量可見(jiàn)性問(wèn)題

Java的volatile關(guān)鍵字保證了多個(gè)線程對(duì)變量值變化的可見(jiàn)性。這聽(tīng)起來(lái)有點(diǎn)抽象，讓我來(lái)詳細(xì)解釋。

在一個(gè)多線程的程序中，當(dāng)多個(gè)線程操作非volatile變量時(shí)，出于性能原因，每個(gè)線程會(huì)從主存中拷貝一份變量副本到一個(gè)CPU緩存中。如果你的計(jì)算機(jī)有多于一個(gè)CPU，每個(gè)線程可能會(huì)在不同的CPU中運(yùn)行。這意味著每個(gè)簡(jiǎn)稱拷貝變量到不同CPU的緩存中，如下圖：

對(duì)于非volatile變量，并沒(méi)有保證何時(shí)JVM從主存中讀取數(shù)據(jù)到CPU緩存，或者從CPU緩存中寫(xiě)出數(shù)據(jù)到主存。這會(huì)導(dǎo)致一些問(wèn)題。

想象一種情況，多于一個(gè)線程訪問(wèn)一個(gè)共享對(duì)象，這個(gè)共享對(duì)象包含一個(gè)計(jì)數(shù)變量如下聲明：

public class ShareObject {

public int counter = 0;

}

考慮只有一個(gè)線程Thread1增加counter這個(gè)變量的值，但是Tread1和Thread2可能有時(shí)會(huì)讀取counter變量。

如果counter變量沒(méi)有被聲明為volatile，就不能保證何時(shí)這個(gè)變量的值會(huì)從CPU緩存寫(xiě)回主存，這意味著，在CPU緩存中的counter變量的值可能和主存中的不一樣。如下圖所示：

線程沒(méi)有看到一個(gè)變量最新更新的值的原因是這個(gè)變量還沒(méi)有被一個(gè)線程寫(xiě)回到主存，這被稱為“可見(jiàn)性”問(wèn)題。一個(gè)線程對(duì)變量的更新對(duì)其他線程不可見(jiàn)。

Java的volatile可見(jiàn)性保證

Java的volatile關(guān)鍵字想要解決變量可見(jiàn)性問(wèn)題。通過(guò)聲明counter變量為volatile，所有對(duì)counter變量的寫(xiě)入都回立即寫(xiě)回到主存，同時(shí)所有對(duì)counter變量也都會(huì)從主存中讀取。

西面的代碼展示了如何把counter變量聲明為volatile：

public class SharedObject {

public volatile int counter = 0;

}

聲明一個(gè)變量為volatile保證了對(duì)變量的寫(xiě)入對(duì)其他線程的可見(jiàn)性。

在上面的場(chǎng)景中，一個(gè)線程(T1)修改了counter變量的值，另一個(gè)線程(T2)讀取counter變量(但是不修改它)，聲明counter變量為volatile足以保證對(duì)counter變量的寫(xiě)入對(duì)T2可見(jiàn)。

但是，如果T1和T2都去增加counter變量的只，name聲明counter變量為volatile是不夠的，后面會(huì)說(shuō)明。

全volatile可見(jiàn)性保證

實(shí)際上，Java的volatile的可見(jiàn)性保證不止volatile變量本身。可見(jiàn)性保證如下：

如果線程A寫(xiě)一個(gè)volatile變量，線程B隨后讀取這個(gè)volatile變量，那么在寫(xiě)這個(gè)volatile變量之前對(duì)線程A可見(jiàn)的所有變量，在線程B讀取這個(gè)volatile變量之后對(duì)線程B也可見(jiàn)。

如果線程A讀取一個(gè)volatile變量，那么當(dāng)A讀取這個(gè)volatile變量時(shí)所有對(duì)線程A可見(jiàn)的變量也可以從主存中再次讀取。

我用下面的代碼來(lái)說(shuō)明：

public class MyClass {

private int years;

private int months;

private volatile int days;

public void update(int years, int months, int days) {

this.years = years;

this.months = months;

this.days = days;

}

}

update()方法寫(xiě)入三個(gè)變量，只有days變量是volatile的。

全volatile可見(jiàn)性保證的意思是，當(dāng)一個(gè)值寫(xiě)入到days變量，則所有對(duì)當(dāng)前線程可見(jiàn)的變量也會(huì)都寫(xiě)入到主存，也就是當(dāng)一個(gè)值寫(xiě)入到days變量，則years和months的只也被寫(xiě)入到主存。

當(dāng)讀取years，months和days的值，可以這樣做：

public class MyClass {

private int years;

private int months;

private volatile int days;

public int totalDays() {

int total = this.days;

total += months * 30;

total += years * 365;

return total;

}

public void update(int years, int months, int days) {

this.years = years;

this.months = months;

this.days = days;

}

}

需要注意的是totalDays()方法起始于讀取days的值到total變量中。當(dāng)讀取days的值時(shí)，months和years的值也被讀取到主存。因此可以保證你看到的是days，months和years的最新的值，前提是保證上面的讀取順序。

指令重排序挑戰(zhàn)

出于性能的考量，JVM和CPU允許對(duì)程序中的指令進(jìn)行重排序，只要指令的語(yǔ)義不變。例如下面的指令：

int a = 1;

int b = 2;

a++;

b++;

這些指令可以按照下面的順序重排，并不會(huì)丟失程序的語(yǔ)義：

int a = 1;

a++;

int b = 2;

b++;

但是，指令重排序?qū)τ谄渲幸粋€(gè)變量是volatile變量這種情況是有挑戰(zhàn)的。讓我們看一下MyClass這個(gè)類(lèi)：

public class MyClass {

private int years;

private int months;

private volatile int days;

public void update(int years, int months, int days) {

this.years = years;

this.months = months;

this.days = days;

}

}

一旦update()方法對(duì)days變量寫(xiě)入一個(gè)值，years和months新寫(xiě)入的只也刷入到主存，但是，如果有JVM指令重排序，像下面這樣：

public void update(int years, int months, int days) {

this.days = days;

this.months = months;

this.years = years;

}

months和years的只在days變量修改的情況下依然會(huì)寫(xiě)入到主存，但是這時(shí)將years和days變量值刷入主存這件事發(fā)生在對(duì)months和years寫(xiě)入新值之前，則對(duì)years和days的更新對(duì)其他線程來(lái)說(shuō)就不可見(jiàn)了。這下指令重排序就改變了程序的語(yǔ)義。

Java有一個(gè)應(yīng)對(duì)此問(wèn)題的解決方案，下面會(huì)講到。

Java的volatile的Happens-Before保證

為了解決指令重排序的挑戰(zhàn)，Java的volatile關(guān)鍵字除了可見(jiàn)性保證之外，給出了一個(gè)“happens-before”的保證。happens-before保證如下情況：

如果讀取和寫(xiě)入其他非volatile變量發(fā)生在寫(xiě)入volatile變量之前(這種情況這些非volatile變量也會(huì)被刷入主存)，則讀取和寫(xiě)入這些變量不能被重排序?yàn)榘l(fā)生在寫(xiě)入這個(gè)volatile變量之后(禁止指令重排序)。在寫(xiě)入一個(gè)volatile變量之前的讀取和寫(xiě)入非volatile變量被保證為“happen before”寫(xiě)入這個(gè)volatile變量。需要注意的是，例如在寫(xiě)入一個(gè)volatile變量之后讀寫(xiě)其他變量可以被重排序到寫(xiě)入這個(gè)volatile變量之前。從“之后”重排序到”之前“是允許的，但是從”之前“重排序到”之后“是禁止的。

如果讀寫(xiě)其他非volatile變量發(fā)生在讀取一個(gè)volatile變量之后(這種情況這些非volatile變量也會(huì)被刷到主存)，則讀寫(xiě)這些變量不能被重排序?yàn)榘l(fā)生在讀取這個(gè)volatile變量之前。需要注意的是，讀取其他變量發(fā)生在讀取一個(gè)volatile變量之前能夠被重排序?yàn)榘l(fā)生在讀取這個(gè)volatile變量之后。從”之前“重排序到“之后”是允許的，但是從“之后”重排序到“之前”是被禁止的。

上面的happens-before保障保證的volatile關(guān)鍵字的可見(jiàn)性是強(qiáng)制的。

volatile不總是足夠的

盡管volatile關(guān)鍵字保證了所有對(duì)一個(gè)volatile變量的讀取都是從主存中讀取，所有對(duì)volatile關(guān)鍵字的寫(xiě)入都是直接到主存，但是仍有其他情況使得聲明一個(gè)變量為volatile是不足夠的。

在前面解釋的情況，也就是只有Thread1寫(xiě)共享變量counter，聲明counter變量為volatile足以保證Thread2總是看到最新寫(xiě)入的值。

實(shí)際上，多線程都可以寫(xiě)一個(gè)共享的volatile變量，并且仍然在主存中存儲(chǔ)正確的值，前提是寫(xiě)入變量的新值不依賴于它之前的值。也就是說(shuō)，如果一個(gè)線程寫(xiě)入一個(gè)值到共享的volatile變量不需要先去讀它的值去產(chǎn)出下一個(gè)值。

只要一個(gè)線程需要首先讀取一個(gè)volatile變量的值，基于這個(gè)值生成一個(gè)新值，則一個(gè)volatile關(guān)鍵字不足以保證正確的可見(jiàn)性。在讀取volatile變量然后寫(xiě)入新值的短暫的間隙，會(huì)產(chǎn)生競(jìng)態(tài)條件(race condition)，這時(shí)多個(gè)線程可能讀取到相同的volatile變量的值，生成這個(gè)變量的新值，當(dāng)將新值寫(xiě)回主存時(shí)，會(huì)覆蓋彼此的值。

多線程增加相同計(jì)數(shù)器的值就是這種情況，導(dǎo)致一個(gè)volatile聲明不足夠。下面詳細(xì)解釋這種情況。

想象如果Thread1讀取一個(gè)值為0的共享的counter變量到它的CPU緩存，增加1并且不將這個(gè)改變的值寫(xiě)回主存。Thread2然后從主存中讀取相同的值仍為0counter變量到它的CPU緩存。Thread2也為它增加1，也不寫(xiě)回主存。這種情況如下圖所示：

Thread1和Thread2此時(shí)實(shí)際上已經(jīng)不同步了。共享變量counter的值應(yīng)該為2，但是每個(gè)線程在CPU緩存中的這個(gè)變量的值都為1，在主存中的值仍為0，這就亂了！盡管這兩個(gè)線程最終會(huì)將值寫(xiě)回主存中的共享變量，這個(gè)值也是不正確的。

何時(shí)volatile是足夠的？

正如前面所說(shuō)，如果兩個(gè)線程都去讀寫(xiě)同一個(gè)共享變量，只對(duì)這個(gè)共享變量使用volatile關(guān)鍵字是不夠的。你需要使用一個(gè)synchronized關(guān)鍵字去保證讀寫(xiě)相同變量是原子的。讀寫(xiě)一個(gè)volatile變量不會(huì)阻塞線程的讀寫(xiě)。

作為synchronized塊替代方法，你可以使用java.util.concurrent包中的眾多原子數(shù)據(jù)類(lèi)型。比如，AtomicLong或者AtomicReference或其他的類(lèi)型。

只有一個(gè)線程讀寫(xiě)一個(gè)volatile變量值，其他線程只讀取變量，則這些讀線程能夠保證看到寫(xiě)入這個(gè)volatile變量的最新值，如果不聲明為volatile，則這種情況不能保證。

volatile的性能考量

讀寫(xiě)volatile變量會(huì)導(dǎo)致變量被讀寫(xiě)到主存。讀寫(xiě)主存比訪問(wèn)CPU緩存開(kāi)銷(xiāo)更大。訪問(wèn)volatile變量也會(huì)禁止指令重排序，而指令重排序是一個(gè)正正常的性能優(yōu)化技術(shù)。因此，你應(yīng)該只在真正需要保證變量可見(jiàn)性的時(shí)候使用volatile變量。

總結(jié)

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

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