你好，這里是codetrend專欄“高并發(fā)編程基礎”。

點擊合集可以查看往期文章。

什么是JMM

Java內(nèi)存模型（JMM）是Java語言規(guī)范的一部分，定義了多線程環(huán)境下共享變量的訪問規(guī)則。它解決了以下主要問題：

1. 可見性：確保一個線程對共享變量的修改能夠被其他線程看到。
2. 原子性：保證某些操作的不可分割性。
3. 有序性：避免由于編譯器和處理器優(yōu)化而導致的指令重排序問題。

JMM通過“happens-before”規(guī)則和內(nèi)存屏障等機制，確保在多線程程序中，各線程對共享變量的操作行為符合預期。

CPU設計決定JMM設計

復雜的CPU設計需要設計Java內(nèi)存模型（JMM）的原因包括：

指令重排序：

• CPU和編譯器可能會對指令進行重排序以優(yōu)化性能，這可能導致不同線程看到的操作順序不一致。

緩存一致性：

• 多核CPU的每個核心可能有自己的緩存，JMM確保不同核心之間的緩存一致性，使得一個線程的修改能被其他線程看到。

內(nèi)存屏障：

• 為了確保線程操作的正確順序，需要在指令之間插入內(nèi)存屏障。JMM定義了這些屏障的行為，確保內(nèi)存操作的可見性和順序性。

優(yōu)化與并發(fā)：

• 現(xiàn)代CPU進行各種優(yōu)化（如亂序執(zhí)行），JMM提供了規(guī)則以保證這些優(yōu)化不會破壞多線程程序的正確性。

graph LR
    A[復雜 CPU 設計] --> B[指令重排序]
    A --> C[緩存一致性]
    A --> D[內(nèi)存屏障]
    A --> E[優(yōu)化與并發(fā)]

    B --> F[可能導致操作順序不同]
    C --> G[確保多核緩存一致]
    D --> H[定義內(nèi)存操作順序]
    E --> I[保證優(yōu)化不破壞正確性]

CPU設計和JMM的聯(lián)系

CPU設計和Java內(nèi)存模型（JMM）在多線程程序中的角色雖然相關，但它們關注的層面和目標有所不同。

graph LR
    A[CPU設計] --> B[緩存一致性]
    A --> C[指令重排序]
    A --> D[內(nèi)存屏障]
    A --> E[多線程支持]
    A --> F[硬件優(yōu)化]

    B --> G[緩存一致性協(xié)議]
    C --> H[重排序規(guī)則]
    D --> I[內(nèi)存屏障機制]
    E --> J[硬件同步機制]
    F --> K[性能優(yōu)化]

    L[JMM] --> M[可見性]
    L --> N[原子性]
    L --> O[有序性]
    L --> P[happens-before規(guī)則]

    M --> Q[線程間可見]
    N --> R[操作的不可分割性]
    O --> S[操作順序保證]
    P --> T[程序行為規(guī)范]

    A --> U[與JMM的關系]
    U --> L
    U --> V[硬件支持JMM]
    V --> Q
    V --> R
    V --> S
    V --> T

聯(lián)系

多線程同步：

• JMM：定義了在Java程序中線程之間共享變量的可見性、原子性和有序性，確保多線程程序的正確性。
• CPU設計：提供硬件支持，以確保不同線程間的操作一致性，可能通過緩存一致性協(xié)議、內(nèi)存屏障等方式來實現(xiàn)。

內(nèi)存一致性：

• JMM：通過“happens-before”規(guī)則確保線程操作的可見性和順序性。
• CPU設計：實現(xiàn)緩存一致性協(xié)議（如MESI協(xié)議）來保證不同核心或線程對內(nèi)存的視圖一致。

指令重排序：

• JMM：規(guī)定了編譯器和處理器在執(zhí)行線程操作時的行為，避免由于重排序?qū)е碌腻e誤結(jié)果。
• CPU設計：允許指令重排序以提高性能，并通過內(nèi)存屏障和同步機制確保重排序不會破壞程序的正確性。

區(qū)別

關注層面：

• JMM：關注于Java程序中的線程間內(nèi)存操作的語義，是一種抽象的內(nèi)存模型，描述了Java虛擬機和程序員之間的行為規(guī)范。
• CPU設計：關注于硬件級別的實現(xiàn)細節(jié)，如處理器架構(gòu)、緩存管理、管道化等，是具體的硬件設計和優(yōu)化。

實現(xiàn)方式：

• JMM：通過Java語言規(guī)范和Java虛擬機的實現(xiàn)來保證線程的正確性，不直接涉及硬件實現(xiàn)細節(jié)。
• CPU設計：涉及具體的硬件設計和微架構(gòu)實現(xiàn)，如緩存一致性協(xié)議、內(nèi)存屏障等，以支持多線程操作的正確性和高效性。

抽象層次：

