Java虛擬機

一、運行時數據區域

程序計數器

記錄正在執行的虛擬機字節碼指令的地址(如果正在執行的是本地方法則爲空)。

虛擬機棧

每個Java方法在執行的同時會創建一個棧幀用於存儲局部變量表、操作數棧、常量池引用等信息。每一個方法從調用直至執行完成的過程,就對應這一個棧幀在Java虛擬機棧中入棧和出棧的過程。


可以通過-Xss這個虛擬機參數來指定一個程序的Java虛擬機棧內存大小:

java -Xss=512M HackTheJava

該區域可能拋出以下異常:

  • 當線程請求的棧深度超過最大值,會拋出 StackOverflowError 異常;
  • 棧進行動態擴展時如果無法申請到足夠內存,會拋出 OutOfMemoryError 異常。

本地方法棧

本地方法不是用java實現,對待這些方法需要特別處理。

與Java虛擬機棧類似,它們之間的區別只不過是本地方法棧爲本地方法服務。


所有對象實例都在這裏分配內存。

是垃圾收集的主要區域("GC 堆")。現代的垃圾收集器基本都是採用分代收集算法,主要思想是針對不同的對象採取不同的垃圾回收算法。虛擬機把 Java 堆分成以下三塊:

  • 新生代(Young Generation)
  • 老年代(Old Generation)
  • 永久代(Permanent Generation)

當一個對象被創建時,它首先進入新生代,之後有可能被轉移到老年代中。

新生代存放着大量的生命很短的對象,因此新生代在三個區域中垃圾回收的頻率最高。爲了更高效地進行垃圾回收,把新生代繼續劃分成以下三個空間:

  • Eden(伊甸園)
  • From Survivor(倖存者)
  • To Survivor


Java 堆不需要連續內存,並且可以動態增加其內存,增加失敗會拋出 OutOfMemoryError 異常。

可以通過 -Xms 和 -Xmx 兩個虛擬機參數來指定一個程序的 Java 堆內存大小,第一個參數設置初始值,第二個參數設置最大值。

java -Xms=1M -Xmx=2M HackTheJava

方法區

用於存放已被加載的類信息、常量、靜態變量、即時編譯器編譯後的代碼等數據。

和Java堆一樣不需要連續的內存,並且可以動態拓展,動態擴展失敗一樣會拋出 OutOfMemoryError 異常。
對這塊區域進行垃圾回收的主要目標是對常量池的回收和對類的卸載,但是一般比較難實現。
JDK 1.7 之前,HotSpot 虛擬機把它當成永久代來進行垃圾回收,JDK 1.8 之後,取消了永久代,用 metaspace(元數據)區替代。

運行時常量池

運行時常量池是方法區的一部分。

Class文件中的常量池(編譯器生成的各種字面量和符號引用)會在類加載後被放入這個區域。

除了在編譯期生成的常量,還允許動態生成,例如String類的intern()。

直接內存

在JDK1.4中新加入了NIO類,它可以使用Native函數庫直接分配堆外內存,然後通過一個存儲在Java堆裏的DirectByteBuffer對象作爲這塊內存的引用進行操作。這樣能在一些場景中顯著提高性能,因爲避免了在Java堆和Native堆中來回複製數據。

二、垃圾收集

程序計數器、虛擬機棧和本地方法棧這三個區域屬於線程私有的,只存在於線程的生命週期內,線程結束之後也會消失,因此不需要對這三個區域進行垃圾回收。垃圾回收主要是針對Java堆和方法區進行。

判斷一個對象是否存活

1.引用計數算法

給對象添加一個引用計數器,當對象增加一個引用時計數器加 1,引用失效時計數器減 1。引用計數不爲 0 的對象仍然存活。

兩個對象出現循環引用的情況下,此時引用計數器永遠不爲 0,導致無法對它們進行回收。

public class ReferenceCountingGC {
    public Object instance = null;

    public static void main(String[] args) {
        ReferenceCountingGC objectA = new ReferenceCountingGC();
        ReferenceCountingGC objectB = new ReferenceCountingGC();
        objectA.instance = objectB;
        objectB.instance = objectA;
    }
}

正因爲循環引用的存在,因此 Java 虛擬機不使用引用計數算法。

2.可達性分析算法

通過 GC Roots 作爲起始點進行搜索,能夠到達到的對象都是存活的,不可達的對象可被回收。


Java 虛擬機使用該算法來判斷對象是否可被回收,在 Java 中 GC Roots 一般包含以下內容:

  • 虛擬機棧中引用的對象
  • 本地方法棧中引用的對象
  • 方法區中類靜態屬性引用的對象
  • 方法區中的常量引用的對象

3.引用類型

無論是通過引用計算算法判斷對象的引用數量,還是通過可達性分析算法判斷對象是否可達,判定對象是否可被回收都與引用有關。

