我們知道，在Java中設(shè)置變量值的操作，除了long和double類型的變量外都是原子操作，也就是說(shuō)，對(duì)于變量值的簡(jiǎn)單讀寫操作沒(méi)有必要進(jìn)行同步。

這在JVM 1.2之前，Java的內(nèi)存模型實(shí)現(xiàn)總是從主存讀取變量，是不需要進(jìn)行特別的注意的。而隨著JVM的成熟和優(yōu)化，現(xiàn)在在多線程環(huán)境下volatile關(guān)鍵字的使用變得非常重要。在當(dāng)前的Java內(nèi)存模型下，線程可以把變量保存在本地內(nèi)存（比如機(jī)器的寄存器）中，而不是直接在主存中進(jìn)行讀寫。這就可能造成一個(gè)線程在主存中修改了一個(gè)變量的值，而另外一個(gè)線程還繼續(xù)使用它在寄存器中的變量值的拷貝，造成數(shù)據(jù)的不一致。要解決這個(gè)問(wèn)題，只需要像在本程序中的這樣，把該變量聲明為volatile（不穩(wěn)定的）即可，這就指示JVM，這個(gè)變量是不穩(wěn)定的，每次使用它都到主存中進(jìn)行讀取。一般說(shuō)
來(lái)，多任務(wù)環(huán)境下各任務(wù)間共享的標(biāo)志都應(yīng)該加volatile修飾。

Volatile修飾的成員變量在每次被線程訪問(wèn)時(shí)，都強(qiáng)迫從共享內(nèi)存中重讀該成員變量的值。而且，當(dāng)成員變量發(fā)生變化時(shí)，強(qiáng)迫線程將變化值回寫到共享內(nèi)存。這樣在任何時(shí)刻，兩個(gè)不同的線程總是看到某個(gè)成員變量的同一個(gè)值。

Java語(yǔ)言規(guī)范中指出：為了獲得最佳速度，允許線程保存共享成員變量的私有拷貝，而且只當(dāng)線程進(jìn)入或者離開(kāi)同步代碼塊時(shí)才與共享成員變量的原始值對(duì)比。

這樣當(dāng)多個(gè)線程同時(shí)與某個(gè)對(duì)象交互時(shí)，就必須要注意到要讓線程及時(shí)的得到共享成員變量的變化。

而volatile關(guān)鍵字就是提示VM：對(duì)于這個(gè)成員變量不能保存它的私有拷貝，而應(yīng)直接與共享成員變量交互。

使用建議：在兩個(gè)或者更多的線程訪問(wèn)的成員變量上使用volatile。當(dāng)要訪問(wèn)的變量已在synchronized代碼塊中，或者為常量時(shí)，不必使用。

由于使用volatile屏蔽掉了VM中必要的代碼優(yōu)化，所以在效率上比較低，因此一定在必要時(shí)才使用此關(guān)鍵字。

在虛擬機(jī)的實(shí)現(xiàn)中，int,char等基本類型為一個(gè)字長(zhǎng)。而long和double占兩個(gè)字長(zhǎng)。在某些虛擬機(jī)的實(shí)現(xiàn)中，兩個(gè)字長(zhǎng)可能會(huì)被作為兩個(gè)原子性的單字長(zhǎng)來(lái)操作。

如果不以volatile修飾long和double，如果多線程訪問(wèn)該變量，由于long操作的整體非原子性而導(dǎo)致結(jié)果混亂。
比如：int，一個(gè)線程寫入4，另一個(gè)寫入5. 最后肯定是4或者5.而 long型，可能就是個(gè)亂七八糟的數(shù)值了。

最新評(píng)論