1. 程式人生 > >Java內存區域與虛擬機類加載機制

Java內存區域與虛擬機類加載機制

程序員 棧操作 循環 動作 版本 申請 tro 表達 基礎

一、Java運行時數據區域

技術分享圖片

1、程序計數器

  “線程私有”的內存,是一個較小的內存空間,它可以看做當前線程所執行的字節碼的行號指示器。Java虛擬機規範中唯一一個沒有OutOfMemoryError情況的區域。

  字節碼解釋器工作時就說通過改變這個計數器的值來選取下一條需要執行的字節碼指令,分支、循環、跳轉、異常處理、線程恢復等基礎功能都需要依賴這個計數器來完成。

2、Java虛擬機棧

  Java 虛擬棧,線程私有的,它的生命周期與線程相同。每個方法在執行的同時都會創建一個棧幀用於存儲局部變量表、操作數棧、動態鏈接、方法出口等信息。

  通過人們所說的“棧”就說虛擬機棧,或說是虛擬機棧中的局部變量表部分。

  • 局部變量表存放了編譯期可知的各種基本數據類型(bloolean,byte,char,short,int,float,long,double),對象引用(reference類型,它不等同於對象本身,可能是一個指向對象起始地址的引用指針,也可能是指向一個代表對象的句柄或其他與此對象相關的位置)和returnAddress類型(指向了一條字節碼指令的地址)。局部變量表所需的內存空間在編譯器間完成分配,當進入一個方法是,這個方法需要在幀中分配多大的局部變量空間是完全確定的,在方法運行期間不會改變局部變量表的大小。
  • 一個後進先出(Last-In-First-Out)的操作數棧,也可以稱之為表達式棧(Expression Stack)。操作數棧和局部變量表在訪問方式上存在著較大差異,操作數棧並非采用訪問索引的方式來進行數據訪問的,而是通過標準的入棧和出棧操作來完成一次數據訪問。每一個操作數棧都會擁有一個明確的棧深度用於存儲數值,一個32bit的數值可以用一個單位的棧深度來存儲,而2個單位的棧深度則可以保存一個64bit的數值,當然操作數棧所需的容量大小在編譯期就可以被完全確定下來,並保存在方法的Code屬性中。  

  這個區域有兩個異常:
    ① 如果線程請求的棧深度大於虛擬所允許的深度,將拋StackOverflowError異常;
    ② 虛擬機棧可以動態擴展,但擴展時無法申請到足夠的內存,就會拋出OutOfMemoryError異常。

3、本地方法棧

  本地方法棧作用與虛擬機棧相似,區別在於虛擬機棧為虛擬機執行java方法(也就是字節碼)服務,而本地方法棧則為虛擬機使用到的Native方法服務,線程私有
  Native方法常用的兩種請求:
    ① 在方法中調用一些不是有java語言寫的代碼;
    ② 在方法中用java語言直接操作計算機硬件;
  異常:StackOverflowError、OutOfMemoryError

4、Java堆(Java Heap)

  Java堆是Java虛擬機所管理的內存中最大的一塊。在虛擬機啟動時創建,此內存區域的唯一目的就是存放對象實例,幾乎所有的對象實例都在這裏分配內存。
  Java堆是垃圾收集器管理的主要區域,因此也稱為“GC堆”;
  如果在堆中沒有內存完成實例分配,並且堆也無法擴展時,將會拋出OutOfMemoryError異常。

5、方法區

  方法區用於存儲已被虛擬機加載的類信息、常量、靜態變量、即時編譯器編譯後的代碼等數據。
  當方法區無法滿足內存分配需求時,將拋出OutOfMemoryError異常。

  • 運行時常量池是方法區的一部分。Class文件中除了有類的版本、字段、方法、接口等描述信息外,還有一項信息是常量池,用於存儲編譯期生成的各種字面量和符號引用,這部分內容將在類加載後進入方法區的運行時常量池中存放。
  • 運行時常量池相對於Class文件常量池的另外一個特征是具備動態性,Java語言並不要求常量一定只有編譯期才能產生,也就是並非預置入Class文件中常量池的內容才能進入方法區運行時常量池,運行期間也可能將新的常量放入池中,這種特性被開發人員利用的比較多的便是String類的intern()方法。

二、對象的創建

  1、虛擬機遇到一條new指令時,首先檢查這個指令的參數是否能在常量池中定位到一個類的符號引用,並且檢查這個符號引用代表的類是否已被加載,解析和初始化過,如果沒有則必須執行相應的類加載過程。

  2、在類加載檢查通過後,接下來虛擬機將新生對象分配內存。對象所需內存的大小在類加載完成後便可完全確定,為對象分配空間的任務等同於把一塊確定大小的內存從Java堆中劃出來。

  3、內存分配完成後,虛擬機需要將分配到的內存空間都初始化為零值(不包括對象頭)。

  4、虛擬機要對對象進行必要的設置,主要針對對象頭的設置。

    • 對象頭:
      • 第一部分,用於存儲對象自身的運行時數據,如哈希碼、GC分代年齡、鎖狀態標誌、線程持有的鎖、偏向線程ID、偏向時間戳等。(Mark Word)  
      • 第二部分,類性指針,即對象指向他的類元數據的指針,虛擬機通過這個指針來確定這個對象是哪個類的實例。

  5、從虛擬機的角度來看,一個新的對象已經產生了,但從Java查詢的視角來看,對象創建才剛剛開始—— <init>方法還沒執行,所有的字段都還為零。

    執行完new指令之後會接著執行<init>方法,把對象按照程序員的意願進行初始化。這樣一個真正的對象才算完全產生出來。