Java 具有四種強度不同的引用類型。

(一)強引用

被強引用關聯的對象不會被垃圾收集器回收。

使用 new 一個新對象的方式來創建強引用。

Object obj = new Object();

(二)軟引用

被軟引用關聯的對象,只有在內存不夠的情況下才會被回收。

使用 SoftReference 類來創建軟引用。

Object obj = new Object();
SoftReference<Object> sf = new SoftReference<Object>(obj);
obj = null;  // 使對象只被軟引用關聯

(三)弱引用

被弱引用關聯的對象一定會被垃圾收集器回收,也就是說它只能存活到下一次垃圾收集發生之前。

使用 WeakReference 類來實現弱引用。

Object obj = new Object();
WeakReference<Object> wf = new WeakReference<Object>(obj);
obj = null;

WeakHashMap 的 Entry 繼承自 WeakReference,主要用來實現緩存。

private static class Entry<K,V> extends WeakReference<Object> implements Map.Entry<K,V>

Tomcat 中的 ConcurrentCache 就使用了 WeakHashMap 來實現緩存功能。ConcurrentCache 採取的是分代緩存,經常使用的對象放入 eden 中,而不常用的對象放入 longterm。eden 使用 ConcurrentHashMap 實現,longterm 使用 WeakHashMap,保證了不常使用的對象容易被回收。

public final class ConcurrentCache<K, V> {

    private final int size;

    private final Map<K, V> eden;

    private final Map<K, V> longterm;

    public ConcurrentCache(int size) {
        this.size = size;
        this.eden = new ConcurrentHashMap<>(size);
        this.longterm = new WeakHashMap<>(size);
    }

    public V get(K k) {
        V v = this.eden.get(k);
        if (v == null) {
            v = this.longterm.get(k);
            if (v != null)
                this.eden.put(k, v);
        }
        return v;
    }

    public void put(K k, V v) {
        if (this.eden.size() >= size) {
            this.longterm.putAll(this.eden);
            this.eden.clear();
        }
        this.eden.put(k, v);
    }
}

(四)虛引用

又稱爲幽靈引用或者幻影引用。一個對象是否有虛引用的存在,完全不會對其生存時間構成影響,也無法通過虛引用取得一個對象實例。

爲一個對象設置虛引用關聯的唯一目的就是能在這個對象被收集器回收時收到一個系統通知。

使用 PhantomReference 來實現虛引用。

Object obj = new Object();
PhantomReference<Object> pf = new PhantomReference<Object>(obj);
obj = null;

4.方法區的回收

因爲方法區主要存放永久代對象,而永久代對象的回收率比新生代差很多,因此在方法區上進行回收性價比不高。

主要是對常量池的回收和對類的卸載。

類的卸載條件很多,需要滿足以下三個條件,並且滿足了也不一定會被卸載:

  • 該類所有的實例都已經被回收,也就是 Java 堆中不存在該類的任何實例。
  • 加載該類的 ClassLoader 已經被回收。
  • 該類對應的 java.lang.Class 對象沒有在任何地方被引用,也就無法在任何地方通過反射訪問該類方法。

可以通過-Xnoclassgc參數來控制是否對類進行卸載。

在大量使用反射、動態代理、CGLib等ByteCode框架、動態生成JSP以及OSGi這類頻繁自定義ClassLoader的場景都需要虛擬機具備類卸載功能,以保證不會出現內存溢出。

5.finanlize()

finalize() 類似 C++ 的析構函數,用來做關閉外部資源等工作。但是 try-finally 等方式可以做的更好,並且該方法運行代價高昂,不確定性大,無法保證各個對象的調用順序,因此最好不要使用。

當一個對象可被回收時,如果需要執行該對象的 finalize() 方法,那麼就有可能通過在該方法中讓對象重新被引用,從而實現自救。自救只能進行一次,如果回收的對象之前調用了 finalize() 方法自救,後面回收時不會調用 finalize() 方法。

垃圾收集算法

1.標記-清除


將存活的對象進行標記,然後清理掉未被標記的對象。
不足:
標記和清除過程效率都不高;
會產生大量不連續的內存碎片,導致無法給大對象分配內存。

2.標記-整理


讓所有存活的對象都向一端移動,然後直接清理掉端邊界以外的內存。

3.複製


