【轉】java虛擬機器機制總結

標籤：

本文旨在給所有希望瞭解JVM（Java Virtual Machine）的同學一個概念性的入門，主要介紹了JVM的組成部分以及它們內部工作的機制和原理。當然本文只是一個簡單的入門，不會涉及過多繁雜的參數和配置，感興趣的同學可以做更深入的研究，在研究JVM的過程中會發現，其實JVM本身就是一個電腦體繫結構，很多原理和我們平時的硬體、微機原理、作業系統都有十分相似的地方，所以學習JVM本身也是加深自我對電腦結構認識的一個很好的途徑。

另外需要注意的是，雖然平時我們用的大多是Sun（現已被Oracle收購）JDK提供的JVM，但是JVM本身是一個規範，所以可以有多種實現，除了Hotspot外，還有諸如Oracle的JRockit、IBM的J9也都是非常有名的JVM。

一、JVM結構

展示了JVM的主要結構：

可以看出，JVM主要由類載入器子系統、運行時資料區（記憶體空間）、執行引擎以及與本地方法介面等組成。其中運行時資料區又由方法區、堆、Java棧、PC寄存器、本地方法棧組成。

從中還可以看出，在記憶體空間中方法區和堆是所有Java線程共用的，而Java棧、本地方法棧、PC寄存器則由每個線程私人，這會引出一些問題，後文會進行具體討論。

眾所周知，Java語言具有跨平台的特性，這也是由JVM來實現的。更準確地說，是Sun利用JVM在不同平台上的實現幫我們把平台相關性的問題給解決了，這就好比是HTML語言可以在不同廠商的瀏覽器上呈現元素（雖然某些瀏覽器在對W3C標準的支援上還有一些問題）。同時，Java語言支援通過JNI（Java Native Interface）來實現本地方法的調用，但是需要注意到，如果你在Java程式用調用了本地方法，那麼你的程式就很可能不再具有跨平台性，即本地方法會破壞平台無關性。

二、類載入器子系統（Class Loader）

類載入器子系統負責載入編譯好的.class位元組碼檔案，並裝入記憶體，使JVM可以執行個體化或以其它方式使用載入後的類。JVM的類載入子系統支援在運行時的動態載入，動態載入的優點有很多，例如可以節省記憶體空間、靈活地從網路上載入類，動態載入的另一好處是可以通過命名空間的分隔來實作類別的隔離，增強了整個系統的安全性。

1、ClassLoader的分類：

a.啟動類載入器（BootStrap Class Loader）：負責載入rt.jar檔案中所有的Java類，即Java的核心類都是由該ClassLoader載入。在Sun JDK中，這個類載入器是由C++實現的，並且在Java語言中無法獲得它的引用。

b.擴充類載入器（Extension Class Loader）：負責載入一些擴充功能的jar包。

c.系統類別載入器（System Class Loader）：負責載入啟動參數中指定的Classpath中的jar包及目錄，通常我們自己寫的Java類也是由該ClassLoader載入。在Sun JDK中，系統類別載入器的名字叫AppClassLoader。

d.使用者自訂類載入器（User Defined Class Loader）：由使用者自訂類的載入規則，可以手動控制載入過程中的步驟。

2、ClassLoader的工作原理

類載入分為裝載、連結、初始化三步。

a.裝載

通過類的全限定名和ClassLoader載入類，主要是將指定的.class檔案載入至JVM。當類被載入以後，在JVM內部就以“類的全限定名+ClassLoader執行個體ID”來標明類。

在記憶體中，ClassLoader執行個體和類的執行個體都位於堆中，它們的類資訊都位於方法區。

裝載過程採用了一種被稱為“雙親委派模型（Parent Delegation Model）”的方式，當一個ClassLoader要載入類時，它會先請求它的雙親ClassLoader（其實這裡只有兩個ClassLoader，所以稱為父ClassLoader可能更容易理解）載入類，而它的雙親ClassLoader會繼續把載入請求提交再上一級的ClassLoader，直到啟動類載入器。只有其雙親ClassLoader無法載入指定的類時，它才會自己載入類。

雙親委派模型是JVM的第一道安全防線，它保證了類的安全載入，這裡同時依賴了類載入器隔離的原理：不同類載入器載入的類之間是無法直接互動的，即使是同一個類，被不同的ClassLoader載入，它們也無法感知到彼此的存在。這樣即使有惡意的類冒充自己在核心包（例如java.lang）下，由於它無法被啟動類載入器載入，也造成不了危害。

由此也可見，如果使用者自訂了類載入器，那就必須自己保障類載入過程中的安全。

b.連結

連結的任務是把二進位的類型資訊合并到JVM運行時狀態中去。

連結分為以下三步：

