![](http://img.blog.itpub.net/blog/2020/03/16/adb5a174049ef5eb.png?x-oss-process=style/bb)

# 一. Java記憶體結構

我們都知道，Java程式碼是要執行在虛擬機器上的，而虛擬機器在執行Java程式的過程中會把所管理的記憶體劃分為若干個不同的資料區域，這些區域都有各自的用途。其中有些區域隨著虛擬機器程式的啟動而存在，而有些區域則依賴使用者執行緒的啟動和結束而建立和銷燬。

各個區域的功能不是本文重點，就不在這裡詳細介紹了。這裡簡單提幾個需要特別注意的點：

1. 以上是Java虛擬機器規範，不同的虛擬機器實現會各有不同，但是一般會遵守規範。
2. 規範中定義的方法區，只是一種概念上的區域，並說明了其應該具有什麼功能。但是並沒有規定這個區域到底應該處於何處。所以，對於不同的虛擬機器實現來說，是由一定的自由度的。
3. 不同版本的方法區所處位置不同，上圖中劃分的是邏輯區域，並不是絕對意義上的物理區域。因為某些版本的JDK中方法區其實是在堆中實現的。
4. 執行時常量池用於存放編譯期生成的各種字面量和符號應用。但是，Java語言並不要求常量只有在編譯期才能產生。比如在執行期，String.intern也會把新的常量放入池中。
5. 除了以上介紹的JVM執行時記憶體外，還有一塊記憶體區域可供使用，那就是直接記憶體。Java虛擬機器規範並沒有定義這塊記憶體區域，所以他並不由JVM管理，是利用本地方法庫直接在堆外申請的記憶體區域。
6. 堆和棧的資料劃分也不是絕對的，如HotSpot的JIT會針對物件分配做相應的最佳化。

如上，做個總結，JVM記憶體結構，由Java虛擬機器規範定義。描述的是Java程式執行過程中，由JVM管理的不同資料區域。各個區域有其特定的功能。

# 二. Java記憶體模型

更恰當說JMM描述的是一組規則，透過這組規則控制程式中各個變數在共享資料區域和私有資料區域的訪問方式，JMM是圍繞原子性，有序性、可見性展開的。

Java記憶體模型看上去和Java記憶體結構（JVM記憶體結構）差不多，很多人會誤以為兩者是一回事兒，這也就導致面試過程中經常答非所為。

在前面的關於JVM的記憶體結構的圖中，我們可以看到，其中Java堆和方法區的區域是多個執行緒共享的資料區域。也就是說，多個執行緒可能可以操作儲存在堆或者方法區中的同一個資料。這也就是我們常說的“Java的執行緒間透過共享記憶體進行通訊”。

JMM（Java Memory Model）並不像JVM記憶體結構一樣是真實存在的。他只是一個抽象的概念。JMM是和多執行緒相關的，他描述了一組規則或規範，這個規範定義了一個執行緒對共享變數的寫入時對另一個執行緒是可見的。

那麼，簡單總結下，Java的多執行緒之間是透過共享記憶體進行通訊的，而由於採用共享記憶體進行通訊，在通訊過程中會存在一系列如可見性、原子性、順序性等問題，而JMM就是圍繞著多執行緒通訊以及與其相關的一系列特性而建立的模型。JMM定義了一些語法集，這些語法集對映到Java語言中就是volatile、synchronized等關鍵字。

在Java中，JMM是一個非常重要的概念，正是由於有了JMM，Java的併發程式設計才能避免很多問題。

# 三. Java物件模型

Java是一種物件導向的語言，而Java物件在JVM中的儲存也是有一定的結構的。而這個關於Java物件自身的儲存模型稱之為Java物件模型。

HotSpot虛擬機器中，設計了一個OOP-Klass Model。OOP（Ordinary Object Pointer）指的是普通物件指標，而Klass用來描述物件例項的具體型別。

每一個Java類，在被JVM載入的時候，JVM會給這個類建立一個instanceKlass，儲存在方法區，用來在JVM層表示該Java類。當我們在Java程式碼中，使用new建立一個物件的時候，JVM會建立一個instanceOopDesc物件，這個物件中包含了物件頭以及例項資料。

這就是一個簡單的Java物件的OOP-Klass模型，即Java物件模型。

# 四. 總結

我們再來區分下JVM記憶體結構、 Java記憶體模型 以及 Java物件模型 三個概念。

JVM記憶體結構，和Java虛擬機器的執行時區域有關。

Java記憶體模型，和Java的併發程式設計有關。

Java物件模型，和Java物件在虛擬機器中的表現形式有關。

Java常見知識點彙總（⑱）——Jvm記憶體結構、Java記憶體模型、Java物件模型的區別

相關文章