將內存劃分爲大小相等的兩塊,每次只使用其中一塊,當這一塊內存用完了就將還存活的對象複製到另一塊上面,然後再把使用過的內存空間進行一次清理。
主要不足是隻使用了內存的一半。
現在的商業虛擬機都採用這種收集算法來回收新生代,但是並不是將內存劃分爲大小相等的兩塊,而是分爲一塊較大的 Eden 空間和兩塊較小的 Survivor 空間,每次使用 Eden 空間和其中一塊 Survivor。在回收時,將 Eden 和 Survivor 中還存活着的對象一次性複製到另一塊 Survivor 空間上,最後清理 Eden 和使用過的那一塊 Survivor。HotSpot 虛擬機的 Eden 和 Survivor 的大小比例默認爲 8:1,保證了內存的利用率達到 90%。如果每次回收有多於 10% 的對象存活,那麼一塊 Survivor 空間就不夠用了,此時需要依賴於老年代進行分配擔保,也就是借用老年代的空間存儲放不下的對象。

4.分代收集

現在的商業虛擬機採用分代收集算法,它根據對象存活週期將內存劃分爲幾塊,不同塊採用適當的收集算法。
一般將 Java 堆分爲新生代和老年代。
新生代使用:複製算法
老年代使用:標記 - 清理 或者 標記 - 整理 算法

垃圾收集器

以上是 HotSpot 虛擬機中的 7 個垃圾收集器,連線表示垃圾收集器可以配合使用。

  • 單線程與並行(多線程):單線程指的是垃圾收集器只使用一個線程進行收集,而並行使用多個線程。
  • 串行與併發:串行指的是垃圾收集器與用戶程序交替執行,這意味着在執行垃圾收集的時候需要停頓用戶程序;併發指的是垃圾收集器和用戶程序同時執行。除了 CMS 和 G1 之外,其它垃圾收集器都是以串行的方式執行。
1.Serial收集器


Serial 翻譯爲串行,也就是說它以串行的方式執行。
它是單線程的收集器,只會使用一個線程進行垃圾收集工作。
它的優點是簡單高效,對於單個 CPU 環境來說,由於沒有線程交互的開銷,因此擁有最高的單線程收集效率。
它是 Client 模式下的默認新生代收集器,因爲在用戶的桌面應用場景下,分配給虛擬機管理的內存一般來說不會很大。Serial 收集器收集幾十兆甚至一兩百兆的新生代停頓時間可以控制在一百多毫秒以內,只要不是太頻繁,這點停頓是可以接受的。

2.ParNew收集器


它是 Serial 收集器的多線程版本。

是 Server 模式下的虛擬機首選新生代收集器,除了性能原因外,主要是因爲除了 Serial 收集器,只有它能與 CMS 收集器配合工作。

默認開啓的線程數量與 CPU 數量相同,可以使用 -XX:ParallelGCThreads 參數來設置線程數。

3.Parrallel Scavenge收集器

與 ParNew 一樣是並行的多線程收集器。
其它收集器關注點是儘可能縮短垃圾收集時用戶線程的停頓時間,而它的目標是達到一個可控制的吞吐量,它被稱爲“吞吐量優先”收集器。這裏的吞吐量指 CPU 用於運行用戶代碼的時間佔總時間的比值。
停頓時間越短就越適合需要與用戶交互的程序,良好的響應速度能提升用戶體驗。而高吞吐量則可以高效率地利用 CPU 時間,儘快完成程序的運算任務,主要適合在後臺運算而不需要太多交互的任務。
提供了兩個參數用於精確控制吞吐量,分別是控制最大垃圾收集停頓時間 -XX:MaxGCPauseMillis 參數以及直接設置吞吐量大小的 -XX:GCTimeRatio 參數(值爲大於 0 且小於 100 的整數)。縮短停頓時間是以犧牲吞吐量和新生代空間來換取的:新生代空間變小,垃圾回收變得頻繁,導致吞吐量下降。
還提供了一個參數 -XX:+UseAdaptiveSizePolicy,這是一個開關參數,打開參數後,就不需要手工指定新生代的大小(-Xmn)、Eden 和 Survivor 區的比例(-XX:SurvivorRatio)、晉升老年代對象年齡(-XX:PretenureSizeThreshold)等細節參數了,虛擬機會根據當前系統的運行情況收集性能監控信息,動態調整這些參數以提供最合適的停頓時間或者最大的吞吐量,這種方式稱爲 GC 自適應的調節策略(GC Ergonomics)。

4.Serial Old收集器


是 Serial 收集器的老年代版本,也是給 Client 模式下的虛擬機使用。如果用在 Server 模式下,它有兩大用途:

  • 在 JDK 1.5 以及之前版本(Parallel Old 誕生以前)中與 Parallel Scavenge 收集器搭配使用。
  • 作爲 CMS 收集器的後備預案,在併發收集發生 Concurrent Mode Failure 時使用。

5.Parallel Old 收集器


是 Parallel Scavenge 收集器的老年代版本。
在注重吞吐量以及 CPU 資源敏感的場合,都可以優先考慮 Parallel Scavenge 加 Parallel Old 收集器。

6.CMS收集器