a.驗證：校正.class檔案的正確性，確保該檔案是符合規範定義的，並且適合當前JVM使用。

b.準備：為類分配記憶體，同時初始化類中的靜態變數賦值為預設值。

c.解析（可選）：主要是把類的常量池中的符號引用解析為直接引用，這一步可以在用到相應的引用時再解析。

c.初始化

初始化類中的靜態變數，並執行類中的static代碼、建構函式。

JVM規範嚴格定義了何時需要對類進行初始化：

a、通過new關鍵字、反射、clone、還原序列化機制執行個體化對象時。

b、調用類的靜態方法時。

c、使用類的靜態欄位或對其賦值時。

d、通過反射調用類的方法時。

e、初始化該類的子類時（初始化子類前其父類必須已經被初始化）。

f、JVM啟動時被標記為啟動類的類（簡單理解為具有main方法的類）。

三、Java棧（Java Stack）

Java棧由棧幀組成，一個幀對應一個方法調用。調用方法時壓入棧幀，方法返回時彈出棧幀並拋棄。Java棧的主要任務是儲存方法參數、局部變數、中間運算結果，並且提供部分其它模組工作需要的資料。前面已經提到Java棧是線程私人的，這就保證了執行緒安全性，使得程式員無需考慮棧同步訪問的問題，只有線程本身可以訪問它自己的局部變數區。

它分為三部分：局部變數區、運算元棧、幀資料區。

1、局部變數區

局部變數區是以字長為單位的數組，在這裡，byte、short、char類型會被轉換成int類型儲存，除了long和double類型佔兩個字長以外，其餘類型都只佔用一個字長。特別地，boolean類型在編譯時間會被轉換成int或byte類型，boolean數組會被當做byte類型數組來處理。局部變數區也會包含對象的引用，包括類引用、介面引用以及數組引用。

局部變數區包含了方法參數和局部變數，此外，執行個體方法隱含第一個局部變數this，它指向調用該方法的對象引用。對於對象，局部變數區中永遠只有指向堆的引用。

2、運算元棧

運算元棧也是以字長為單位的數組，但是正如其名，它只能進行入棧出棧的基本操作。在進行計算時，運算元被彈出棧，計算完畢後再入棧。

3、幀資料區

幀資料區的任務主要有：

a.記錄指向類的常量池的指標，以便於解析。

b.協助方法的正常返回，包括恢複調用該方法的棧幀，設定PC寄存器指向調用方法對應的下一條指令，把傳回值壓入調用棧幀的運算元棧中。

c.記錄異常表，發生異常時將控制權交由對應異常的catch子句，如果沒有找到對應的catch子句，會恢複調用方法的棧幀並重新拋出異常。

局部變數區和運算元棧的大小依照具體方法在編譯時間就已經確定。調用方法時會從方法區中找到對應類的類型資訊，從中得到具體方法的局部變數區和運算元棧的大小，依此分配棧幀記憶體，壓入Java棧。

四、本地方法棧（Native Method Stack）

本地方法棧類似於Java棧，主要儲存了本地方法調用的狀態。在Sun JDK中，本地方法棧和Java棧是同一個。

五、方法區（Method Area）

類型資訊和類的靜態變數都儲存在方法區中。方法區中對於每個類儲存了以下資料：

a.類及其父類的全限定名（java.lang.Object沒有父類）

b.類的類型（Class or Interface）

c.存取修飾詞（public, abstract, final）

d.實現的介面的全限定名的列表

e.常量池

f.欄位資訊

g.方法資訊

h.靜態變數

i.ClassLoader引用

j.Class引用

可見類的所有資訊都儲存在方法區中。由於方法區是所有線程共用的，所以必須保證安全執行緒，舉例來說，如果兩個類同時要載入一個尚未被載入的類，那麼一個類會請求它的ClassLoader去載入需要的類，另一個類只能等待而不會重複載入。

此外為了加快調用方法的速度，通常還會為每個非抽象類別建立私人的方法表，方法表是一個數組，存放了執行個體可能被調用的執行個體方法的直接引用。方法表對於多態有非常重要的意義，具體可以參照《淺談多態機制的意義及實現》一文中“多態的實現”一節。

在Sun JDK中，方法區對應了持久代（Permanent Generation），預設最小值為16MB，最大值為64MB。

六、堆（Heap）

堆用於儲存物件執行個體以及數組值。堆中有指向類資料的指標，該指標指向了方法區中對應的類型資訊。堆中還可能存放了指向方法表的指標。堆是所有線程共用的，所以在進行執行個體化對象等操作時，需要解決同步問題。此外，堆中的執行個體資料中還包含了對象鎖，並且針對不同的垃圾收集策略，可能存放了引用計數或清掃標記等資料。