• JMM：在軟件層面上定義行為，主要面向程序員和Java虛擬機的實現(xiàn)者，抽象了硬件的細節(jié)。
• CPU設計：在硬件層面上定義操作，涉及具體的電路和硬件實現(xiàn)，直接影響性能和功能。

JMM帶來的好處

JMM的設計作為一個統(tǒng)一入口，減少了開發(fā)工作量，包括兼容、性能這些都處理。

graph LR
    A[JMM的好處] --> B[提高程序的可移植性]
    A --> C[保證多線程編程的正確性]
    A --> D[便于開發(fā)人員理解和使用]
    A --> E[優(yōu)化性能]

    B --> F[統(tǒng)一的內(nèi)存模型]
    B --> G[無需或少量修改]
    B --> H[跨平臺兼容]

    C --> I[內(nèi)存可見性]
    C --> J[操作原子性]
    C --> K[順序一致性]
    C --> L[同步機制]

    D --> M[簡化內(nèi)存訪問行為]
    D --> N[易于理解同步機制]
    D --> O[提高開發(fā)效率]

    E --> P[優(yōu)化鎖競爭]
    E --> Q[合理使用 volatile]
    E --> R[編譯器和處理器優(yōu)化]

• 提高程序的可移植性：由于 JMM 提供了一個統(tǒng)一的內(nèi)存模型，Java 程序可以在不同的硬件平臺和操作系統(tǒng)上無需修改或只需少量修改就能夠正確運行。這大大提高了 Java 程序的可移植性，使得開發(fā)人員可以更加專注于業(yè)務邏輯的實現(xiàn)，而不必擔心底層硬件的差異。
• 保證多線程編程的正確性：JMM 定義了一系列規(guī)則來保證多線程環(huán)境下內(nèi)存的可見性、原子性和有序性。這使得開發(fā)人員可以使用 Java 提供的同步機制（如 synchronized、volatile 等）來確保多線程程序的正確性，避免了由于硬件特性和編譯器優(yōu)化導致的難以調(diào)試的錯誤。
• 便于開發(fā)人員理解和使用：JMM 提供了一個相對簡單和直觀的內(nèi)存模型，開發(fā)人員可以更容易地理解多線程編程中的內(nèi)存訪問行為和同步機制。這有助于提高開發(fā)效率，減少錯誤的發(fā)生。
• 優(yōu)化性能：雖然 JMM 對內(nèi)存訪問進行了一定的限制，但同時也提供了一些優(yōu)化的機會。例如，合理地使用 volatile 關鍵字和原子類可以避免不必要的鎖競爭，提高程序的性能。此外，JMM 也允許編譯器和處理器在不影響程序正確性的前提下進行一些優(yōu)化，如指令重排序等，以提高程序的執(zhí)行效率。

JMM的發(fā)展歷程

Java 1.0 和 1.1：

• 初期版本沒有明確的內(nèi)存模型，線程安全和同步的定義較為松散。

Java 1.2：

• 引入了 synchronized 關鍵字和 volatile 變量，初步定義了多線程的基本同步機制。

Java 1.5 (2004)：

• 引入了 Java 內(nèi)存模型（JMM）的正式規(guī)范。增加了 java.util.concurrent 包，提供了更豐富的并發(fā)工具和原子變量。
• 確立了 JMM 的基本規(guī)則，如 happens-before 關系、可見性、原子性和有序性。

Java 1.6 到 1.8：

• 在 JMM 的基礎上，增加了更多并發(fā)工具和優(yōu)化機制，如 ConcurrentHashMap 和 ForkJoinPool。
• 對 JMM 進行了性能優(yōu)化和補充，如加強了對編譯器和處理器優(yōu)化的支持。

Java 9 到 11：

• 引入了新的特性如 CompletableFuture 和增強的 Stream API，進一步提高了并發(fā)編程的效率和簡易性。

Java 12 及以后：

• 持續(xù)優(yōu)化和補充并發(fā)編程相關的特性和工具，如 Record 類型和 Pattern Matching，并不斷調(diào)整 JMM 以適應新的編程模式。

JMM一直在不斷發(fā)展以適應不同的設計和硬件。

進一步增強性能：

• 通過硬件支持和編譯器優(yōu)化，繼續(xù)提高 JMM 在多線程環(huán)境下的性能表現(xiàn)。

適應新編程模型：

• 支持新興的編程模型和并發(fā)模式，例如響應式編程和協(xié)程（輕量級線程）。

簡化開發(fā)和調(diào)試：

• 提供更高層次的抽象和工具，以簡化并發(fā)編程的開發(fā)和調(diào)試過程。

跨平臺一致性：

• 確保 JMM 在不同硬件平臺和 JVM 實現(xiàn)中的一致性，以提高跨平臺的兼容性和可靠性。

增強文檔和教育：

• 提供更全面的文檔和教育資源，幫助開發(fā)者更好地理解和應用 JMM。

關于作者

來自一線全棧程序員nine的探索與實踐，持續(xù)迭代中。

歡迎關注、評論、點贊。