CMS(Concurrent Mark Sweep),Mark Sweep 指的是標記 - 清除算法。

特點:併發收集、低停頓。

分爲以下四個流程:

  • 初始標記:僅僅只是標記一下 GC Roots 能直接關聯到的對象,速度很快,需要停頓。
  • 併發標記:進行 GC Roots Tracing 的過程,它在整個回收過程中耗時最長,不需要停頓。
  • 重新標記:爲了修正併發標記期間因用戶程序繼續運作而導致標記產生變動的那一部分對象的標記記錄,需要停頓。
  • 併發清除:不需要停頓。

在整個過程中耗時最長的併發標記和併發清除過程中,收集器線程都可以與用戶線程一起工作,不需要進行停頓。

具有以下缺點:

  • 吞吐量低:低停頓時間是以犧牲吞吐量爲代價的,導致 CPU 利用率不夠高。
  • 無法處理浮動垃圾,可能出現 Concurrent Mode Failure。浮動垃圾是指併發清除階段由於用戶線程繼續運行而產生的垃圾,這部分垃圾只能到下一次 GC 時才能進行回收。由於浮動垃圾的存在,因此需要預留出一部分內存,意味着 CMS 收集不能像其它收集器那樣等待老年代快滿的時候再回收。如果預留的內存不夠存放浮動垃圾,就會出現 Concurrent Mode Failure,這時虛擬機將臨時啓用 Serial Old 來替代 CMS。
  • 標記 - 清除算法導致的空間碎片,往往出現老年代空間剩餘,但無法找到足夠大連續空間來分配當前對象,不得不提前觸發一次 Full GC。

7.G1收集器

G1(Garbage-First),它是一款面向服務端應用的垃圾收集器,在多 CPU 和大內存的場景下有很好的性能。HotSpot 開發團隊賦予它的使命是未來可以替換掉 CMS 收集器。

Java 堆被分爲新生代、老年代和永久代,其它收集器進行收集的範圍都是整個新生代或者老生代,而 G1 可以直接對新生代和永久代一起回收。


G1 把堆劃分成多個大小相等的獨立區域(Region),新生代和永久代不再物理隔離。


通過引入 Region 的概念,從而將原來的一整塊內存空間劃分成多個的小空間,使得每個小空間可以單獨進行垃圾回收。這種劃分方法帶來了很大的靈活性,使得可預測的停頓時間模型成爲可能。通過記錄每個 Region 垃圾回收時間以及回收所獲得的空間(這兩個值是通過過去回收的經驗獲得),並維護一個優先列表,每次根據允許的收集時間,優先回收價值最大的 Region。

每個 Region 都有一個 Remembered Set,用來記錄該 Region 對象的引用對象所在的 Region。通過使用 Remembered Set,在做可達性分析的時候就可以避免全堆掃描。


如果不計算維護 Remembered Set 的操作,G1 收集器的運作大致可劃分爲以下幾個步驟:

  • 初始標記
  • 併發標記
  • 最終標記:爲了修正在併發標記期間因用戶程序繼續運作而導致標記產生變動的那一部分標記記錄,虛擬機將這段時間對象變化記錄在線程的 Remembered Set Logs 裏面,最終標記階段需要把 Remembered Set Logs 的數據合併到 Remembered Set 中。這階段需要停頓線程,但是可並行執行。
  • 篩選回收:首先對各個 Region 中的回收價值和成本進行排序,根據用戶所期望的 GC 停頓時間來制定回收計劃。此階段其實也可以做到與用戶程序一起併發執行,但是因爲只回收一部分 Region,時間是用戶可控制的,而且停頓用戶線程將大幅度提高收集效率。

具備如下特點:

  • 空間整合:整體來看是基於“標記 - 整理”算法實現的收集器,從局部(兩個 Region 之間)上來看是基於“複製”算法實現的,這意味着運行期間不會產生內存空間碎片。
  • 可預測的停頓:能讓使用者明確指定在一個長度爲 M 毫秒的時間片段內,消耗在 GC 上的時間不得超過 N 毫秒。

更詳細內容請參考:Getting Started with the G1 Garbage Collector

8.比較

收集器單線程/並行串行/併發新生代/老年代收集算法目標適用場景
Serial單線程串行新生代複製響應速度優先單 CPU 環境下的 Client 模式
Serial Old單線程串行老年代標記-整理響應速度優先單 CPU 環境下的 Client 模式、CMS 的後備預案
ParNew並行串行新生代複製算法響應速度優先多 CPU 環境時在 Server 模式下與 CMS 配合
Parallel Scavenge並行串行新生代複製算法吞吐量優先在後臺運算而不需要太多交互的任務
Parallel Old並行串行老年代標記-整理吞吐量優先在後臺運算而不需要太多交互的任務
CMS並行併發老年代標記-清除響應速度優先集中在互聯網站或 B/S 系統服務端上的 Java 應用
G1並行併發新生代 + 老年代標記-整理 + 複製算法響應速度優先面向服務端應用,將來替換 CMS

