摘要：堆和方法區(qū)只有在程序運行時才能確定內(nèi)存的使用情況，垃圾回收器所關注的主要就是這部分內(nèi)存。虛擬機會根據(jù)當前系統(tǒng)的運行情況收集性能監(jiān)控信息，動態(tài)調(diào)整比率參數(shù)以提供最合適的停頓時間或最大的吞吐量。

Tip：內(nèi)容為對《深入理解Java虛擬機》(周志明 著)第三章內(nèi)容的總結和筆記。這是第一次拜讀時讀到的一些重點，做個分享，也為后面再次閱讀和實踐做保障。

程序計數(shù)器、虛擬機棧、本地方法棧三個區(qū)域跟隨線程的生命周期，棧中的棧幀隨方法的進出而有序的進行出棧和入棧，每一個棧幀分配多少內(nèi)存基本上是在類節(jié)后確定下來時就已知的。

Java堆和方法區(qū)只有在程序運行時才能確定內(nèi)存的使用情況，垃圾回收器所關注的主要就是這部分內(nèi)存。

在堆中，尤其是在新生代中，常規(guī)應用進行一次垃圾收集一般可以回收70%~95%的空間，而永久代的垃圾收集效率遠低于此。

給對象添加一個引用計數(shù)器，每當有地方引用它時，計數(shù)器就加一；當引用失效時，計數(shù)器就減一；任何時刻計數(shù)器為0的對象就是不可能被再被使用的。

引用計數(shù)算法實現(xiàn)簡單，判定效率也很高；但是它很難解決對象間相互循環(huán)引用的問題。JVM 沒有選用這種方法管理內(nèi)存。

算法的基本思路就是通過一系列的稱為“ GC ROOT ”的對象作為起始點，從這些節(jié)點開始向下搜索。從圖論的角度看，當一個對象到 GC ROOT 不可達的時候這個對象就是不可用的；反之則是可用的。

在 Java 中，可以作為 GC ROOT 的對象包括以下4種：

虛擬機棧（棧幀中的本地變量表）中引用的對象；

方法區(qū)中類靜態(tài)屬性引用的對象；

方法區(qū)中常量引用的對象；

本地方法棧中 JNI（即 Native 方法）引用的對象。

在 JDK1.2 后，Java 對引用概念擴充，分為強引用、軟引用、弱引用、虛引用。強度漸弱。

強引用
就是值在程序代碼之中普遍存在的，類似 Object obj = new Object() 這類的引用，只要強引用還在，垃圾收集器永遠不會回收掉被引用的對象。

軟引用
它關聯(lián)著的對象，在系統(tǒng)將要發(fā)生內(nèi)存溢出異常之前，將會把這些對象列進回收范圍內(nèi)進行第二次回收。提供 SoftReference 類來實現(xiàn)軟引用。

弱引用
強度比軟引用更弱一些，被弱引用關聯(lián)的對象只能生存到下一次垃圾收集發(fā)生之前。提供 WeakReference 類來實現(xiàn)軟引用。

虛引用
一個對象是否有虛引用的存在，完全不會對其生存時間構成影響，也無法通過虛引用來去的一個對象實例。為一個對象設置虛引用關聯(lián)的唯一目的就是能在這個對象被收集器回收時收到一個系統(tǒng)通知。提供 PhantomReference 類來實現(xiàn)軟引用。

即使在可達性分析算法中不可達的對象，也并不是立即就會被銷毀，它至少要經(jīng)歷兩次標記過程：

一個對象在分析后發(fā)現(xiàn)是不可達的，它將會被第一次標記并且進行一次篩選，篩選的條件是此對象是否有必要執(zhí)行 finalize() 方法。當對象沒有覆蓋 finalize() 方法，或者 finalize() 方法已經(jīng)被調(diào)用過，虛擬機將認為它沒必要再執(zhí)行。即任何一個對象的 finalize() 方法都只會被系統(tǒng)自動調(diào)用一次。

