快捷導(dǎo)航

詳細(xì)分析java并發(fā)之volatile關(guān)鍵字

更新時間：2020年06月24日 10:41:52 作者：onlythinking

這篇文章主要介紹了java并發(fā)之volatile關(guān)鍵字的的相關(guān)資料，文中代碼非常詳細(xì)，幫助大家更好的理解和學(xué)習(xí)，感興趣的朋友可以了解下

Java面試中經(jīng)常會涉及關(guān)于volatile的問題。本文梳理下volatile關(guān)鍵知識點。

volatile字意為“易失性”，在Java中用做修飾對象變量。它不是Java特有，在C，C++，C#等編程語言也存在，只是在其它編程語言中使用有所差異，但總體語義一致。比如使用volatile 能阻止編譯器對變量的讀寫優(yōu)化。簡單說，如果一個變量被修飾為volatile，相當(dāng)于告訴系統(tǒng)說我容易變化，編譯器你不要隨便優(yōu)化（重排序，緩存）我。

Happens-before

規(guī)范上，Java內(nèi)存模型遵行happens-before。

volatile變量在多線程中，寫線程和讀線程具有happens-before關(guān)系。也就是寫值的線程要在讀取線程之前，并且讀線程能完全看見寫線程的相關(guān)變量。

happens-before：如果兩個有兩個動作AB，A發(fā)生在B之前，那么A的順序應(yīng)該在B前面并且A的操作對B完全可見。

happens-before 具有傳遞性，如果A發(fā)生在B之前，而B發(fā)生在C之前，那么A發(fā)生在C之前。

如何保證可見性

多線程環(huán)境下counter變量的更新過程。線程1先從主存拷貝副本到CPU緩存，然后CPU執(zhí)行counter=7，修改完后寫入CPU緩存，等待時機同步到主存。在線程1同步主存前，線程2讀到counter值依然為0。此時已經(jīng)發(fā)生內(nèi)存一致性錯誤（對于相同的共享數(shù)據(jù)，多線程讀到視圖不一致）。因為線程2看不見線程1操作結(jié)果，也將這個問題稱為可見性問題。

public class SharedObject {
  public int counter = 0;
}

因為多了緩存優(yōu)化導(dǎo)致，導(dǎo)致可見性問題。所以volatile通過消除緩存（描述可能不太準(zhǔn)確）來避免。例如當(dāng)使用volatile修飾變量后，操作該變量讀寫直接與主存交互，跳過緩存層，保證其它讀線程每次獲取的都是最新值。

public volatile int counter = 0;

volatile 不單只消除修飾的變量的緩存。事實上與之相關(guān)的變量在讀寫時也會消除緩存，如同使用了volatile一樣。

如下 years，months，days 三個變量中只有days是volatile，但是對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;
  }
}

這是為什么？我們分析一下。

一個寫線程調(diào)用 update，讀線程調(diào)用totalDays。單線程中，對于update方法，wa與wb存在happens-before關(guān)系， wa在 wb 之前執(zhí)行并對wb可見。

多線程中rc與wb存在happens-before關(guān)系，wb在rc之前執(zhí)行并對rc可見。根據(jù) happens-before傳遞性，wa需要在rc前先執(zhí)行并對rc可見。

因為wb是volatile變量，所以rc獲取的years，months也是最新值。

我們知道出于性能原因，JVM和CPU會對程序中的指令進行重新排序。如果update方法里面wa和wb順序被重排，那它們的happens-before關(guān)系將不在成立。

為了避免這個問題，volatile對重排序做了保證對于發(fā)生在volatile變量操作前的其他變量的操作不能重新排序。

由此我們得到volatile通過消除緩存和防止重排保證線程的可見性。

volatile保證線程安全？

討論線程安全，大家都會提及原子性，順序性，可見性。volatile側(cè)重于保證可見性，也就是當(dāng)寫的線程更新后，讀線程總能獲得最新值。在只有一個線程寫，多個線程讀的場景下，volatile能滿足線程安全。可如果多個線程同時寫入volatile變量時，則需要引入同步語義才能保證線程安全。

模擬10個線程同時寫入volatile變量，一個線程讀counter，執(zhí)行完后正確結(jié)果應(yīng)該是counter=10。

  public static class WriterTask implements Runnable {
    private final ShareObject share;
    private final CountDownLatch countDownLatch;
    public WriterTask(ShareObject share, CountDownLatch countDownLatch) {
      this.share = share;
      this.countDownLatch = countDownLatch;
    }
    @Override
    public void run() {
      countDownLatch.countDown();
      share.increase();
    }
  }
  
  public class ShareObject {
    private volatile int counter;
    public void increase() {
      this.counter++;
    }
  }

執(zhí)行結(jié)果出現(xiàn)counter=5或6 錯誤結(jié)果。