內存分配與回收策略

1.Minor GC和Full GC

  • Minor GC:發生在新生代上,因爲新生代對象存活時間很短,因此 Minor GC 會頻繁執行,執行的速度一般也會比較快。
  • Full GC:發生在老年代上,老年代對象其存活時間長,因此 Full GC 很少執行,執行速度會比 Minor GC 慢很多。

2.內存分配策略

(一)對象優先在 Eden 分配

大多數情況下,對象在新生代 Eden 區分配,當 Eden 區空間不夠時,發起 Minor GC。

(二)大對象直接進入老年代

大對象是指需要連續內存空間的對象,最典型的大對象是那種很長的字符串以及數組。

經常出現大對象會提前觸發垃圾收集以獲取足夠的連續空間分配給大對象。

-XX:PretenureSizeThreshold,大於此值的對象直接在老年代分配,避免在 Eden 區和 Survivor 區之間的大量內存複製。

(三)長期存活的對象進入老年代

爲對象定義年齡計數器,對象在 Eden 出生並經過 Minor GC 依然存活,將移動到 Survivor 中,年齡就增加 1 歲,增加到一定年齡則移動到老年代中。

-XX:MaxTenuringThreshold 用來定義年齡的閾值。

(四)動態對象年齡判定

虛擬機並不是永遠地要求對象的年齡必須達到 MaxTenuringThreshold 才能晉升老年代,如果在 Survivor 區中相同年齡所有對象大小的總和大於 Survivor 空間的一半,則年齡大於或等於該年齡的對象可以直接進入老年代,無需等到 MaxTenuringThreshold 中要求的年齡。

(五)空間分配擔保

在發生 Minor GC 之前,虛擬機先檢查老年代最大可用的連續空間是否大於新生代所有對象總空間,如果條件成立的話,那麼 Minor GC 可以確認是安全的;如果不成立的話虛擬機會查看 HandlePromotionFailure 設置值是否允許擔保失敗,如果允許那麼就會繼續檢查老年代最大可用的連續空間是否大於歷次晉升到老年代對象的平均大小,如果大於,將嘗試着進行一次 Minor GC,儘管這次 Minor GC 是有風險的;如果小於,或者 HandlePromotionFailure 設置不允許冒險,那這時也要改爲進行一次 Full GC。

3.Full GC的觸發條件

對於 Minor GC,其觸發條件非常簡單,當 Eden 區空間滿時,就將觸發一次 Minor GC。而 Full GC 則相對複雜,有以下條件:

(一)調用 System.gc()

只是建議虛擬機執行 Full GC,但是虛擬機不一定真正去執行。不建議使用這種方式,而是讓虛擬機管理內存。

(二)老年代空間不足

老年代空間不足的常見場景爲前文所講的大對象直接進入老年代、長期存活的對象進入老年代等。

爲了避免以上原因引起的 Full GC,應當儘量不要創建過大的對象以及數組。除此之外,可以通過 -Xmn 虛擬機參數調大新生代的大小,讓對象儘量在新生代被回收掉,不進入老年代。還可以通過 -XX:MaxTenuringThreshold 調大對象進入老年代的年齡,讓對象在新生代多存活一段時間。

(三)空間分配擔保失敗

使用複製算法的 Minor GC 需要老年代的內存空間作擔保,如果擔保失敗會執行一次 Full GC。具體內容請參考上面的第五小節。

(四)JDK 1.7 及以前的永久代空間不足

在 JDK 1.7 及以前,HotSpot 虛擬機中的方法區是用永久代實現的,永久代中存放的爲一些 Class 的信息、常量、靜態變量等數據,當系統中要加載的類、反射的類和調用的方法較多時,永久代可能會被佔滿,在未配置爲採用 CMS GC 的情況下也會執行 Full GC。如果經過 Full GC 仍然回收不了,那麼虛擬機會拋出 java.lang.OutOfMemoryError。爲避免以上原因引起的 Full GC,可採用的方法爲增大永久代空間或轉爲使用 CMS GC。

(五)Concurrent Mode Failure

執行 CMS GC 的過程中同時有對象要放入老年代,而此時老年代空間不足(有時候“空間不足”是指 CMS GC 當前的浮動垃圾過多導致暫時性的空間不足),便會報 Concurrent Mode Failure 錯誤,並觸發 Full GC。

三、類加載機制

類是在運行期間動態加載的。

類的生命週期


包括以下7個階段:

  • 加載(Loading)
  • 驗證(Verification)
  • 準備(Preparation)
  • 解析(Resolution)
  • 初始化(Initialization)
  • 使用(Using)
  • 卸載(Unloading)