如果對象判定認為有必要執(zhí)行 finalize() 方法，那么這個對象會進入 F-Queue 隊列中，并在稍后由一個虛擬機自動建立的、低優(yōu)先級的 Finalize 線程去執(zhí)行它。這里的“執(zhí)行”是指虛擬機會觸發(fā)這個方法，但是不一定會等它結束（防止阻塞）。然后 GC 會將 F-Queue 中的對象進行第二次標記，如果在 finalize 方法中與 GC ROOT 建立關聯(lián)，那么它將被移除“即將回收”的集合。

永久代中的垃圾收集主要回收兩部分的內(nèi)容：廢棄常量和無用的類。

廢棄常量的回收和堆中對象的回首方法類似。

類需要滿足下面3個條件才算是“無用的類”。滿足這些條件只是可以被回收，是否肯定回收還有虛擬機的一些參數(shù)控制。

該類的所有實例都已經(jīng)被回收；

加載該類的 ClassLoader 已經(jīng)被回收；

該類對應的 java.lang.Class 對象沒有在任何地方被引用，無法在任何地方通過反射訪問該類的方法。

思想：算法分為“標記”和“清除”兩個階段。

首先標記出所有需要回收的對象；

標記完后同意回收所有被標記的對象。

這種算法有兩個不足：

一是效率問題，標記和清除兩個過程效率都不太高；

二是空間問題，空間會碎片化。

復制算法是為了解決效率問題，也解決了內(nèi)存碎片的問題。
思想：

它將可用的內(nèi)存分為相等的兩塊；

每次只用一塊；

GC 時將還存活的對象復制到另一塊上面，然后全面清理使用過的內(nèi)存。

代價是將內(nèi)存縮小為原來的一半。

思想：

標記過程跟“標記-清除”算法一樣；

然后讓所有存活的對象都向一端移動，然后直接清理掉邊界以外的內(nèi)存。

當前商業(yè)虛擬機的垃圾收集都采用“分代收集”算法。
思想：

根據(jù)對象存活周期的不同將內(nèi)存劃分為幾塊。（一般是把 Java 堆分為新生代和老年代）

新生代中，采用復制算法回收。因為新生代中對象98%是很短暫的。所以不必按照1：1劃分內(nèi)存，而是將內(nèi)存分為一塊較大的 Eden 空間和兩塊較小的 Survivor 空間，每次使用 Eden 和其中一個 Survivor 。回收時將存活的對象復制到另一塊 Survivor 中，然后清理 Eden 和使用過的 Survivor 空間。HotSpot 中 Eden 和 Survivor 比例為8：1。當 Survivior 空間不夠時，需要依賴其它內(nèi)存（老年代）進行分配擔保。

老年代中因為對象存活率高、沒有額外的空間對它進行分配擔保，就必須使用“標記-清理”或“標記-整理”算法進行回收。

可作為 GC ROOT 的節(jié)點主要在全局性的引用(eg.常量、類靜態(tài)屬性)和執(zhí)行上下文(eg.棧幀中的本地變量表)。

在可達性分析時，執(zhí)行系統(tǒng)需要在一個一致性的快照中(一致性的意思就是說在分析期間執(zhí)行系統(tǒng)中對象引用關系不可以還在不斷變化，否則分析準確性無法保證)。這是 GC 進行時必須停頓所有 JAVA 執(zhí)行線程的一個重要原因。

準確式 GC：虛擬機可以知道內(nèi)存中某個位置的數(shù)據(jù)具體是什么類型。這樣在 GC 的時候虛擬機能準確的判斷堆上的數(shù)據(jù)是否還可能被使用。

在 HotSpot 中一組 OopMap 的數(shù)據(jù)結構來記錄哪些地方存放著對象引用。（普通對象指針 Ordinary Object Pointer）

可能導致引用關系變化（Oop 內(nèi)容變化）的指令很多，為每條指令生成 OopMap 是不現(xiàn)實的。

