Volatile關(guān)鍵字是Java提供的一種輕量級的同步機(jī)制。Java 語言包含兩種內(nèi)在的同步機(jī)制：同步塊（或方法）和 volatile 變量， 相比synchronized（synchronized通常稱為重量級鎖），volatile更輕量級，因?yàn)樗粫鹁€程上下文的切換和調(diào)度。 但是volatile 變量的同步性較差（有時(shí)它更簡單并且開銷更低），而且其使用也更容易出錯(cuò)。

一、volatile變量的特性

1.1、保證可見性，不保證原子性

• 當(dāng)寫一個(gè)volatile變量時(shí)，JMM會把該線程本地內(nèi)存中的變量強(qiáng)制刷新到主內(nèi)存中去；
• 這個(gè)寫會操作會導(dǎo)致其他線程中的volatile變量緩存無效。

來看一段代碼：

public class Test {
    public static void main(String[] args) {
        WangZai wangZai = new WangZai();
        wangZai.start();
        for(; ;){
            if(wangZai.isFlag()){
                System.out.println("hello");
            }
        }
    }
 
    static class WangZai extends Thread {
 
        private boolean flag = false;
 
        public boolean isFlag(){
            return flag;
        }
 
        @Override
        public void run() {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            flag = true;
            System.out.println("flag = " + flag);
        }
    }
}

你會發(fā)現(xiàn)，永遠(yuǎn)都不會輸出hello這一段代碼，按道理線程改了flag變量，主線程也能訪問到的呀？

但是將flag變量用volatile修飾一下，就能輸出hello這段代碼

private volatile boolean flag = false;

每個(gè)線程操作數(shù)據(jù)的時(shí)候會把數(shù)據(jù)從主內(nèi)存讀取到自己的工作內(nèi)存，如果他操作了數(shù)據(jù)并且寫會了，那其他已經(jīng)讀取的線程的變量副本就會失效了，需要對數(shù)據(jù)進(jìn)行操作又要再次去主內(nèi)存中讀取了。

volatile保證不同線程對共享變量操作的可見性，也就是說一個(gè)線程修改了volatile修飾的變量，當(dāng)修改寫回主內(nèi)存時(shí)，另外一個(gè)線程立即看到最新的值。

1.2、禁止指令重排

重排序需要遵守一定規(guī)則：

• 重排序操作不會對存在數(shù)據(jù)依賴關(guān)系的操作進(jìn)行重排序。
• 重排序是為了優(yōu)化性能，但是不管怎么重排序，單線程下程序的執(zhí)行結(jié)果不能被改變。

什么是重排序?

為了提高性能，編譯器和處理器常常會對既定的代碼執(zhí)行順序進(jìn)行指令重排序。

重排序的類型有哪些呢？

一個(gè)好的內(nèi)存模型實(shí)際上會放松對處理器和編譯器規(guī)則的束縛，也就是說軟件技術(shù)和硬件技術(shù)都為同一個(gè)目標(biāo)，而進(jìn)行奮斗：在不改變程序執(zhí)行結(jié)果的前提下，盡可能提高執(zhí)行效率。

JMM對底層盡量減少約束，使其能夠發(fā)揮自身優(yōu)勢。

因此，在執(zhí)行程序時(shí)，為了提高性能，編譯器和處理器常常會對指令進(jìn)行重排序。

一般重排序可以分為如下三種：

• 編譯器優(yōu)化的重排序。編譯器在不改變單線程程序語義的前提下，可以重新安排語句的執(zhí)行順序;
• 指令級并行的重排序?，F(xiàn)代處理器采用了指令級并行技術(shù)來將多條指令重疊執(zhí)行。如果不存在數(shù)據(jù)依賴性，處理器可以改變語句對應(yīng)機(jī)器指令的執(zhí)行順序;
• 內(nèi)存系統(tǒng)的重排序。由于處理器使用緩存和讀/寫緩沖區(qū)，這使得加載和存儲操作看上去可能是在亂序執(zhí)行的。

那 Volatile 是怎么保證不會被執(zhí)行重排序的呢？

二、內(nèi)存屏障

java編譯器會在生成指令系列時(shí)在適當(dāng)?shù)奈恢脮迦雰?nèi)存屏障指令來禁止特定類型的處理器重排序。