其中解析過程在某些情況下可以在初始化階段之後再開始,這是爲了支持 Java 的動態綁定。

類初始化時機

虛擬機規範中並沒有強制約束何時進行加載,但是規範嚴格規定了有且只有下列五種情況必須對類進行初始化(加載、驗證、準備都會隨之發生):

  • 遇到 new、getstatic、putstatic、invokestatic 這四條字節碼指令時,如果類沒有進行過初始化,則必須先觸發其初始化。最常見的生成這 4 條指令的場景是:使用 new 關鍵字實例化對象的時候;讀取或設置一個類的靜態字段(被 final 修飾、已在編譯期把結果放入常量池的靜態字段除外)的時候;以及調用一個類的靜態方法的時候。

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

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

  • 當虛擬機啓動時,用戶需要指定一個要執行的主類(包含 main() 方法的那個類),虛擬機會先初始化這個主類;

  • 當使用 JDK 1.7 的動態語言支持時,如果一個 java.lang.invoke.MethodHandle 實例最後的解析結果爲 REF_getStatic, REF_putStatic, REF_invokeStatic 的方法句柄,並且這個方法句柄所對應的類沒有進行過初始化,則需要先觸發其初始化;

以上 5 種場景中的行爲稱爲對一個類進行主動引用。除此之外,所有引用類的方式都不會觸發初始化,稱爲被動引用。被動引用的常見例子包括:

  • 通過子類引用父類的靜態字段,不會導致子類初始化。
System.out.println(SubClass.value);  // value 字段在 SuperClass 中定義
  • 通過數組定義來引用類,不會觸發此類的初始化。該過程會對數組類進行初始化,數組類是一個由虛擬機自動生成的、直接繼承自 Object 的子類,其中包含了數組的屬性和方法。
SuperClass[] sca = new SuperClass[10];
  • 常量在編譯階段會存入調用類的常量池中,本質上並沒有直接引用到定義常量的類,因此不會觸發定義常量的類的初始化。
System.out.println(ConstClass.HELLOWORLD);

類加載過程

包含了加載、驗證、準備、解析和初始化這 5 個階段。

1.加載

加載是類加載的一個階段,注意不要混淆。

加載過程完成以下三件事:

  • 通過一個類的全限定名來獲取定義此類的二進制字節流。
  • 將這個字節流所代表的靜態存儲結構轉化爲方法區的運行時存儲結構。
  • 在內存中生成一個代表這個類的 Class 對象,作爲方法區這個類的各種數據的訪問入口。

其中二進制字節流可以從以下方式中獲取:

  • 從 ZIP 包讀取,這很常見,最終成爲日後 JAR、EAR、WAR 格式的基礎。
  • 從網絡中獲取,這種場景最典型的應用是 Applet。
  • 運行時計算生成,這種場景使用得最多得就是動態代理技術,在 java.lang.reflect.Proxy 中,就是用了 ProxyGenerator.generateProxyClass 的代理類的二進制字節流。
  • 由其他文件生成,典型場景是 JSP 應用,即由 JSP 文件生成對應的 Class 類。
  • 從數據庫讀取,這種場景相對少見,例如有些中間件服務器(如 SAP Netweaver)可以選擇把程序安裝到數據庫中來完成程序代碼在集羣間的分發。 

2.驗證

確保 Class 文件的字節流中包含的信息符合當前虛擬機的要求,並且不會危害虛擬機自身的安全。

  • 文件格式驗證:驗證字節流是否符合 Class 文件格式的規範,並且能被當前版本的虛擬機處理。
  • 元數據驗證:對字節碼描述的信息進行語義分析,以保證其描述的信息符合 Java 語言規範的要求。
  • 字節碼驗證:通過數據流和控制流分析,確保程序語義是合法、符合邏輯的。
  • 符號引用驗證:發生在虛擬機將符號引用轉換爲直接引用的時候,對類自身以外(常量池中的各種符號引用)的信息進行匹配性校驗。

3. 準備

類變量是被 static 修飾的變量,準備階段爲類變量分配內存並設置初始值,使用的是方法區的內存。

實例變量不會在這階段分配內存,它將會在對象實例化時隨着對象一起分配在 Java 堆中。(實例化不是類加載的一個過程,類加載發生在所有實例化操作之前,並且類加載只進行一次,實例化可以進行多次)

初始值一般爲 0 值,例如下面的類變量 value 被初始化爲 0 而不是 123。

public static int value = 123;

如果類變量是常量,那麼會按照表達式來進行初始化,而不是賦值爲 0。

public static final int value = 123;

4.解析

將常量池的符號引用替換爲直接引用的過程。

5.初始化

