JVM記憶體結構、Java記憶體模型和Java物件模型

murphy_gb發表於2019-06-22

Java作為一種物件導向的,跨平臺語言,其物件、記憶體等一直是比較難的知識點。而且很多概念的名稱看起來又那麼相似,很多人會傻傻分不清楚。比如本文要討論的JVM記憶體結構Java記憶體模型Java物件模型,這就是三個截然不同的概念,但是很多人容易弄混。

首先,這三個概念是完全不同的三個概念。本文主要目的是對這三個概念加以區分以及做簡單的介紹。而這每一個知識點都是又都是比較複雜的。以後會單獨寫文章做詳細介紹。

Jvm記憶體結構

我們都知道,Java程式碼是要執行在虛擬機器上的,而虛擬機器在執行Java程式的過程中會把所管理的記憶體劃分為若干個不同的資料區域,這些區域都有各自的用途。

其中有些區域隨著虛擬機器程式的啟動而存在,而有些區域則依賴使用者執行緒的啟動和結束而建立和銷燬。在《Java虛擬機器規範(Java SE 8)》中描述了JVM執行時記憶體區域結構如下:

JVM記憶體結構、Java記憶體模型和Java物件模型

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

1、以上是Java虛擬機器規範,不同的虛擬機器實現會各有不同,但是一般會遵守規範。

2、規範中定義的方法區,只是一種概念上的區域,並說明了其應該具有什麼功能。但是並沒有規定這個區域到底應該處於何處。所以,對於不同的虛擬機器實現來說,是有一定的自由度的。

3、不同版本的方法區所處位置不同,上圖中劃分的是邏輯區域,並不是絕對意義上的物理區域。因為某些版本的JDK中方法區其實是在堆中實現的。

4、執行時常量池用於存放編譯期生成的各種字面量和符號引用。但是,Java語言並不要求常量只有在編譯期才能產生。比如在執行期,String.intern也會把新的常量放入池中

5、除了以上介紹的JVM執行時記憶體外,還有一塊記憶體區域可供使用,那就是直接記憶體。Java虛擬機器規範並沒有定義這塊記憶體區域,所以他並不由JVM管理,是利用本地方法庫直接在堆外申請的記憶體區域。

6、堆和棧的資料劃分也不是絕對的,如HotSpot的JIT會針對物件分配做相應的優化。

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

Java記憶體模型

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

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

Java記憶體模型是根據英文Java Memory Model(JMM)翻譯過來的。其實JMM並不像JVM記憶體結構一樣是真實存在的。他只是一個抽象的概念。JSR-133: Java Memory Model and Thread Specification 中描述了,JMM是和多執行緒相關的,他描述了一組規則或規範,這個規範定義了一個執行緒對共享變數的寫入時對另一個執行緒是可見的。

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

在JMM中,我們把多個執行緒間通訊的共享記憶體稱之為主記憶體,而在併發程式設計中多個執行緒都維護了一個自己的本地記憶體(這是個抽象概念),其中儲存的資料是主記憶體中的資料拷貝。而JMM主要是控制本地記憶體和主記憶體之間的資料互動的。

JVM記憶體結構、Java記憶體模型和Java物件模型

在Java中,JMM是一個非常重要的概念,正是由於有了JMM,Java的併發程式設計才能避免很多問題。這裡就不對Java記憶體模型做更加詳細的介紹了,想了解更多的朋友可以參考《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物件,這個物件中包含了物件頭以及例項資料

總結

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

JVM記憶體結構,和Java虛擬機器的執行時區域有關。Java記憶體模型,和Java的併發程式設計有關。Java物件模型,和Java物件在虛擬機器中的表現形式有關。

關於這三部分內容,本文並未分別展開,因為涉及到的知識點實在太多,如果讀者感興趣,可以自行學習。後面也會發文介紹這些內容,敬請期待。

最後,這三個概念非常重要,一定要嚴格區分開,千萬不要在面試中出現答非所為的情況

相關文章