【JVM從小白學成大佬】2.Java虛擬機器執行時資料區

發表於2019-08-17

這裡我們先說句題外話,相信大家在面試中經常被問到介紹Java記憶體模型,我在面試別人時也會經常問這個問題。但是,往往都會令我比較尷尬,我還話音未落,面試者就會“背誦”一段(Java虛擬機器時有堆、方法去、虛擬機器棧,吧啦吧啦。。。),估計心裡還一臉自豪的想幸好哥提前在網上搜過,早有準備。每每這個時候,我都不忍心打斷,因為“背誦”的真的太順暢了!

這也怪不得面試者,首先Java虛擬機器方面的知識,對中高階程式猿來說,工作中正面接觸Java虛擬機器的東西不多。其次,這個其次我們得好好嘮嘮,網上搜個Java記憶體模型,度娘推的第一頁大都是介紹Java執行時資料區的,起到了一定的誤導作用,大寫的尷尬。

本篇將給各位小夥伴先詳細介紹Java執行時資料區的組成,Java記憶體模型也是虛擬機器裡面的重點,後面會單獨抽出一篇來進行介紹。

1.執行時資料區介紹

程式執行所需的記憶體空間,有些是不能在編譯期就能確定,得要在執行期根據實際執行狀況動態地在系統中建立。Java虛擬機器在執行Java程式的過程中會把它所管理的記憶體劃分為若干個不同的資料區域。這些區域都有各自的用途,以及建立和銷燬的時間,有的區域隨著虛擬機器程式的啟動而存在,有些區域則依賴使用者執行緒的啟動和結束而建立和銷燬。

JVM執行時資料區.png

如圖所示,堆和方法區是所有執行緒共享的公共區域,堆和方法區所佔的記憶體空間是由JVM負責管理的,在該區域內的記憶體分配是由HotSpot的記憶體管理模組維護的,而記憶體的釋放工作則由垃圾收集器自動完成。虛擬機器棧、本地方法棧、程式計數器是執行緒的私有區域,每個執行緒都關聯著唯一的棧和程式計數器,並僅能使用屬於自己的那份棧空間和程式計算器來執行程式。

2.堆(Heap)

對於大多數應用來說,Java堆(Java Heap)是Java虛擬機器所管理的記憶體中最大的一塊。堆是可供各個執行緒共享的執行時記憶體區域,在虛擬機器啟動的時候就被建立。此記憶體區域的唯一目的就是存放物件例項,幾乎所有的物件例項都在這裡分配記憶體。這一點在Java虛擬機器規範中的描述就是:所有的物件例項以及陣列物件都要在堆上分配。但是隨著JIT編譯器的發展與逃逸分析技術逐漸成熟,棧上分配、標量替換優化技術將會導致一些微妙的變化發生,所有的物件都分配在堆上也漸漸變得不是那麼“絕對”了。

Java堆的容量可以是固定的,也可以隨著程式執行的需求動態擴充套件,並在不需要過多空間時自動收縮。Java堆可以處於物理上不連續的記憶體空間中,只要邏輯上是連續的即可。如果在堆中沒有記憶體完成例項分配,並且堆也無法再擴充套件時,將會丟擲OutOfMemoryError異常。

Java堆是垃圾收集器管理的主要區域,因此很多時候也被稱做“GC堆”(Garbage Collected Heap)。從記憶體回收的角度來看,由於現在收集器基本都採用分代收集演算法,Java虛擬機器將堆劃分為新生代和老年代。其中,新生代又被分為Eden區,以及兩個大小相同的Survivor區(From Survivor,To Survivor)。預設情況下,Java虛擬機器採取的是一種動態分配的策略(JVM引數-XX:+UsePSAdaptiveSurvivorSizePolicy),根據生成物件的速率,以及Survivor區的使用情況,動態調整Eden區和Survivor區的比例。也可以通過引數(SurvivorRatio)來調整這個比例,SurvivorRatio這個引數就是新生代中Eden區與Survivor區的容量比值,預設是8,代表Eden:Survivor=8:1。

JVM堆分代.png

是否可能有兩個物件共用一段記憶體的事故?

當呼叫new指令時,會在Eden區劃出一塊作為儲存物件的記憶體。由於堆空間是執行緒共享的,因此直接在這裡邊劃空間是需要進行同步的。否則,將有可能出現兩個物件共用一段記憶體的事故。解決方法就是,Java堆中可能劃出多個執行緒私有的分配緩衝區TLAB(Thread Local Allocation Buffer,對應的虛擬機器引數-XX:+UseTLAB,預設開啟)。

具體來說,每個執行緒可以向Java虛擬機器申請一段連續記憶體,比如2048位元組,作為執行緒私有的TLAB。這個操作需要加鎖,執行緒需要維護兩個指標(實際上可能更多,但重要也就兩個),一個指向TLAB中空餘記憶體的起始位置,一個則指向TLAB末尾。接下來的new指令,便可以直接通過指標加法(bump the pointer),也有人叫做指標碰撞來實現,即把指向空餘記憶體位置的指標加上所請求的位元組數。如果加法後空餘記憶體指標的值仍小於或等於指向末尾的指標,則代表分配成功。否則,TLAB已經沒有足夠的空間來滿足本次新建操作。這個時候,便需要當前執行緒重新申請新的TLAB。

3.方法區(Method Area)

