分析&回答

---

JMM概念

Java 內(nèi)存模式是 Java 語言規(guī)范的一部分。為了保證共享內(nèi)存的正確性（可見性、有序性、原子性），內(nèi)存模型定義了共享內(nèi)存系統(tǒng)中多線程程序讀寫操作的行為規(guī)范。通過這些規(guī)則來規(guī)范對內(nèi)存的讀寫操作，從而保證指令執(zhí)行的正確性。

JMM工作場地

JMM 規(guī)定了多個線程如何訪問并發(fā) Java 應(yīng)用程序中的公共內(nèi)存，以及一個線程的數(shù)據(jù)更改如何對其他線程可見。

可見性 (緩存一致性問題?)

Java內(nèi)存模型是通過在變量修改后將新值同步回主內(nèi)存，在變量讀取前從主內(nèi)存刷新變量值的這種依賴主內(nèi)存作為傳遞媒介的方式來實現(xiàn)的。

Java中的volatile關(guān)鍵字提供了一個功能，那就是被其修飾的變量在被修改后可以立即同步到主內(nèi)存，被其修飾的變量在每次是用之前都從主內(nèi)存刷新。因此，可以使用volatile來保證多線程操作時變量的可見性。

有序性 (重排序問題?)

在Java中，可以使用synchronized和volatile來保證多線程之間操作的有序性。實現(xiàn)方式有所區(qū)別：volatile關(guān)鍵字會禁止指令重排。synchronized關(guān)鍵字保證同一時刻只允許一條線程操作。

原子性

在Java中，為了保證原子性，提供了兩個高級的字節(jié)碼指令monitorenter和monitorexit。在說說你對Synchronized的了解我們介紹過。Java中可以使用synchronized來保證方法和代碼塊內(nèi)的操作是原子性的。

反思&擴(kuò)展

---

JMM 對添加了 final 修飾符的類的字段有什么特殊保證 ？

JVM 基本上會保證在任何線程獲取對象之前初始化類的 final 字段。

如果沒有這種保證，由于重新排序或其他優(yōu)化，在初始化該對象的所有字段之前，可以向另一個線程發(fā)布對象的引用，即變得可見。這可能會導(dǎo)致對這些字段的訪問。

這就是為什么在創(chuàng)建不可變對象時，應(yīng)始終將其所有字段設(shè)為 final，即使它們不能通過 getter 方法訪問。

---

為了大家更加方便的刷題，我們對文章進(jìn)行了分類和整理，免費為大家提供刷題服務(wù)。程序員不欺騙程序員，趕緊掃碼小程序刷起來！

為了一站式解決面者刷題問題，部分內(nèi)容可能存在摘錄情況，如有侵權(quán)辛苦您留言聯(lián)系我們，我們會刪除文章或添加引用文案，Thanks！

總結(jié)

以上是生活随笔為你收集整理的什么是 Java 内存模型（ JMM ）的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。