三、對象的內存布局

  對象在內存中存儲的布局可以分為3塊局域:對象頭(Header)、實例數據(Instance Data)、對齊填充(Padding)。

  實例數據:對象真正存儲的有效信息,也是在程序代碼中所定義的各種類型的字段內容。

  對齊填充:並不是必然存在的,也沒有特別的含義,它僅僅起著占位符的作用。

四、對象的訪問定位

  建立對象是為了使用對象,我們的Java程序需要通過棧上的reference數據來操作堆上的具體對象。目前主流的訪問方式有使用句柄和直接指針兩種。

  1、如果使用句柄訪問的話,那麽Java堆中將會劃出一塊內存來作為句柄池,reference中存儲的就是對象的句柄地址,而句柄中包含了對象實例數據與類型各自的具體地址信息。

技術分享圖片

  2、如果通過直接指針訪問,那麽Java堆對象的布局中就必須考慮如何放置訪問類型數據的相關信息,而reference中存儲的直接就是對象的地址。(Sun HotSpot的實現方式)

技術分享圖片

五、虛擬機類的加載機制

  (一)、類加載的時機

  1、類的生命周期:類從被加載到虛擬機內存中開始,到卸載出內存為止。

技術分享圖片

  圖中,加載、驗證、準備、初始化和卸載這五個階段的順序是確定的,類的加載過程必須按照這種順序按部就班的開始,而解析階段則不一定。

  2、需立即對類進行“初始化”(而加載、驗證、準備自然需要在此之前開始)的有且只有的5種請求:

    ① 遇到new、gerstatic、putstatic或invokestatic這4條字節碼指令時,如果類沒有進行過初始化,則需要先觸發其初始化。

    如:使用new關鍵字實例化對象時候,讀取或設置一個類的靜態字段(被final修飾,已在編譯期把結果放入常量池的靜態字段除外)的時候,以及調用一個類的靜態方法的時候。

    ②使用java.lang.reflect包的方法對類進行反射調用的時候,如果類沒有進行過初始化,則需要先觸發其初始化。

    ③當初始化一個類的時候,如果發現其父類還沒有進行過初始化,則需要先觸發其父類的初始化。

    ④當虛擬機啟動時,用戶需要指定一個要執行的主類(包括main()方法的那個類),虛擬機會先初始化這個主流。

    ⑤當使用JDK1.7的動態語言支持時。

  (二)、類加載的過程

  類加載的全過程:加載、驗證、準備、解析和初始化這五個階段。  

  1、加載

  “加載”是“類加載”過程的一個階段。

   ① 通過一個類的全限定名來獲取定義此類的二進制字節流(通過類加載實現);

   ② 將這個字節流所代表的靜態存儲結構轉化為方法區的運行時數據結構;

   ③ 在內存中生成一個代表這個類的java.lang.Class對象,作為方法區這個類的各種數據的訪問入口。

  2、驗證

  連接階段的第一步,這一階段的目的是為了確保Class文件的字節流中包含的信息符合當前虛擬機的要求,並且不會危害虛擬機自身的安全。

  大致完成4個階段的檢驗動作:文件格式驗證、元數據驗證、字節碼驗證、符號引用驗證。

  3、準備

  正式為變量分配內存並設置類變量初始值得階段,這些變量所使用的內存都在方法區中進行分配。首先這個時候進行內存分配的僅包括類變量(被static修飾的變量),而不包括實例變量,實例變量將會在對象實例化時隨著對象一起分配在Java堆中,其次,這裏所說的“初始值”通常情況下是數據類型的零值。

  4、解析

  解析階段是虛擬機將常量池內的符號引用替換為直接引用的過程。

    • 符號引用:符號應用以一組符號來描述所引用的目標,符號可以是任何形式的字面量,只要使用時無歧義地定位到目標即可,與虛擬機實現的內存布局無關,引用的目標並不一定以及加載到內存中。
    • 直接引用:直接引用可以直接指向目標的指針、相對偏移量或是一個能間接定位到目標的句柄。直接引用是和虛擬機實現的內存布局相關的。引用的目標必定已存在於內存中。

  在16個用於操作符號引用的字節碼指令之前,先對它們所使用的符號引用進行解析。所有虛擬機實現可以根據需要來判斷到底是在類被加載器加載時就對常量池中的符號引用進行解析,還是等到一個符號引用將要被使用之前才去解析它。

  解析動作主要針對類或接口、字段、類方法、方法類型、方法句柄和調用點限定符7類符號引用進行解析。

  5、初始化  

  初始化階段是類加載過程的最後一步,前面的類加載過程中,除了在加載階段用戶應用程序可以通過自定義類加載器參與之外,其余動作完全由虛擬機主導和控制。到了初始化階段,才真正開始執行類中定義的Java程序代碼(或者說是字節碼)。

  在準備階段,變量已經賦過一次系統要求的初始值,而在初始階段,則根據查詢員通過查詢制定的主觀計劃去初始化變量和其他資源,換而言之,初始化階段是執行類類構造器<client>()方法的過程。

  在<client>()方法中,靜態語句塊中只能訪問到定義在靜態語句塊之前的變量,定義在他之後的變量,在前面的靜態語句塊可以賦值,但不能訪問。

六、類加載器

  類加載器是類加載過程中加載階段中“通過一個類的全限定名來獲取描述此類的二加載字節流”的加載動作。

  主要分為啟動類加載器(C++語言實現,是虛擬機自身的一部分)、擴展類加載器、應用程序類加載器,後面兩類加載器由Java語言實現,獨立於虛擬機外部,並全部繼承自抽象類java.lang.Loader。

  其加載順序的實現為雙親委托派模型,如下圖所示:

技術分享圖片

Java內存區域與虛擬機類加載機制