HotSpot 只有在安全點才能暫停。

安全點的選定基本上是以“是否具有讓程序長時間執(zhí)行的特征”為標準進行選定的。

安全點的另一個要處理的問題是：如何在 GC 發(fā)生時讓所有的線程都到最近的安全點停下來。這里有兩種方案：

搶斷式中斷：不需要線程主動配合，GC 發(fā)生時，先中斷所有線程，發(fā)現(xiàn)有線程不在安全點上再恢復它，讓它運行至安全點。

主動式中斷：當需要 GC 時，僅僅在安全點設置一個標志，各線程執(zhí)行時主動去輪詢這個標志，發(fā)現(xiàn)為真就中斷掛起。

當線程處于 Sleep 狀態(tài)或者 Blocked 狀態(tài)時，它無法響應 JVM 的中斷請求，此時需要安全區(qū)域來解決。

安全區(qū)域就是指在一段代碼片段中，引用關系不會發(fā)生變化，在這個區(qū)域中的任何地方開始 GC 都是安全的。

當線程要離開安全區(qū)域時，她要檢查系統(tǒng)是否已經(jīng)完成了根節(jié)點枚舉，完成才能離開。

收集器采用復制算法；

這個收集器是一個單線程的收集器；

它只會使用一個 CPU一個線程去完成垃圾收集工作；

它在進行垃圾收集時，必須暫停其它所有的工作線程，直到它收集結束！

收集器采用復制算法；

ParNew 收集器就是 Serial 收集器的多線程版本；

目前只有它能與 CMS 收集器配合工作；

HotSpot 虛擬機中第一款真正意義上的并發(fā)收集器；

Parallel Scavenge 收集器是一個新生代收集器，采用復制算法，也是一個并行的多線程收集器；

它不同于其它收集器的特點是：

跟其它收集器關注點不一樣，CMS 等收集器目標是盡可能縮短垃圾收集時用戶線程的停頓時間；PS 收集器的目標是吞吐量優(yōu)先(吞吐量 = 運行用戶代碼時間 / (運行用戶代碼時間 + 垃圾收集時間))；

GC 自適應調(diào)整策略。虛擬機會根據(jù)當前系統(tǒng)的運行情況收集性能監(jiān)控信息，動態(tài)調(diào)整 GC 比率參數(shù)以提供最合適的停頓時間或最大的吞吐量。

Serial Old 是 Serial 的老年代版本；

它是一個單線程收集器；

采用“標記-整理”算法；

在 Server 模式下，它還有兩大用途：

在 JDK1.5 之前與 Parallel Scavenge 收集器配合使用；

作為 CMS 收集器的后備預案，在并發(fā)收集發(fā)生 CMF(Concurrent Mode Failure)時使用。

Parallel Old 是 Parallel Scavenge收集器的老年代版本；

是一個多線程收集器；

采用“標記-整理”算法；

在注重吞吐量以及 CPU 資源敏感的場合，可以考慮 Parallel Scavenge 加 Parallel Old 收集器。

CMS 收集器的目標是獲取最短回收停頓時間，適合重視服務的響應速度的場合。

采用“標記-清除”算法；

CMS 收集器的運行過程；

初始標記（需要 Stop The World）：標記 GC ROOT 直接關聯(lián)到的對象。

并發(fā)標記：進行 GC ROOT 的 Tracing 過程，即可達性分析。

重新標記（需要 Stop The World）：修正并發(fā)標記階段因用戶繼續(xù)運行導致的標記的變動。時間一般比初始標記長，比并發(fā)標記短。

并發(fā)清除：根據(jù)標記清除內(nèi)存。

整個過程中耗時最長的并發(fā)標記和并發(fā)清除過程收集線程都可以和用戶線程一起工作。

CMS 收集器也有三個明顯的缺點：

CMS 收集器對 CPU 資源非常敏感。
雖然不會導致用戶線程停頓，但是會占用一部分 CPU 資源而導致程序變慢。回收線程數(shù)是 (CPU 數(shù)量 + 3) / 4。

