簡介：

順序一致性內存模型是一個理論參考模型，處理器的內存模型和編程語言的內存模型都會以順序一致性內存模型作為參照。

1、數(shù)據(jù)競爭和順序一致性

當程序未正確同步時，就可能存在數(shù)據(jù)競爭。

1.1 Java內存模型規(guī)范對數(shù)據(jù)競爭的定義

定義如下：

• 在一個線程中寫一個變量
• 在另一個線程中讀同一個變量
• 寫和讀沒有通過同步來排序
  

如果一個多線程程序能夠正確同步，這個程序將是一個沒有數(shù)據(jù)競爭的程序，往往存在數(shù)據(jù)競爭的程序，運行結果與我們的預期結果都會存在偏差。

1.2 JMM對多線程程序的內存一致性做的保證

如果程序正確同步（正確使用synchronized、volatile和final），程序的執(zhí)行將具有順序一致性（Sequentially Consistent）——即程序的執(zhí)行結果與該程序在順序一致性內存模型中的執(zhí)行結果相同。

2、順序一致性內存模型

2.1 特性

• 一個線程中的所有操作必須按照程序的執(zhí)行順序來執(zhí)行
• （不管是否正確同步）所有的線程都只能看到一個單一的操作執(zhí)行順序，每個操作都必須原子執(zhí)行且立刻對所有線程可見。
  

圖示：順序一致性內存模型視圖

在概念上，順序一致性模型有一個單一的全局內存，這個內存通過一個左右擺動的開關可以連接到任意一個線程，同時每一個線程必須按照程序的順序來執(zhí)行內存的讀/寫操作。上圖中可以看出，在任意時刻最多只有一個線程可以連接到內存。因此，在多線程并發(fā)執(zhí)行時，圖中的開關裝置能把所有的內存讀/寫操作串行化（即在順序一致性模型中所有操作之間具有全序關系）。

2.2 舉例說明順序一致性模型

假設兩個線程A和B并發(fā)執(zhí)行。其中

A線程的操作在程序中的順序為：A1 - A2 - A3

B線程的操作在程序中的順序為：B1 - B2 - B3。

假設線程A和線程B使用監(jiān)視器鎖來正確同步，A線程的3個操作執(zhí)行后釋放監(jiān)視器鎖，隨后B線程獲取同一個監(jiān)視器鎖。那么程序在順序一致性模型中的執(zhí)行效果如下所示：順序一致性模型的一種執(zhí)行效果

假設線程A和線程B沒有做同步，那么這個未同步的程序在順序一致性模型中的另一種可能的效果如下所示：

順序一致性模型的另一種執(zhí)行效果：

未同步程序在順序一致性模型中雖然整體執(zhí)行順序是無序的，但是所有線程都只能看到一個一直的整體執(zhí)行順序。以上圖為例，線程A和B看到的執(zhí)行順序都是：A1 - B1 - A2 - B2 - A3 - B3。之所以能得到這個保證是因為順序一致性內存模型中的每個操作必須立即對任意線程可見。

但是，在JMM中就沒有這個保證。未同步程序在JMM中不但整體的執(zhí)行順序是無序的，而且所有線程看到的操作執(zhí)行順序也可能不一致。 比如，在當前線程把寫過的數(shù)據(jù)緩存在本地內存中，在沒有刷新到主內存之前，這個寫操作僅對當前線程可見；從其他線程的角度來觀察，會認為這個寫操作根本被當前線程執(zhí)行。只有當前線程把本地內存中寫過的數(shù)據(jù)刷新到主內存之后，這個寫操作才能對其他線程可見。這種情況就會出現(xiàn)多種運行結果。

2.3 同步程序的順序一致性效果

對上一章的ReorderExample程序用鎖來同步

package com.lizba.p1;

/**
 * <p>
 *      同步示例
 * </p>
 *
 * @Author: Liziba
 * @Date: 2021/6/8 21:44
 */
public class SynReorderExample {

    // 定義變量a
    int a = 0;
    // flag變量是個標記，用來標志變量a是否被寫入
    boolean flag = false;

    public synchronized void writer() {     // 獲取鎖
        a = 1;
        flag = true;
    }                                       // 釋放鎖

    public synchronized void reader() {     // 獲取鎖
        if (flag) {
            int i = a * a;
            System.out.println("i:" + i);
        }
    }                                       // 釋放鎖

}

測試代碼

/**
  * 測試
  *
  * @param args
  */
public static void main(String[] args) {

    final SynReorderExample re = new SynReorderExample();

    new Thread() {
        public void run() {
            re.writer();
        }
    }.start();

    new Thread() {
        public void run() {
            re.reader();
        }
    }.start();
}