為了實(shí)現(xiàn)volatile的內(nèi)存語義，JMM會限制特定類型的編譯器和處理器重排序，JMM會針對編譯器制定volatile重排序規(guī)則表：

是否能重排序第二個(gè)操作第一個(gè)操作普通讀/寫volatile讀volatile寫普通讀/寫NOvolatile讀NONONOvolatile寫NONO

舉例來說，第三行最后一個(gè)單元格的意思是：在程序順序中，當(dāng)?shù)谝粋€(gè)操作為普通變量的讀或?qū)憰r(shí)，如果第二個(gè)操作為volatile寫，則編譯器不能重排序這兩個(gè)操作。

從上表我們可以看出：

• 當(dāng)?shù)诙€(gè)操作是volatile寫時(shí)，不管第一個(gè)操作是什么，都不能重排序。這個(gè)規(guī)則確保volatile寫之前的操作不會被編譯器重排序到volatile寫之后。
• 當(dāng)?shù)谝粋€(gè)操作是volatile讀時(shí)，不管第二個(gè)操作是什么，都不能重排序。這個(gè)規(guī)則確保volatile讀之后的操作不會被編譯器重排序到volatile讀之前。
• 當(dāng)?shù)谝粋€(gè)操作是volatile寫，第二個(gè)操作是volatile讀時(shí)，不能重排序。

需要注意的是：volatile寫是在前面和后面分別插入內(nèi)存屏障，而volatile讀操作是在后面插入兩個(gè)內(nèi)存屏障。

寫

讀

從JDK5開始，提出了happens-before的概念，通過這個(gè)概念來闡述操作之間的內(nèi)存可見性。

三、happens-before

happens-before 關(guān)系的定義：

• 如果一個(gè)操作 happens-before 另一個(gè)操作，那么第一個(gè)操作的執(zhí)行結(jié)果就會對第二個(gè)操作可見。
• 兩個(gè)操作之間如果存在 happens-before 關(guān)系，并不意味著 Java 平臺的具體實(shí)現(xiàn)就必須按照 happens-before 關(guān)系指定的順序來執(zhí)行。如果重排序之后的執(zhí)行結(jié)果，與按照 happens-before 關(guān)系來執(zhí)行的結(jié)果一直，那么 JMM 也允許這樣的重排序。

看到這兒，你是不是覺得，這個(gè)怎么和 as-if-serial 語義一樣呢。沒錯(cuò)， happens-before 關(guān)系本質(zhì)上和 as-if-serial 語義是一回事。

as-if-serial 語義保證的是單線程內(nèi)重排序之后的執(zhí)行結(jié)果和程序代碼本身應(yīng)該出現(xiàn)的結(jié)果是一致的，

happens-before 關(guān)系保證的是正確同步的多線程程序的執(zhí)行結(jié)果不會被重排序改變。

一句話來總結(jié)就是：如果操作 A happens-before 操作 B ，那么操作 A 在內(nèi)存上所做的操作對操作 B 都是可見的，不管它們在不在一個(gè)線程。

在 Java 中，對于 happens-before 關(guān)系，有以下規(guī)定：

• 程序順序規(guī)則：一個(gè)線程中的每一個(gè)操作， happens-before 于該線程中的任意后續(xù)操作。
• 監(jiān)視器鎖規(guī)則：對一個(gè)鎖的解鎖， happens-before 于隨后對這個(gè)鎖的加鎖。
• volatile 變量規(guī)則：對一個(gè) volatile 域的寫， happens-before 與任意后續(xù)對這個(gè) volatile 域的讀。
• 傳遞性：如果 A happens-before B ， 且 B happens-before C ，那么 A happens-before C。
• start 規(guī)則：如果線程 A 執(zhí)行操作 ThreadB。start() 啟動線程 B ，那么 A 線程的 ThreadB。start() 操作 happens-before 于線程 B 中的任意操作。
• join 規(guī)則：如果線程 A 執(zhí)行操作 ThreadB。join() 并成功返回，那么線程 B 中的任意操作 happens-before 于線程 A 從 ThreadB。join() 操作成功返回。

到此這篇關(guān)于Java并發(fā)編程之Volatile變量詳解分析的文章就介紹到這了,更多相關(guān)Java Volatile變量內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論