初始化階段才真正開始執行類中的定義的 Java 程序代碼。初始化階段即虛擬機執行類構造器 <clinit>() 方法的過程。

在準備階段,類變量已經賦過一次系統要求的初始值,而在初始化階段,根據程序員通過程序制定的主觀計劃去初始化類變量和其它資源。

<clinit>() 方法具有以下特點:

  • 是由編譯器自動收集類中所有類變量的賦值動作和靜態語句塊(static{} 塊)中的語句合併產生的,編譯器收集的順序由語句在源文件中出現的順序決定。特別注意的是,靜態語句塊只能訪問到定義在它之前的類變量,定義在它之後的類變量只能賦值,不能訪問。例如以下代碼:
public class Test {
    static {
        i = 0;                // 給變量賦值可以正常編譯通過
        System.out.print(i);  // 這句編譯器會提示“非法向前引用”
    }
    static int i = 1;
}
  • 與類的構造函數(或者說實例構造器 <init>())不同,不需要顯式的調用父類的構造器。虛擬機會自動保證在子類的 <clinit>() 方法運行之前,父類的 <clinit>() 方法已經執行結束。因此虛擬機中第一個執行 <clinit>() 方法的類肯定爲 java.lang.Object。

  • 由於父類的 <clinit>() 方法先執行,也就意味着父類中定義的靜態語句塊要優於子類的變量賦值操作。例如以下代碼:

static class Parent {
    public static int A = 1;
    static {
        A = 2;
    }
}

static class Sub extends Parent {
    public static int B = A;
}

public static void main(String[] args) {
     System.out.println(Sub.B);  // 輸出結果是父類中的靜態變量 A 的值,也就是 2。
}
  • <clinit>() 方法對於類或接口不是必須的,如果一個類中不包含靜態語句塊,也沒有對類變量的賦值操作,編譯器可以不爲該類生成 <clinit>() 方法。

  • 接口中不可以使用靜態語句塊,但仍然有類變量初始化的賦值操作,因此接口與類一樣都會生成 <clinit>() 方法。但接口與類不同的是,執行接口的 <clinit>() 方法不需要先執行父接口的 <clinit>() 方法。只有當父接口中定義的變量使用時,父接口才會初始化。另外,接口的實現類在初始化時也一樣不會執行接口的 <clinit>() 方法。

  • 虛擬機會保證一個類的 <clinit>() 方法在多線程環境下被正確的加鎖和同步,如果多個線程同時初始化一個類,只會有一個線程執行這個類的 <clinit>() 方法,其它線程都會阻塞等待,直到活動線程執行 <clinit>() 方法完畢。如果在一個類的 <clinit>() 方法中有耗時的操作,就可能造成多個線程阻塞,在實際過程中此種阻塞很隱蔽。

類加載器

在 Java 虛擬機外部實現,以便讓應用程序自己決定如何去獲取所需要的類。

1.類與類加載器

兩個類相等:類本身相等,並且使用同一個類加載器進行加載。這是因爲每一個類加載器都擁有一個獨立的類名稱空間。

這裏的相等,包括類的 Class 對象的 equals() 方法、isAssignableFrom() 方法、isInstance() 方法的返回結果爲 true,也包括使用 instanceof 關鍵字做對象所屬關係判定結果爲 true。

2.類加載器分類

從 Java 虛擬機的角度來講,只存在以下兩種不同的類加載器:

  • 啓動類加載器(Bootstrap ClassLoader),這個類加載器用 C++ 實現,是虛擬機自身的一部分;

  • 所有其他類的加載器,這些類由 Java 實現,獨立於虛擬機外部,並且全都繼承自抽象類 java.lang.ClassLoader。

從 Java 開發人員的角度看,類加載器可以劃分得更細緻一些:

  • 啓動類加載器(Bootstrap ClassLoader)此類加載器負責將存放在 <JAVA_HOME>\lib 目錄中的,或者被 -Xbootclasspath 參數所指定的路徑中的,並且是虛擬機識別的(僅按照文件名識別,如 rt.jar,名字不符合的類庫即使放在 lib 目錄中也不會被加載)類庫加載到虛擬機內存中。啓動類加載器無法被 Java 程序直接引用,用戶在編寫自定義類加載器時,如果需要把加載請求委派給啓動類加載器,直接使用 null 代替即可。

  • 擴展類加載器(Extension ClassLoader)這個類加載器是由 ExtClassLoader(sun.misc.Launcher$ExtClassLoader)實現的。它負責將 <JAVA_HOME>/lib/ext 或者被 java.ext.dir 系統變量所指定路徑中的所有類庫加載到內存中,開發者可以直接使用擴展類加載器。

  • 應用程序類加載器(Application ClassLoader)這個類加載器是由 AppClassLoader(sun.misc.Launcher$AppClassLoader)實現的。由於這個類加載器是 ClassLoader 中的 getSystemClassLoader() 方法的返回值,因此一般稱爲系統類加載器。它負責加載用戶類路徑(ClassPath)上所指定的類庫,開發者可以直接使用這個類加載器,如果應用程序中沒有自定義過自己的類加載器,一般情況下這個就是程序中默認的類加載器。