在堆的管理上，Sun JDK從1.2版本開始引入了分代管理的方式。主要分為新生代、舊生代。分代方式大大改善了垃圾收集的效率。

1、新生代（New Generation）

大多數情況下新對象都被分配在新生代中，新生代由Eden Space和兩塊相同大小的Survivor Space組成，後兩者主要用於Minor GC時的對象複製（Minor GC的過程在此不詳細討論）。

JVM在Eden Space中會開闢一小塊獨立的TLAB（Thread Local Allocation Buffer）地區用於更高效的記憶體配置，我們知道在堆上分配記憶體需要鎖定整個堆，而在TLAB上則不需要，JVM在指派至時會盡量在TLAB上分配，以提高效率。

2、舊生代（Old Generation/Tenuring Generation）

在新生代中存活時間較久的對象將會被轉入舊生代，舊生代進行垃圾收集的頻率沒有新生代高。

七、執行引擎

執行引擎是JVM執行Java位元組碼的核心，執行方式主要分為解釋執行、編譯執行、自適應最佳化執行、硬體晶片執行方式。

JVM的指令集是基於棧而非寄存器的，這樣做的好處在於可以使指令儘可能緊湊，便於快速地在網路上傳輸（別忘了Java最初就是為網路設計的），同時也很容易適應通用寄存器較少的平台，並且有利於代碼最佳化，由於Java棧和PC寄存器是線程私人的，線程之間無法互相干涉彼此的棧。每個線程擁有獨立的JVM執行引擎執行個體。

JVM指令由單位元組作業碼和若干運算元組成。對於需要運算元的指令，通常是先把運算元壓入運算元棧，即使是對局部變數賦值，也會先入棧再賦值。注意這裡是“通常”情況，之後會講到由於最佳化導致的例外。

1、解釋執行

和一些動態語言類似，JVM可以解釋執行位元組碼。Sun JDK採用了token-threading的方式，感興趣的同學可以深入瞭解一下。

解釋執行中有幾種最佳化方式：

a.棧頂緩衝

將位於運算元棧頂的值直接緩衝在寄存器上，對於大部分只需要一個運算元的指令而言，就無需再入棧，可以直接在寄存器上進行計算，結果壓入運算元站。這樣便減少了寄存器和記憶體的交換開銷。

b.部分棧幀共用

被呼叫者法可將調用方法棧幀中的運算元棧作為自己的局部變數區，這樣在擷取方法參數時減少了複製參數的開銷。

c.執行機器指令

在一些特殊情況下，JVM會執行機器指令以提高速度。

2、編譯執行

為了提升執行速度，Sun JDK提供了將位元組碼編譯為機器指令的支援，主要利用了JIT（Just-In-Time）編譯器在運行時進行編譯，它會在第一次執行時編譯位元組碼為機器碼並緩衝，之後就可以重複利用。Oracle JRockit採用的是完全的編譯執行。

3、自適應最佳化執行

自適應最佳化執行的思想是程式中10%~20%的代碼佔據了80%~90%的執行時間，所以通過將那少部分代碼編譯為最佳化過的機器碼就可以大大提升執行效率。自適應最佳化的典型代表是Sun的Hotspot VM，正如其名，JVM會監測代碼的執行情況，當判斷特定方法是瓶頸或熱點時，將會啟動一個後台線程，把該方法的位元組碼編譯為極度最佳化的、靜態連結的C++代碼。當方法不再是熱區時，則會取消編譯過的代碼，重新進行解釋執行。

自適應最佳化不僅通過利用小部分的編譯時間獲得大部分的效率提升，而且由於在執行過程中時刻監測，對內聯代碼等最佳化也起到了很大的作用。由於物件導向的多態性，一個方法可能對應了很多種不同實現，自適應最佳化就可以通過監測只內聯那些用到的代碼，大大減少了內嵌函式的大小。

Sun JDK在編譯上採用了兩種模式：Client和Server模式。前者較為輕量級，佔用記憶體較少。後者的最佳化程式更高，佔用記憶體更多。

在Server模式中會進行對象的逃逸分析，即方法中的對象是否會在方法外使用，如果被其它方法使用了，則該對象是逃逸的。對於非逃逸對象，JVM會在棧上直接指派至（所以對象不一定是在堆上分配的），線程擷取對象會更加快速，同時當方法返回時，由於棧幀被拋棄，也有利於對象的垃圾收集。Server模式還會通過分析去除一些不必要的同步，感興趣的同學可以研究一下Sun JDK 6引入的Biased Locking機制。

此外，執行引擎也必須保證執行緒安全性，因而JMM（Java Memory Model）也是由執行引擎確保的。

【轉】java虛擬機器機制總結