前言
有時僅僅為了讀寫一個或者兩個實例域就使用同步的話局装，顯得開銷過大，volatile關(guān)鍵字為實例域的同步訪問提供了免鎖的機制茄唐。如果聲明一個域為volatile,那么編譯器和虛擬機就知道該域是可能被另一個線程并發(fā)更新的孝扛。再講到volatile關(guān)鍵字之前我們需要了解一下內(nèi)存模型的相關(guān)概念以及并發(fā)編程中的三個特性：原子性，可見性和有序性乎芳。
1. java內(nèi)存模型與原子性遵蚜，可見性和有序性
Java內(nèi)存模型規(guī)定所有的變量都是存在主存當中，每個線程都有自己的工作內(nèi)存奈惑。線程對變量的所有操作都必須在工作內(nèi)存中進行吭净，而不能直接對主存進行操作。并且每個線程不能訪問其他線程的工作內(nèi)存肴甸。
在java中攒钳，執(zhí)行下面這個語句：
int i=3;
執(zhí)行線程必須先在自己的工作線程中對變量i所在的緩存行進行賦值操作，然后再寫入主存當中雷滋。而不是直接將數(shù)值3寫入主存當中不撑。
那么Java語言 本身對 原子性、可見性以及有序性提供了哪些保證呢晤斩？
原子性
對基本數(shù)據(jù)類型的變量的讀取和賦值操作是原子性操作焕檬，即這些操作是不可被中斷的，要么執(zhí)行澳泵，要么不執(zhí)行实愚。
來看一下下面的代碼：
x = 10; //語句1
y = x; //語句2
x++; //語句3
x = x + 1; //語句4
只有語句1是原子性操作，其他三個語句都不是原子性操作兔辅。
語句2實際上包含2個操作腊敲，它先要去讀取x的值，再將x的值寫入工作內(nèi)存维苔，雖然讀取x的值以及 將x的值寫入工作內(nèi)存 這2個操作都是原子性操作碰辅，但是合起來就不是原子性操作了。
同樣的介时，x++和 x = x+1包括3個操作：讀取x的值没宾，進行加1操作凌彬，寫入新的值。
也就是說循衰，只有簡單的讀取铲敛、賦值（而且必須是將數(shù)字賦值給某個變量，變量之間的相互賦值不是原子操作）才是原子操作会钝。
java.util.concurrent.atomic包中有很多類使用了很高效的機器級指令（而不是使用鎖）來保證其他操作的原子性伐蒋。例如AtomicInteger類提供了方法incrementAndGet和decrementAndGet，它們分別以原子方式將一個整數(shù)自增和自減迁酸∠扔悖可以安全地使用AtomicInteger類作為共享計數(shù)器而無需同步。
另外這個包還包含AtomicBoolean胁出，AtomicLong和AtomicReference這些原子類僅供開發(fā)并發(fā)工具的系統(tǒng)程序員使用型型，應用程序員不應該使用這些類。
可見性
可見性全蝶，是指線程之間的可見性闹蒜，一個線程修改的狀態(tài)對另一個線程是可見的。也就是一個線程修改的結(jié)果抑淫。另一個線程馬上就能看到绷落。
當一個共享變量被volatile修飾時，它會保證修改的值會立即被更新到主存始苇，所以對其他線程是可見的砌烁，當有其他線程需要讀取時，它會去內(nèi)存中讀取新值催式。
而普通的共享變量不能保證可見性函喉，因為普通共享變量被修改之后，什么時候被寫入主存是不確定的荣月，當其他線程去讀取時管呵，此時內(nèi)存中可能還是原來的舊值，因此無法保證可見性哺窄。
有序性
在Java內(nèi)存模型中捐下，允許編譯器和處理器對指令進行重排序，但是重排序過程不會影響到單線程程序的執(zhí)行萌业，卻會影響到多線程并發(fā)執(zhí)行的正確性坷襟。
可以通過volatile關(guān)鍵字來保證一定的“有序性”。另外可以通過synchronized和Lock來保證有序性生年，很顯然婴程，synchronized和Lock保證每個時刻是有一個線程執(zhí)行同步代碼，相當于是讓線程順序執(zhí)行同步代碼晶框，自然就保證了有序性排抬。
2. volatile關(guān)鍵字
一旦一個共享變量（類的成員變量懂从、類的靜態(tài)成員變量）被volatile修飾之后授段，那么就具備了兩層語義：
- 保證了不同線程對這個變量進行操作時的可見性蹲蒲，即一個線程修改了某個變量的值，這新值對其他線程來說是立即可見的侵贵。
- 禁止進行指令重排序届搁。
先看一段代碼，假如線程1先執(zhí)行窍育，線程2后執(zhí)行：
//線程1
boolean stop = false;
while(!stop){
doSomething();
}
//線程2
stop = true;
很多人在中斷線程時可能都會采用這種標記辦法卡睦。但是事實上，這段代碼會完全運行正確么漱抓？即一定會將線程中斷么表锻？不一定，也許在大多數(shù)時候乞娄，這個代碼能夠把線程中斷瞬逊，但是也有可能會導致無法中斷線程（雖然這個可能性很小，但是只要一旦發(fā)生這種情況就會造成死循環(huán)了）仪或。
為何有可能導致無法中斷線程确镊？每個線程在運行過程中都有自己的工作內(nèi)存，那么線程1在運行的時候范删，會將stop變量的值拷貝一份放在自己的工作內(nèi)存當中蕾域。那么當線程2更改了stop變量的值之后，但是還沒來得及寫入主存當中到旦，線程2轉(zhuǎn)去做其他事情了旨巷，那么線程1由于不知道線程2對stop變量的更改，因此還會一直循環(huán)下去添忘。
但是用volatile修飾之后就變得不一樣了：
- 使用volatile關(guān)鍵字會強制將修改的值立即寫入主存采呐；
- 使用volatile關(guān)鍵字的話，當線程2進行修改時昔汉，會導致線程1的工作內(nèi)存中緩存變量stop的緩存行無效懈万；
- 由于線程1的工作內(nèi)存中緩存變量stop的緩存行無效，所以線程1再次讀取變量stop的值時會去主存讀取靶病。
volatile保證原子性嗎会通？
我們知道volatile關(guān)鍵字保證了操作的可見性，但是volatile能保證對變量的操作是原子性嗎娄周？
public class Test {
public volatile int inc = 0;
public void increase() {
inc++;
}
public static void main(String[] args) {
final Test test = new Test();
for(int i=0;i<10;i++){
new Thread(){
public void run() {
for(int j=0;j<1000;j++)
test.increase();
};
}.start();
}
//保證前面的線程都執(zhí)行完
while(Thread.activeCount()>1)
Thread.yield();
System.out.println(test.inc);
}
}
這段代碼每次運行結(jié)果都不一致涕侈，都是一個小于10000的數(shù)字，在前面已經(jīng)提到過煤辨，自增操作是不具備原子性的裳涛，它包括讀取變量的原始值木张、進行加1操作、寫入工作內(nèi)存端三。那么就是說自增操作的三個子操作可能會分割開執(zhí)行舷礼。
假如某個時刻變量inc的值為10，線程1對變量進行自增操作郊闯，線程1先讀取了變量inc的原始值妻献，然后線程1被阻塞了；然后線程2對變量進行自增操作团赁，線程2也去讀取變量inc的原始值育拨，由于線程1只是對變量inc進行讀取操作，而沒有對變量進行修改操作欢摄，所以不會導致線程2的工作內(nèi)存中緩存變量inc的緩存行無效熬丧，所以線程2會直接去主存讀取inc的值，發(fā)現(xiàn)inc的值時10怀挠，然后進行加1操作析蝴，并把11寫入工作內(nèi)存，最后寫入主存唆香。然后線程1接著進行加1操作嫌变，由于已經(jīng)讀取了inc的值，注意此時在線程1的工作內(nèi)存中inc的值仍然為10躬它，所以線程1對inc進行加1操作后inc的值為11腾啥，然后將11寫入工作內(nèi)存，最后寫入主存冯吓。那么兩個線程分別進行了一次自增操作后倘待，inc只增加了1。
自增操作不是原子性操作组贺，而且volatile也無法保證對變量的任何操作都是原子性的凸舵。
volatile能保證有序性嗎？
在前面提到volatile關(guān)鍵字能禁止指令重排序失尖，所以volatile能在一定程度上保證有序性啊奄。
volatile關(guān)鍵字禁止指令重排序有兩層意思：
- 當程序執(zhí)行到volatile變量的讀操作或者寫操作時，在其前面的操作的更改肯定全部已經(jīng)進行掀潮，且結(jié)果已經(jīng)對后面的操作可見菇夸；在其后面的操作肯定還沒有進行；
- 在進行指令優(yōu)化時仪吧，不能將在對volatile變量訪問的語句放在其后面執(zhí)行庄新，也不能把volatile變量后面的語句放到其前面執(zhí)行。
3. 正確使用volatile關(guān)鍵字
synchronized關(guān)鍵字是防止多個線程同時執(zhí)行一段代碼，那么就會很影響程序執(zhí)行效率择诈，而volatile關(guān)鍵字在某些情況下性能要優(yōu)于synchronized械蹋，但是要注意volatile關(guān)鍵字是無法替代synchronized關(guān)鍵字的，因為volatile關(guān)鍵字無法保證操作的原子性羞芍。通常來說哗戈，使用volatile必須具備以下2個條件：
- 對變量的寫操作不依賴于當前值
- 該變量沒有包含在具有其他變量的不變式中
第一個條件就是不能是自增自減等操作，上文已經(jīng)提到volatile不保證原子性涩金。
第二個條件我們來舉個例子它包含了一個不變式 ：下界總是小于或等于上界
public class NumberRange {
private volatile 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 類型不能夠充分實現(xiàn)類的線程安全暇仲，從而仍然需要使用同步步做。否則，如果湊巧兩個線程在同一時間使用不一致的值執(zhí)行 setLower 和 setUpper 的話奈附，則會使范圍處于不一致的狀態(tài)全度。例如，如果初始狀態(tài)是 (0, 5)斥滤，同一時間內(nèi)将鸵，線程 A 調(diào)用 setLower(4) 并且線程 B 調(diào)用 setUpper(3)，顯然這兩個操作交叉存入的值是不符合條件的佑颇，那么兩個線程都會通過用于保護不變式的檢查顶掉，使得最后的范圍值是 (4, 3)，這顯然是不對的挑胸。
其實就是要保證操作的原子性就可以使用volatile痒筒，使用volatile主要有兩個場景:
狀態(tài)標志
volatile boolean shutdownRequested;
...
public void shutdown()
{
shutdownRequested = true;
}
public void doWork() {
while (!shutdownRequested) {
// do stuff
}
}
很可能會從循環(huán)外部調(diào)用 shutdown() 方法 —— 即在另一個線程中 —— 因此，需要執(zhí)行某種同步來確保正確實現(xiàn) shutdownRequested 變量的可見性茬贵。然而簿透，使用 synchronized 塊編寫循環(huán)要比使用volatile 狀態(tài)標志編寫麻煩很多。由于 volatile 簡化了編碼解藻，并且狀態(tài)標志并不依賴于程序內(nèi)任何其他狀態(tài)老充，因此此處非常適合使用 volatile。
雙重檢查模式 （DCL）
public class Singleton {
private volatile static Singleton instance = null;
public static Singleton getInstance() {
if (instance == null) {
synchronized(this) {
if (instance == null) {
instance = new Singleton();
}
}
}
return instance;
}
}
在這里使用volatile會或多或少的影響性能螟左，但考慮到程序的正確性啡浊，犧牲這點性能還是值得的。
DCL優(yōu)點是資源利用率高胶背，第一次執(zhí)行g(shù)etInstance時單例對象才被實例化巷嚣，效率高。缺點是第一次加載時反應稍慢一些奄妨，在高并發(fā)環(huán)境下也有一定的缺陷涂籽，雖然發(fā)生的概率很小。
DCL雖然在一定程度解決了資源的消耗和多余的同步砸抛，線程安全等問題评雌，但是他還是在某些情況會出現(xiàn)失效的問題树枫，也就是DCL失效，在《java并發(fā)編程實踐》一書建議用以下的代碼(靜態(tài)內(nèi)部類單例模式）來替代DCL：
public class Singleton {
private Singleton(){
}
public static Singleton getInstance(){
return SingletonHolder.sInstance;
}
private static class SingletonHolder {
private static final Singleton sInstance = new Singleton();
}
}
關(guān)于雙重檢查可以查看http://blog.csdn.net/dl88250/article/details/5439024
4. 總結(jié)
與鎖相比景东，Volatile 變量是一種非常簡單但同時又非常脆弱的同步機制砂轻，它在某些情況下將提供優(yōu)于鎖的性能和伸縮性。如果嚴格遵循 volatile 的使用條件即變量真正獨立于其他變量和自己以前的值 斤吐，在某些情況下可以使用 volatile 代替 synchronized 來簡化代碼搔涝。然而，使用 volatile 的代碼往往比使用鎖的代碼更加容易出錯和措。本文介紹了可以使用 volatile 代替 synchronized 的最常見的兩種用例庄呈，其他的情況我們最好還是去使用synchronized 。