執(zhí)行多次結果結果都為1

總結：

在上面的示例代碼中，假設A線程執(zhí)行writer()方法后，B線程執(zhí)行reader()方法。這是一個正確同步的多線程程序。根據(jù)JMM規(guī)范，該程序的執(zhí)行結果將與該程序在順序一致性內存模型中的執(zhí)行結果相同。

順序一致性模型中和JMM內存模型中的執(zhí)行時序圖

總結

在順序一致性模型中，所有操作完全按程序的順序串行執(zhí)行。而在JMM中，臨界區(qū)內的代碼可以重排序（但JMM不允許臨界區(qū)的代碼“逸出”到臨界區(qū)之外，那樣會破壞監(jiān)視器鎖的語義）。JMM會在進入臨界區(qū)和退出臨界區(qū)的關鍵時間點做一些特殊處理，使得線程在這兩個時間點具有順序一致性模型中相同的內存視圖。雖然線程A在臨界區(qū)內做了重排序，但由于監(jiān)視鎖互斥執(zhí)行的特性，這里線程B無法“觀察”到線程A在臨界區(qū)內的重排序。JMM在具體實現(xiàn)上的基本方針為：在不改變（正確同步）程序執(zhí)行結果的前提下，盡可能為編譯器和處理器的優(yōu)化打開方便大門。

2.4 未同步程序的執(zhí)行特性

對于未同步或者未正確同步（代碼寫錯了的兄弟們），JMM只提供最小的安全性：

線程執(zhí)行時讀取到的值不會無中生有（Out Of Thin Air）

• 之前某個線程寫入的值
• 默認值（0、Null、False）-- JVM會在已經清零了內存空間（Pre-zeroed Memory）分配對象。
  

未同步程序在兩個模型中的執(zhí)行特性對比

第三個差異和總線的機制有關。在一些32位處理器上，處理64位的數(shù)據(jù)寫操作，需要將一個寫操作拆分為兩個32位的寫操作。

3、 64位long型和double型變量寫原子性

3.1 CPU、內存和總線簡述

在計算機中，數(shù)據(jù)通過總線在處理器和內存之間傳遞，每次處理器和內存之間的數(shù)據(jù)傳遞都是通過一系列的步驟來完成的，這一系列的步驟稱之為總線事務（Bus Transaction）。總線事務包括讀事務（Read Transaction）和寫事務（WriteTransaction），事務會讀\寫內存中一個或多個物理上連續(xù)的字。

• 讀事務 → 內存到處理器
• 寫事務 → 處理器到內存

重點：總線會同步試圖并發(fā)使用總線的事務。在一個處理器執(zhí)行總線事務期間，總線會禁止其他處理器和I\O設備執(zhí)行內存的讀\寫。

圖示：總線工作機制

由上圖所示：設處理器A、B、C、D同時向總線發(fā)起總線事務，這時總線總裁（Bus Arbitration）會對競爭作出裁決，這里假設處理器A在競爭中獲勝（總線仲裁會確保所有處理器能公平訪問內存）。此時處理器A繼續(xù)它的總線事務，而其他所有的總線事務必須要等待A的事務完成才能再次執(zhí)行內存的讀\寫操作?？偩€事務工作機制確保處理器對內存的訪問以串行的方式執(zhí)行。在任意時間點都只有一個處理器可以訪問內存，這個特性能確?？偩€事務之間的內存讀\寫操作具有原子性。

3.2 long和double類型的操作

在一些32位的處理器上，如果要求對64位數(shù)據(jù)的寫操作具有原子性，那么會有非常大的同步開銷。Java語言規(guī)范中鼓勵但不強求JVM對64位long型和double類型的變量寫操作具有原子性。當JVM在這種處理器上運行時，會把一個64位的變量寫操作拆成兩個32位寫操作來執(zhí)行，此時寫不具備原子性。

圖示：總線事務執(zhí)行的時序圖

存在問題：

假設處理器A寫一個long類型的變量，同時處理器B要讀這個long類型的變量。處理器A中64位的寫操作被拆分成兩個32位的寫操作，且這兩個32位的寫操作被分配到不同的事務中執(zhí)行。此時，處理器B中64位的讀操作被分配到單個讀事務中執(zhí)行。如果按照上面的執(zhí)行順序，那么處理器B讀取的將會是一個不完整的無效值。

處理方式：

JSR-133內存模型開始（JDK1.5），寫操作能拆分成兩個32位寫事務執(zhí)行，讀操作必須在單個事務中執(zhí)行。

到此這篇關于并發(fā)編程之Java內存模型順序一致性的文章就介紹到這了,更多相關Java內存模型順序一致性內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！

最新評論