快捷導(dǎo)航

Java中Volatile的作用實例解析

更新時間：2018年07月08日 16:50:36 作者：silion世

本篇文章給大家通過實例分享了Java中Volatile的作用，有興趣的朋友可以學(xué)習(xí)參考下。

Java 語言中的 volatile 變量可以被看作是一種 “程度較輕的 synchronized”；與 synchronized 塊相比，volatile 變量所需的編碼較少，并且運行時開銷也較少，但是它所能實現(xiàn)的功能也僅是 synchronized 的一部分。

鎖

鎖提供了兩種主要特性：互斥（mutual exclusion）和可見性（visibility）。

互斥即一次只允許一個線程持有某個特定的鎖，因此可使用該特性實現(xiàn)對共享數(shù)據(jù)的協(xié)調(diào)訪問協(xié)議，這樣，一次就只有一個線程能夠使用該共享數(shù)據(jù)。
可見性要更加復(fù)雜一些，它必須確保釋放鎖之前對共享數(shù)據(jù)做出的更改對于隨后獲得該鎖的另一個線程是可見的 —— 如果沒有同步機制提供的這種可見性保證，線程看到的共享變量可能是修改前的值或不一致的值，這將引發(fā)許多嚴(yán)重問題。

Volatile變量

volatile 變量具有 synchronized 的可見性特性，但是不具備原子特性。這就是說線程能夠自動發(fā)現(xiàn) volatile 變量的最新值。

Volatile 變量可用于提供線程安全，但是只能應(yīng)用于非常有限的一組用例：多個變量之間或者某個變量的當(dāng)前值與修改后值之間沒有約束。因此，單獨使用 volatile 還不足以實現(xiàn)計數(shù)器、互斥鎖或任何具有與多個變量相關(guān)的不變式（Invariants）的類（例如 “start <=end”）。

出于簡易性或可伸縮性的考慮，您可能傾向于使用 volatile 變量而不是鎖。當(dāng)使用 volatile 變量而非鎖時，某些習(xí)慣用法（idiom）更加易于編碼和閱讀。此外，volatile 變量不會像鎖那樣造成線程阻塞，因此也很少造成可伸縮性問題。在某些情況下，如果讀操作遠(yuǎn)遠(yuǎn)大于寫操作，volatile 變量還可以提供優(yōu)于鎖的性能優(yōu)勢。

正確使用 volatile 變量的條件

您只能在有限的一些情形下使用 volatile 變量替代鎖。要使 volatile 變量提供理想的線程安全，必須同時滿足下面兩個條件：
對變量的寫操作不依賴于當(dāng)前值。

該變量沒有包含在具有其他變量的不變式中。

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

第一個條件的限制使 volatile 變量不能用作線程安全計數(shù)器。雖然增量操作（x++）看上去類似一個單獨操作，實際上它是一個由讀?。薷模瓕懭氩僮餍蛄薪M成的組合操作，必須以原子方式執(zhí)行，而 volatile 不能提供必須的原子特性。實現(xiàn)正確的操作需要使 x 的值在操作期間保持不變，而 volatile 變量無法實現(xiàn)這點。（然而，如果將值調(diào)整為只從單個線程寫入，那么可以忽略第一個條件。）

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

舉例

下面看一個例子，我們實現(xiàn)一個計數(shù)器，每次線程啟動的時候，會調(diào)用計數(shù)器inc方法，對計數(shù)器進(jìn)行加一
執(zhí)行環(huán)境——jdk版本：jdk1.6.0_31 ，內(nèi)存：3G cpu：x86 2.4G

public class Counter { 

 public static int count = 0; 

 public static void inc() { 

  //這里延遲1毫秒，使得結(jié)果明顯 
  try { 
   Thread.sleep(1); 
  } catch (InterruptedException e) { 
  } 

  count++; 
 } 

 public static void main(String[] args) { 

  //同時啟動1000個線程，去進(jìn)行i++計算，看看實際結(jié)果 

  for (int i = 0; i < 1000; i++) { 
   new Thread(new Runnable() { 
    @Override
    public void run() { 
     Counter.inc(); 
    } 
   }).start(); 
  } 

  //這里每次運行的值都有可能不同,可能為1000 
  System.out.println("運行結(jié)果:Counter.count=" + Counter.count); 
 } 
}

運行結(jié)果:Counter.count=995

實際運算結(jié)果每次可能都不一樣，本機的結(jié)果為：運行結(jié)果:Counter.count=995，可以看出，在多線程的環(huán)境下，Counter.count并沒有期望結(jié)果是1000

很多人以為，這個是多線程并發(fā)問題，只需要在變量count之前加上volatile就可以避免這個問題，那我們在修改代碼看看，看看結(jié)果是不是符合我們的期望

public class Counter { 

 public volatile static int count = 0; 

 public static void inc() { 

  //這里延遲1毫秒，使得結(jié)果明顯 
  try { 
   Thread.sleep(1); 
  } catch (InterruptedException e) { 
  } 

  count++; 
 } 

 public static void main(String[] args) { 

  //同時啟動1000個線程，去進(jìn)行i++計算，看看實際結(jié)果 

  for (int i = 0; i < 1000; i++) { 
   new Thread(new Runnable() { 
    @Override
    public void run() { 
     Counter.inc(); 
    } 
   }).start(); 
  } 

  //這里每次運行的值都有可能不同,可能為1000 
  System.out.println("運行結(jié)果:Counter.count=" + Counter.count); 
 } 
}

運行結(jié)果:Counter.count=992

運行結(jié)果還是沒有我們期望的1000，下面我們分析一下原因

在 java 垃圾回收整理一文中，描述了jvm運行時刻內(nèi)存的分配。其中有一個內(nèi)存區(qū)域是jvm虛擬機棧，每一個線程運行時都有一個線程棧，線程棧保存了線程運行時候變量值信息。當(dāng)線程訪問某一個對象時候值的時候，首先通過對象的引用找到對應(yīng)在堆內(nèi)存的變量的值，然后把堆內(nèi)存變量的具體值load到線程本地內(nèi)存中，建立一個變量副本，之后線程就不再和對象在堆內(nèi)存變量值有任何關(guān)系，而是直接修改副本變量的值，在修改完之后的某一個時刻（線程退出之前），自動把線程變量副本的值回寫到對象在堆中變量。這樣在堆中的對象的值就產(chǎn)生變化了。下面一幅圖描述這寫交互