CMS 收集器無法處理浮動垃圾(并發(fā)清理階段產(chǎn)生的垃圾)。
浮動垃圾要留到下次 GC 時再進行清理。因為并行清理時用戶線程還在運行，所以要預留一部分老年代空間提供線程使用(JDK1.6 為92%時開始)。如果預留無法滿足要求，會出現(xiàn)“Concurrent Mode Failure”錯誤，此時需要臨時啟用 Serial Old 收集器來進行老年代垃圾收集。

CMS 收集器會產(chǎn)生大量空間碎片。

G1 收集器是一款面向服務端應用的垃圾收集器；

與其它收集器相比有以下特點：

并行與并發(fā)
能充分利用多 CPU、多核環(huán)境下的硬件優(yōu)勢。

分代收集
G1 收集器獨立管理整個 GC 堆，但依然有分代的概念，用不同的方式處理新老對象。

空間整理
G1 整體上是基于“標記-整理”算法的，從局部（兩個 Region 之間）看是基于“復制”算法的，都不會產(chǎn)生內(nèi)存碎片。

可預測的停頓
G1 可以建立可預測的停頓時間模型。

實現(xiàn)思想：

它將整個 JAVA 內(nèi)存堆劃分為多個大小相等的獨立區(qū)域（Region）；

G1 跟蹤各個 Region 里面的垃圾堆積的價值大小，優(yōu)先回收價值最大的 Region。

在 G1 收集器的 Region 之間的對象引用以及其它收集器中的新生代與老年代之間的對象引用，虛擬機都是使用 Remembered Set 來避免全堆掃描的。G1 中每個 Region 都有一個與之對應的 Remembered Set .

運行過程：

初始標記：標記 GC ROOT 直接關聯(lián)到的對象，并且修改 TAMS（Next Top at Mark Start）的值，以便下次用戶程序運行時，能在正確的可用的 Region 中創(chuàng)建對象。

并發(fā)標記：進行可達性分析。

最終標記：修正并發(fā)標記階段因用戶繼續(xù)運行導致的標記的變動。更新 Remembered Set。

篩選回收：對各個 Region 回收價值排序，然后根據(jù)用戶期望的 GC 停頓時間來制定回收計劃。

大多數(shù)情況下，對象在新生代 Eden 區(qū)中分配。當 Eden 區(qū)沒有足夠空間進行分配時，虛擬機將發(fā)起一次 Minor GC（新生代 GC）。

典型的大對象就是那種很長的字符串以及數(shù)組。

虛擬機提供一個 -XX:PretenureSizeThreshold 參數(shù)，令大于這個設置值的對象直接在老年代分配。目的是避免在 Eden 區(qū)及兩個 Survivor 區(qū)之間發(fā)生大量的內(nèi)存復制。

虛擬機給每個對象設置一個對象年齡（AGE）計數(shù)器；

每經(jīng)過一次 Minor GC，年齡增加一歲；當?shù)揭欢q數(shù)（默認15）后進入老年代。

為了更好地適應不同程序的內(nèi)存狀況，如果在Survivor 空間中相同年齡所有對象大小綜合大于 Survivor 空間的一半，年齡大于或等于該年齡的對象就可以直接進入老年代。

在發(fā)生 Minor GC 之前，虛擬機會先檢查老年代最大可用的連續(xù)空間是否大于新生代所有對象總空間，如果這個條件成立，那么 Minor GC 可以確保是安全的。

如果條件不成立，虛擬機會查看是否允許擔保失敗。如果允許，會檢查老年代最大可用的連續(xù)空間是否大于歷次晉升帶老年代對象的平均大小，大于則會進行一次 Minor GC；小于或者不允許蛋白失敗則改為進行一次 Full GC。

JDK1.6 Update 24后強制允許擔保失敗，HandlePromotionFailure 參數(shù)不起作用了。