方法區與堆一樣是執行緒共享的,在虛擬機器啟動的時候建立,方法區可視為堆的一個邏輯部分,但是它卻有一個別名叫做Non-Heap(非堆),目的應該是與Java堆區分開來。

方法區類似於傳統語言編譯後的程式碼儲存區域,它儲存每個類的結構資訊,如:

  • 常量池
  • 方法資料
  • 方法和建構函式的位元組碼
  • 類、例項、介面初始化時用到的特殊方法

備註:《深入理解Java虛擬機器》裡將方法區歸納為用於儲存已被虛擬機器載入的類資訊、常量、靜態變數、即時編譯器編譯後的程式碼等資料。

Java虛擬機器規範對方法區的限制非常寬鬆,除了和Java堆一樣不需要連續的記憶體和可以選擇固定大小或者可擴充套件外,還可以選擇不實現垃圾收集。這區域的記憶體回收目標主要是針對常量池的回收和對型別的解除安裝。

4.程式計數器(Program Counter Register)

Java虛擬機器可以支援多條執行緒同時執行,每一條Java虛擬機器執行緒都有自己的程式計數器。在任意時刻,一條Java虛擬機器執行緒只會執行一個方法的程式碼,這個正在被執行緒執行的方法稱為該執行緒的當前方法(current methon)。如果這個方法不是native的,那程式計數器儲存的就是Java虛擬機器正在執行的位元組碼指令的地址。如果該方法是native方法,那程式計數器的值為空(undefined)。程式計數器的容量至少應當儲存一個returnAddress型別的資料或者一個與平臺相關的本地指標的值。

程式計數器是一塊較小的記憶體空間,它可以看作是當前執行緒所執行的位元組碼的行號指示器。此記憶體區域是唯一一個在Java虛擬機器規範中沒有規定任何OutOfMemoryError情況的區域。

5.虛擬機器棧(VM Stack)

每一條Java虛擬機器執行緒都有自己私有的Java虛擬機器棧,它的生命週期與執行緒相同。虛擬機器棧描述的是Java方法執行的記憶體模型:每個方法在執行的同時都會建立一個棧幀(stack frame)用於儲存區域性變數表、運算元棧、動態連結、方法出口等資訊。每一個方法從呼叫直至執行完成的過程,就對應著一個棧幀在虛擬機器棧中入棧到出棧的過程。

Java虛擬機器棧可能發生如下異常情況:

  • 如果執行緒請求分配的棧容量超過Java虛擬機器棧允許的最大容量,Java虛擬機器將會丟擲一個StackOverflowError異常。
  • 如果Java虛擬機器棧可以動態擴充套件,並且在嘗試擴充套件的時候無法申請到足夠的記憶體,或者在建立新的執行緒時沒有足夠的記憶體區建立對應的虛擬機器棧,那Java虛擬機器將會丟擲一個OutOfMemoryError異常

6.本地方法棧(Native Method Stack)

本地方法棧與虛擬機器棧所發揮的作用是非常相似的,它們之間的區別不過是虛擬機器棧為虛擬機器執行Java方法(也就是位元組碼)服務,而本地方法棧則為虛擬機器使用到的native方法服務。

Java虛擬機器規範允許本地方法棧實現成固定大小或者根據計算來動態擴充套件和收縮。如果採用固定大小的本地方法棧,那麼每一個執行緒的本地方法棧容量可以在建立棧的時候獨立選定。

與虛擬機器棧一樣,本地方法棧區域也會丟擲StackOverflowError和OutOfMemoryError異常。

7.擴充套件知識點

7.1 棧上分配和逃逸分析

在棧中分配的基本思路是這樣的:分析區域性變數的作用域僅限於方法內部,則JVM直接在棧幀內分配物件空間,避免在堆中分配。這個分析過程稱為逃逸分析(也有叫逸出分析),而棧幀內分配物件的方式稱為棧上分配

這樣做的目的是減少新生代的收集次數,間接提高JVM效能。虛擬機器是允許堆逃逸分析開關進行配置的,從Sun Java 6u23以後,HotSpot預設開啟逃逸分析。

7.2 棧幀

棧幀是用於支援虛擬機器進行方法呼叫和方法執行的資料結構,它是虛擬機器執行時資料區中的虛擬機器棧的棧元素。棧幀儲存了方法的區域性變數表、運算元棧、動態連線和方法返回地址等資訊每一個方法從呼叫開始至執行完成的過程,都對應著一個棧幀在虛擬機器棧裡面從入棧到出棧的過程。

在編譯程式程式碼的時候,棧幀中需要多大的區域性變數表,多深的運算元棧都已經完全確定了,並且寫入到方法表的Code屬性之中。因此一個棧幀需要分配多少記憶體,不會收到程式執行期變數資料的影響,而僅僅取決於具體的虛擬機器實現。

一個執行緒中的方法呼叫鏈可能會很長,很多方法都同時處於執行狀態。對於執行引擎來說,在活動執行緒中,只有位於棧頂的棧幀才是有效的,稱為當前棧幀(Current Stack Frame),與這個棧幀相關聯的方法稱為當前方法(Current Method)。執行引擎執行的所有位元組碼指令都只針對當前棧幀進行操作。棧幀的概念結構如下:
棧幀的概念結構.png

8.執行時資料區腦圖

執行時資料區.png

高清、無碼、完整腦圖可以私信或留言告知哦!!!

相關文章