概述
在Class文件中描述了類的各種信息,最終都需要加載到虛擬機中才能運行和使用,那虛擬機是如何加載這些Class文件的?加載到虛擬機中的Class文件中的信息發生了哪些變化?
虛擬機類加載機制
Class文件要被看做是二進制字節流的形式。
虛擬機把描述類的數據從Class文件加載到內存,並對數據進行校檢、轉換解析和初始化,最終形成可以被虛擬機直接使用的Java類型,這就是虛擬機的類加載機制。
在Java語言裏,類型的加載、連接和初始化過程都是在程序運行期間完成的,這種策略雖然會令類加載時稍微增加一些性能開銷,但是會爲Java應用程序提供高度的靈活性,Java裏天生可以動態擴展的語言特性就是依賴運行期動態加載和動態連接這個特點來實現的。
瞭解:Java可以在運行時從網絡或者其他地方加載一個二進制流作爲代碼的一部分,從最基礎的APPlet、JSP到相對複雜的OSGi技術都使用了Java語言運行期類加載技術。
類加載的時機
類的生命週期 :
加載(Loading)
連接(Linking)包括以下三個階段,統稱爲連接
驗證(Verification)
準備(Preparation)
解析(Resolution)
初始化(Initialization)
使用(Using)
卸載(Unloading)
加載,驗證,準備,初始化,卸載這5個階段的順序是確定的,而解析階段則不一定:它在某些情況下可以在初始化完成後在開始,這是爲了支持Java語言的運行時綁定。
其中加載,驗證,準備,解析及初始化是屬於類加載機制中的步驟。注意此處的加載不等同於類加載而是加載Class文件中的數據到內存中。
對於類的加載的時機Java虛擬機規範中並沒有強制約束,但是對於類的初始化,Java虛擬機規範則嚴格規定了,有且只有五種情況必須立即對類進行初始化(加載,驗證,準備當然是在此之前):
①.遇到new,getstatic,putstatic或invokestatic這4條字節碼指令時,如果類沒有進行過初始化,則需要先觸發初始化。生成這4條指令的最常見的Java代碼場景是:使用new關鍵字實例化對象的時候,讀取或設置一個類的靜態字段的時候(被final修飾,已在編譯期把結果放入常量池的靜態字段除外),以及調用一個類的靜態方法的時候。
②.使用java.lang.reflect包的方法對類進行反射調用的時候,如果類沒有初始化需要先觸發類的初始化。
③.當初始化一個類的時候,發現其父類還沒有進行過初始化,則需要先觸發父類的初始化。
④.當虛擬機啓動時,用戶需要指定一個要執行的主類(包含main()方法的那個類),虛擬機會先初始化這個主類。
⑤.當使用JDK1.7的動態語言支持時,如果一個java.lang.invoke.MethodHandle實例最後的解析結果REF_getStatic,REF_putStatic,REF_invokeStatic的方法句柄,並且這個方法句柄所對應的類沒有進行初始化,則需要先出發初始化。
這五種場景被稱爲對一個類進行主動引用,除此之外所有引用類的方式都不會觸發初始化,稱爲被動引用。
被動引用:後續加上也可以參考書本上的具體小栗子。
類加載的具體過程
加載:
①.通過一個類的全限定名來獲取定義此類的二進制字節流
②.將這個字節流所代表的靜態存儲結構轉換爲方法區內的運行時數據結構
③.在內存中生成一個代表這個類的java.lang.Class對象,作爲方法區這個類的各種數據的訪問入口。
驗證:
是連接階段的第一步,目的是爲了確保Class文件的字節流中包含的信息符合當前虛擬機的要求,並且不會危害虛擬機自身的安全。
包含四個階段的校驗動作
a.文件格式驗證
驗證字節流是否符合Class文件格式的規範,並且能被當前版本的虛擬機處理。
b.元數據驗證
對類的元數據信息進行語義校驗,是否不存在不符合Java語言規範的元數據信息
c.字節碼驗證
最複雜的一個階段,主要目的是通過數據流和控制流分析,確定程序語義是合法的,符合邏輯的。對類的方法體進行校驗分析,保證被校驗類的方法在運行時不會做出危害虛擬機安全的事件。
d.符號引用驗證
最後一個階段的校驗發生在虛擬機將符號引用轉換爲直接引用的時候,這個轉換動作將在連接的第三個階段——解析階段中發生。
符號驗證的目的是確保解析動作能正常進行。
準備:
準備階段是正式爲類變量分配內存並設置類變量初始值的階段。這些變量所使用的內存都將在方法區中分配。只包括類變量。初始值“通常情況”下是數據類型的零值。
如圖:
“特殊情況”下,如果類字段的字段屬性表中存在ConstantValue屬性,那麼在準備階段變量的值就會被初始化爲ConstantValue屬性所指定的值。
比如說:public static final int value = 123; 它的值會被指定爲123。
解析:
虛擬機將常量池內的符號引用替換爲直接引用的過程。
“動態解析”的含義就是必須等到程序實際運行到這條指令的時候,解析動作才能進行。相對的,其餘可觸發解析的指令都是“靜態”的,可以在剛剛完成加載階段,還沒有開始執行代碼時就進行解析。
解析內容包括:
①類或接口的解析
②字段解析
③類方法解析
④接口方法解析
初始化:
類加載過程中的最後一步。
初始化階段是執行類構造器< clinit>()方法的過程。
< clinit>()方法是由編譯器自動收集類中的所有類變量的賦值動作和靜態語句塊中的語句合併產生的。
< clinit>()與類的構造函數不同,它不需要顯示地調用父類構造器,虛擬機會保證在子類的< clinit>()方法執行之前,父類的< clinit>()方法已經執行完畢。
簡單地說,初始化就是對類變量進行賦值及執行靜態代碼塊。
類加載器
通過上述的瞭解,我們已經知道了類加載機制的大概流程及各個部分的功能。其中加載部分的功能是將類的class文件讀入內存,併爲之創建一個java.lang.Class對象。這部分功能就是由類加載器來實現的,類加載器的作用不限於類加載時期,對於任意一個類,都需要有他的類加載器和類本身來確定其在Java虛擬機中的唯一性。就算兩個類來源於同一個Class文件, 由同一個虛擬機加載,只要加載他們的類加載器不同,這兩個類必定不相等。例子詳見書中。
類加載器分類
不同的類加載器負責加載不同的類。主要分爲兩類。
啓動類加載器(Bootstrap ClassLoader):由C++語言實現(針對HotSpot),負責將存放在< JAVA_HOME >\lib目錄或-Xbootclasspath參數指定的路徑中的類庫加載到內存中,即負責加載Java的核心類。
其他類加載器:由Java語言實現,繼承自抽象類ClassLoader。如:
擴展類加載器(Extension ClassLoader):負責加載<
JAVA_HOME>\lib\ext目錄或java.ext.dirs系統變量指定的路徑中的所有類庫,即負責加載Java擴展的核心類之外的類。應用程序類加載器(Application ClassLoader):負責加載用戶類路徑(classpath)上的指定類庫,我們可以直接使用這個類加載器,通過ClassLoader.getSystemClassLoader()方法直接獲取。一般情況,如果我們沒有自定義類加載器默認就是用這個加載器。
以上2大類,3小類類加載器基本上負責了所有Java類的加載。下面我們來具體瞭解上述幾個類加載器實現類加載過程時相互配合協作的流程。
雙親委派模型
雙親委派模型的工作流程是:如果一個類加載器收到了類加載的請求,它首先不會自己去嘗試加載這個類,而是把請求委託給父加載器去完成,依次向上,因此,所有的類加載請求最終都應該被傳遞到頂層的啓動類加載器中,只有當父加載器在它的搜索範圍中沒有找到所需的類時(父加載器反饋無法加載),即無法完成該加載,子加載器纔會嘗試自己去加載該類。
上圖:
這樣的好處是不同層次的類加載器具有不同優先級,比如所有Java對象的超級父類java.lang.Object,位於rt.jar,無論哪個類加載器加載該類,最終都是由啓動類加載器進行加載,保證安全。即使用戶自己編寫一個java.lang.Object類並放入程序中,雖能正常編譯,但不會被加載運行,保證不會出現混亂。
java.lang.ClassLoader實現雙親委派的方法loadClass中的代碼:
protected Class<?> loadClass(String name, boolean resolve)
throws ClassNotFoundException
{
synchronized (getClassLoadingLock(name)) {
//檢查該類是否已經加載過
Class c = findLoadedClass(name);
if (c == null) {
//如果該類沒有加載,則進入該分支
long t0 = System.nanoTime();
try {
if (parent != null) {
//當父類的加載器不爲空,則通過父類的loadClass來加載該類
c = parent.loadClass(name, false);
} else {
//當父類的加載器爲空,則調用啓動類加載器來加載該類
c = findBootstrapClassOrNull(name);
}
} catch (ClassNotFoundException e) {
//非空父類的類加載器無法找到相應的類,則拋出異常
}
if (c == null) {
//當父類加載器無法加載時,則調用findClass方法來加載該類
long t1 = System.nanoTime();
c = findClass(name); //用戶可通過覆寫該方法,來自定義類加載器
//用於統計類加載器相關的信息
sun.misc.PerfCounter.getParentDelegationTime().addTime(t1 - t0);
sun.misc.PerfCounter.getFindClassTime().addElapsedTimeFrom(t1);
sun.misc.PerfCounter.getFindClasses().increment();
}
}
if (resolve) {
//對類進行link操作
resolveClass(c);
}
return c;
}
}
整個流程大致如下:
a.首先,檢查一下指定名稱的類是否已經加載過,如果加載過了,就不需要再加載,直接返回。
b.如果此類沒有加載過,那麼,再判斷一下是否有父加載器;如果有父加載器,則由父加載器加載(即調用parent.loadClass(name, false);).或者是調用bootstrap類加載器來加載。
c.如果父加載器及bootstrap類加載器都沒有找到指定的類,那麼調用當前類加載器的findClass方法來完成類加載。
關於自定義類加載器,本篇文章就不介紹了,主要是重寫findClass方法,有興趣的可以參考雙親委派模型與自定義類加載器。
本文參考:
《深入理解Java虛擬機:第二版》
Java虛擬機類加載機制加載器