3.雙親委派模型

應用程序都是由三種類加載器相互配合進行加載的,如果有必要,還可以加入自己定義的類加載器。

下圖展示的類加載器之間的層次關係,稱爲類加載器的雙親委派模型(Parents Delegation Model)。該模型要求除了頂層的啓動類加載器外,其餘的類加載器都應有自己的父類加載器。這裏類加載器之間的父子關係一般通過組合(Composition)關係來實現,而不是通過繼承(Inheritance)的關係實現。


(一)工作過程

一個類加載器首先將類加載請求傳送到父類加載器,只有當父類加載器無法完成類加載請求時才嘗試加載。

(二)好處

使得 Java 類隨着它的類加載器一起具有一種帶有優先級的層次關係,從而使得基礎類得到統一。

例如 java.lang.Object 存放在 rt.jar 中,如果編寫另外一個 java.lang.Object 的類並放到 ClassPath 中,程序可以編譯通過。因爲雙親委派模型的存在,所以在 rt.jar 中的 Object 比在 ClassPath 中的 Object 優先級更高,因爲 rt.jar 中的 Object 使用的是啓動類加載器,而 ClassPath 中的 Object 使用的是應用程序類加載器。正因爲 rt.jar 中的 Object 優先級更高,因爲程序中所有的 Object 都是這個 Object。

(三)實現

以下是抽象類 java.lang.ClassLoader 的代碼片段,其中的 loadClass() 方法運行過程如下:先檢查類是否已經加載過,如果沒有則讓父類加載器去加載。當父類加載器加載失敗時拋出 ClassNotFoundException,此時嘗試自己去加載。

public abstract class ClassLoader {
    // The parent class loader for delegation
    private final ClassLoader parent;

    public Class<?> loadClass(String name) throws ClassNotFoundException {
        return loadClass(name, false);
    }

    protected Class<?> loadClass(String name, boolean resolve) throws ClassNotFoundException {
        synchronized (getClassLoadingLock(name)) {
            // First, check if the class has already been loaded
            Class<?> c = findLoadedClass(name);
            if (c == null) {
                try {
                    if (parent != null) {
                        c = parent.loadClass(name, false);
                    } else {
                        c = findBootstrapClassOrNull(name);
                    }
                } catch (ClassNotFoundException e) {
                    // ClassNotFoundException thrown if class not found
                    // from the non-null parent class loader
                }

                if (c == null) {
                    // If still not found, then invoke findClass in order
                    // to find the class.
                    c = findClass(name);
                }
            }
            if (resolve) {
                resolveClass(c);
            }
            return c;
        }
    }

    protected Class<?> findClass(String name) throws ClassNotFoundException {
        throw new ClassNotFoundException(name);
    }
}

4.自定義類加載器實現

FileSystemClassLoader 是自定義類加載器,繼承自 java.lang.ClassLoader,用於加載文件系統上的類。它首先根據類的全名在文件系統上查找類的字節代碼文件(.class 文件),然後讀取該文件內容,最後通過 defineClass() 方法來把這些字節代碼轉換成 java.lang.Class 類的實例。
java.lang.ClassLoader 的 loadClass() 實現了雙親委派模型的邏輯,因此自定義類加載器一般不去重寫它,但是需要重寫 findClass() 方法。

public class FileSystemClassLoader extends ClassLoader {

    private String rootDir;

    public FileSystemClassLoader(String rootDir) {
        this.rootDir = rootDir;
    }

    protected Class<?> findClass(String name) throws ClassNotFoundException {
        byte[] classData = getClassData(name);
        if (classData == null) {
            throw new ClassNotFoundException();
        } else {
            return defineClass(name, classData, 0, classData.length);
        }
    }

    private byte[] getClassData(String className) {
        String path = classNameToPath(className);
        try {
            InputStream ins = new FileInputStream(path);
            ByteArrayOutputStream baos = new ByteArrayOutputStream();
            int bufferSize = 4096;
            byte[] buffer = new byte[bufferSize];
            int bytesNumRead;
            while ((bytesNumRead = ins.read(buffer)) != -1) {
                baos.write(buffer, 0, bytesNumRead);
            }
            return baos.toByteArray();
        } catch (IOException e) {
            e.printStackTrace();
        }
        return null;
    }

    private String classNameToPath(String className) {
        return rootDir + File.separatorChar
                + className.replace('.', File.separatorChar) + ".class";
    }
}







發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章