Java垃圾回收（GC）机制详解
Java垃圾回收（GC）機制詳解
?
轉自：https://www.cnblogs.com/xiaoxi/p/6486852.html
一、為什么需要垃圾回收
如果不進行垃圾回收，內存遲早都會被消耗空，因為我們在不斷的分配內存空間而不進行回收。除非內存無限大，我們可以任性的分配而不回收，但是事實并非如此。所以，垃圾回收是必須的。
二、哪些內存需要回收？
哪些內存需要回收是垃圾回收機制第一個要考慮的問題，所謂“要回收的垃圾”無非就是那些不可能再被任何途徑使用的對象。那么如何找到這些對象？
1、引用計數法
這個算法的實現是，給對象中添加一個引用計數器，每當一個地方引用這個對象時，計數器值+1；當引用失效時，計數器值-1。任何時刻計數值為0的對象就是不可能再被使用的。這種算法使用場景很多，但是，Java中卻沒有使用這種算法，因為這種算法很難解決對象之間相互引用的情況?？匆欢未a：
/*** 虛擬機參數：-verbose:gc*/ public class ReferenceCountingGC {private Object instance = null;private static final int _1MB = 1024 * 1024;/** 這個成員屬性唯一的作用就是占用一點內存 */private byte[] bigSize = new byte[2 * _1MB];public static void main(String[] args){ReferenceCountingGC objectA = new ReferenceCountingGC();ReferenceCountingGC objectB = new ReferenceCountingGC();objectA.instance = objectB;objectB.instance = objectA;objectA = null;objectB = null;System.gc();} }看下運行結果：
[GC 4417K->288K(61440K), 0.0013498 secs] [Full GC 288K->194K(61440K), 0.0094790 secs]看到，兩個對象相互引用著，但是虛擬機還是把這兩個對象回收掉了，這也說明虛擬機并不是通過引用計數法來判定對象是否存活的。
2、可達性分析法
這個算法的基本思想是通過一系列稱為“GC Roots”的對象作為起始點，從這些節點向下搜索，搜索所走過的路徑稱為引用鏈，當一個對象到GC Roots沒有任何引用鏈（即GC Roots到對象不可達）時，則證明此對象是不可用的。
那么問題又來了，如何選取GCRoots對象呢？在Java語言中，可以作為GCRoots的對象包括下面幾種：
(1). 虛擬機棧（棧幀中的局部變量區，也叫做局部變量表）中引用的對象。
(2). 方法區中的類靜態屬性引用的對象。
(3). 方法區中常量引用的對象。
(4). 本地方法棧中JNI(Native方法)引用的對象。
下面給出一個GCRoots的例子，如下圖，為GCRoots的引用鏈。
由圖可知，obj8、obj9、obj10都沒有到GCRoots對象的引用鏈，即便obj9和obj10之間有引用鏈，他們還是會被當成垃圾處理，可以進行回收。
三、四種引用狀態
在JDK1.2之前，Java中引用的定義很傳統：如果引用類型的數據中存儲的數值代表的是另一塊內存的起始地址，就稱這塊內存代表著一個引用。這種定義很純粹，但是太過于狹隘，一個對象只有被引用或者沒被引用兩種狀態。我們希望描述這樣一類對象：當內存空間還足夠時，則能保留在內存中；如果內存空間在進行垃圾收集后還是非常緊張，則可以拋棄這些對象。很多系統的緩存功能都符合這樣的應用場景。在JDK1.2之后，Java對引用的概念進行了擴充，將引用分為強引用、軟引用、弱引用、虛引用4種，這4種引用強度依次減弱。
1、強引用
代碼中普遍存在的類似"Object obj = new Object()"這類的引用，只要強引用還存在，垃圾收集器永遠不會回收掉被引用的對象。
2、軟引用
描述有些還有用但并非必需的對象。在系統將要發生內存溢出異常之前，將會把這些對象列進回收范圍進行二次回收。如果這次回收還沒有足夠的內存，才會拋出內存溢出異常。Java中的類SoftReference表示軟引用。
3、弱引用
描述非必需對象。被弱引用關聯的對象只能生存到下一次垃圾回收之前，垃圾收集器工作之后，無論當前內存是否足夠，都會回收掉只被弱引用關聯的對象。Java中的類WeakReference表示弱引用。
4、虛引用
這個引用存在的唯一目的就是在這個對象被收集器回收時收到一個系統通知，被虛引用關聯的對象，和其生存時間完全沒關系。Java中的類PhantomReference表示虛引用。
對于可達性分析算法而言，未到達的對象并非是“非死不可”的，若要宣判一個對象死亡，至少需要經歷兩次標記階段。
1. 如果對象在進行可達性分析后發現沒有與GCRoots相連的引用鏈，則該對象被第一次標記并進行一次篩選，篩選條件為是否有必要執行該對象的finalize方法，若對象沒有覆蓋finalize方法或者該finalize方法是否已經被虛擬機執行過了，則均視作不必要執行該對象的finalize方法，即該對象將會被回收。反之，若對象覆蓋了finalize方法并且該finalize方法并沒有被執行過，那么，這個對象會被放置在一個叫F-Queue的隊列中，之后會由虛擬機自動建立的、優先級低的Finalizer線程去執行，而虛擬機不必要等待該線程執行結束，即虛擬機只負責建立線程，其他的事情交給此線程去處理。
2.對F-Queue中對象進行第二次標記，如果對象在finalize方法中拯救了自己，即關聯上了GCRoots引用鏈，如把this關鍵字賦值給其他變量，那么在第二次標記的時候該對象將從“即將回收”的集合中移除，如果對象還是沒有拯救自己，那就會被回收。如下代碼演示了一個對象如何在finalize方法中拯救了自己，然而，它只能拯救自己一次，第二次就被回收了。具體代碼如下：
package com.demo;/** 此代碼演示了兩點：* 1.對象可以再被GC時自我拯救* 2.這種自救的機會只有一次，因為一個對象的finalize()方法最多只會被系統自動調用一次* */ public class FinalizeEscapeGC {public String name;public static FinalizeEscapeGC SAVE_HOOK = null;public FinalizeEscapeGC(String name) {this.name = name;}public void isAlive() {System.out.println("yes, i am still alive :)");}@Overrideprotected void finalize() throws Throwable {super.finalize();System.out.println("finalize method executed!");System.out.println(this);FinalizeEscapeGC.SAVE_HOOK = this;}@Overridepublic String toString() {return name;}public static void main(String[] args) throws InterruptedException {SAVE_HOOK = new FinalizeEscapeGC("leesf");System.out.println(SAVE_HOOK);// 對象第一次拯救自己SAVE_HOOK = null;System.out.println(SAVE_HOOK);System.gc();// 因為finalize方法優先級很低，所以暫停0.5秒以等待它Thread.sleep(500);if (SAVE_HOOK != null) {SAVE_HOOK.isAlive();} else {System.out.println("no, i am dead : (");}// 下面這段代碼與上面的完全相同,但是這一次自救卻失敗了// 一個對象的finalize方法只會被調用一次SAVE_HOOK = null;System.gc();// 因為finalize方法優先級很低，所以暫停0.5秒以等待它Thread.sleep(500);if (SAVE_HOOK != null) {SAVE_HOOK.isAlive();} else {System.out.println("no, i am dead : (");}} }運行結果如下：
leesf null finalize method executed! leesf yes, i am still alive :) no, i am dead : (由結果可知，該對象拯救了自己一次，第二次沒有拯救成功，因為對象的finalize方法最多被虛擬機調用一次。此外，從結果我們可以得知，一個堆對象的this（放在局部變量表中的第一項）引用會永遠存在，在方法體內可以將this引用賦值給其他變量，這樣堆中對象就可以被其他變量所引用，即不會被回收。
四、方法區的垃圾回收
方法區的垃圾回收主要回收兩部分內容：1. 廢棄常量。2. 無用的類。既然進行垃圾回收，就需要判斷哪些是廢棄常量，哪些是無用的類。
如何判斷廢棄常量呢？以字面量回收為例，如果一個字符串“abc”已經進入常量池，但是當前系統沒有任何一個String對象引用了叫做“abc”的字面量，那么，如果發生垃圾回收并且有必要時，“abc”就會被系統移出常量池。常量池中的其他類（接口）、方法、字段的符號引用也與此類似。
如何判斷無用的類呢？需要滿足以下三個條件
1. 該類的所有實例都已經被回收，即Java堆中不存在該類的任何實例。
2. 加載該類的ClassLoader已經被回收。
3. 該類對應的java.lang.Class對象沒有在任何地方被引用，無法在任何地方通過反射訪問該類的方法。
滿足以上三個條件的類可以進行垃圾回收，但是并不是無用就被回收，虛擬機提供了一些參數供我們配置。
五、垃圾收集算法
1、標記-清除（Mark-Sweep）算法
? ? ?這是最基礎的算法，標記-清除算法就如同它的名字樣，分為“標記”和“清除”兩個階段：首先標記出所有需要回收的對象，標記完成后統一回收所有被標記的對象。這種算法的不足主要體現在效率和空間，從效率的角度講，標記和清除兩個過程的效率都不高；從空間的角度講，標記清除后會產生大量不連續的內存碎片， 內存碎片太多可能會導致以后程序運行過程中在需要分配較大對象時，無法找到足夠的連續內存而不得不提前觸發一次垃圾收集動作。標記-清除算法執行過程如圖：
2、復制（Copying）算法
? ? ? 復制算法是為了解決效率問題而出現的，它將可用的內存分為兩塊，每次只用其中一塊，當這一塊內存用完了，就將還存活著的對象復制到另外一塊上面，然后再把已經使用過的內存空間一次性清理掉。這樣每次只需要對整個半區進行內存回收，內存分配時也不需要考慮內存碎片等復雜情況，只需要移動指針，按照順序分配即可。復制算法的執行過程如圖：
? ? ?不過這種算法有個缺點，內存縮小為了原來的一半，這樣代價太高了。現在的商用虛擬機都采用這種算法來回收新生代，不過研究表明1:1的比例非常不科學，因此新生代的內存被劃分為一塊較大的Eden空間和兩塊較小的Survivor空間，每次使用Eden和其中一塊Survivor。每次回收時，將Eden和Survivor中還存活著的對象一次性復制到另外一塊Survivor空間上，最后清理掉Eden和剛才用過的Survivor空間。HotSpot虛擬機默認Eden區和Survivor區的比例為8:1，意思是每次新生代中可用內存空間為整個新生代容量的90%。當然，我們沒有辦法保證每次回收都只有不多于10%的對象存活，當Survivor空間不夠用時，需要依賴老年代進行分配擔保（Handle Promotion）。
3、標記-整理（Mark-Compact）算法
? ? 復制算法在對象存活率較高的場景下要進行大量的復制操作，效率很低。萬一對象100%存活，那么需要有額外的空間進行分配擔保。老年代都是不易被回收的對象，對象存活率高，因此一般不能直接選用復制算法。根據老年代的特點，有人提出了另外一種標記-整理算法，過程與標記-清除算法一樣，不過不是直接對可回收對象進行清理，而是讓所有存活對象都向一端移動，然后直接清理掉邊界以外的內存。標記-整理算法的工作過程如圖：
4、分代收集算法
根據上面的內容，用一張圖概括一下堆內存的布局
? ? ?現代商用虛擬機基本都采用分代收集算法來進行垃圾回收。這種算法沒什么特別的，無非是上面內容的結合罷了，根據對象的生命周期的不同將內存劃分為幾塊，然后根據各塊的特點采用最適當的收集算法。大批對象死去、少量對象存活的（新生代），使用復制算法，復制成本低；對象存活率高、沒有額外空間進行分配擔保的（老年代），采用標記-清理算法或者標記-整理算法。
六、垃圾收集器
垃圾收集器就是上面講的理論知識的具體實現了。不同虛擬機所提供的垃圾收集器可能會有很大差別，我們使用的是HotSpot，HotSpot這個虛擬機所包含的所有收集器如圖：
上圖展示了7種作用于不同分代的收集器，如果兩個收集器之間存在連線，那說明它們可以搭配使用。虛擬機所處的區域說明它是屬于新生代收集器還是老年代收集器。多說一句，我們必須明確一個觀點：沒有最好的垃圾收集器，更加沒有萬能的收集器，只能選擇對具體應用最合適的收集器。這也是HotSpot為什么要實現這么多收集器的原因。OK，下面一個一個看一下收集器。
1、Serial收集器
? ? 最基本、發展歷史最久的收集器，這個收集器是一個采用復制算法的單線程的收集器，單線程一方面意味著它只會使用一個CPU或一條線程去完成垃圾收集工作，另一方面也意味著它進行垃圾收集時必須暫停其他線程的所有工作，直到它收集結束為止。后者意味著，在用戶不可見的情況下要把用戶正常工作的線程全部停掉，這對很多應用是難以接受的。不過實際上到目前為止，Serial收集器依然是虛擬機運行在Client模式下的默認新生代收集器，因為它簡單而高效。用戶桌面應用場景中，分配給虛擬機管理的內存一般來說不會很大，收集幾十兆甚至一兩百兆的新生代停頓時間在幾十毫秒最多一百毫秒，只要不是頻繁發生，這點停頓是完全可以接受的。Serial收集器運行過程如下圖所示：
說明：1. 需要STW（Stop The World），停頓時間長。2. 簡單高效，對于單個CPU環境而言，Serial收集器由于沒有線程交互開銷，可以獲取最高的單線程收集效率。
2、ParNew收集器
? ? ?ParNew收集器其實就是Serial收集器的多線程版本，除了使用多條線程進行垃圾收集外，其余行為和Serial收集器完全一樣，包括使用的也是復制算法。ParNew收集器除了多線程以外和Serial收集器并沒有太多創新的地方，但是它卻是Server模式下的虛擬機首選的新生代收集器，其中有一個很重要的和性能無關的原因是，除了Serial收集器外，目前只有它能與CMS收集器配合工作（看圖）。CMS收集器是一款幾乎可以認為有劃時代意義的垃圾收集器，因為它第一次實現了讓垃圾收集線程與用戶線程基本上同時工作。ParNew收集器在單CPU的環境中絕對不會有比Serial收集器更好的效果，甚至由于線程交互的開銷，該收集器在兩個CPU的環境中都不能百分之百保證可以超越Serial收集器。當然，隨著可用CPU數量的增加，它對于GC時系統資源的有效利用還是很有好處的。它默認開啟的收集線程數與CPU數量相同，在CPU數量非常多的情況下，可以使用-XX:ParallelGCThreads參數來限制垃圾收集的線程數。ParNew收集器運行過程如下圖所示：
3、Parallel Scavenge收集器
? ???Parallel Scavenge收集器也是一個新生代收集器，也是用復制算法的收集器，也是并行的多線程收集器，但是它的特點是它的關注點和其他收集器不同。介紹這個收集器主要還是介紹吞吐量的概念。CMS等收集器的關注點是盡可能縮短垃圾收集時用戶線程的停頓時間，而Parallel Scavenge收集器的目標則是打到一個可控制的吞吐量。所謂吞吐量的意思就是CPU用于運行用戶代碼時間與CPU總消耗時間的比值，即吞吐量=運行用戶代碼時間/（運行用戶代碼時間+垃圾收集時間），虛擬機總運行100分鐘，垃圾收集1分鐘，那吞吐量就是99%。另外，Parallel?Scavenge收集器是虛擬機運行在Server模式下的默認垃圾收集器。
? ? ?停頓時間短適合需要與用戶交互的程序，良好的響應速度能提升用戶體驗；高吞吐量則可以高效率利用CPU時間，盡快完成運算任務，主要適合在后臺運算而不需要太多交互的任務。
? ? ?虛擬機提供了-XX:MaxGCPauseMillis和-XX:GCTimeRatio兩個參數來精確控制最大垃圾收集停頓時間和吞吐量大小。不過不要以為前者越小越好，GC停頓時間的縮短是以犧牲吞吐量和新生代空間換取的。由于與吞吐量關系密切，Parallel Scavenge收集器也被稱為“吞吐量優先收集器”。Parallel Scavenge收集器有一個-XX:+UseAdaptiveSizePolicy參數，這是一個開關參數，這個參數打開之后，就不需要手動指定新生代大小、Eden區和Survivor參數等細節參數了，虛擬機會根據當前系統的運行情況手機性能監控信息，動態調整這些參數以提供最合適的停頓時間或者最大的吞吐量。如果對于垃圾收集器運作原理不太了解，以至于在優化比較困難的時候，使用Parallel Scavenge收集器配合自適應調節策略，把內存管理的調優任務交給虛擬機去完成將是一個不錯的選擇。
4、Serial Old收集器
Serial收集器的老年代版本，同樣是一個單線程收集器，使用“標記-整理算法”，這個收集器的主要意義也是在于給Client模式下的虛擬機使用。
5、Parallel Old收集器
Parallel Scavenge收集器的老年代版本，使用多線程和“標記-整理”算法。這個收集器在JDK 1.6之后的出現，“吞吐量優先收集器”終于有了比較名副其實的應用組合，在注重吞吐量以及CPU資源敏感的場合，都可以優先考慮Parallel Scavenge收集器+Parallel Old收集器的組合。運行過程如下圖所示：
6、CMS收集器
CMS（Conrrurent Mark Sweep）收集器是以獲取最短回收停頓時間為目標的收集器。使用標記 - 清除算法，收集過程分為如下四步：
(1). 初始標記，標記GCRoots能直接關聯到的對象，時間很短。
(2). 并發標記，進行GCRoots Tracing（可達性分析）過程，時間很長。
(3). 重新標記，修正并發標記期間因用戶程序繼續運作而導致標記產生變動的那一部分對象的標記記錄，時間較長。
(4). 并發清除，回收內存空間，時間很長。
其中，并發標記與并發清除兩個階段耗時最長，但是可以與用戶線程并發執行。運行過程如下圖所示:
說明：1. 對CPU資源非常敏感，可能會導致應用程序變慢，吞吐率下降。2. 無法處理浮動垃圾，因為在并發清理階段用戶線程還在運行，自然就會產生新的垃圾，而在此次收集中無法收集他們，只能留到下次收集，這部分垃圾為浮動垃圾，同時，由于用戶線程并發執行，所以需要預留一部分老年代空間提供并發收集時程序運行使用。3. 由于采用的標記 - 清除算法，會產生大量的內存碎片，不利于大對象的分配，可能會提前觸發一次Full GC。虛擬機提供了-XX:+UseCMSCompactAtFullCollection參數來進行碎片的合并整理過程，這樣會使得停頓時間變長，虛擬機還提供了一個參數配置，-XX:+CMSFullGCsBeforeCompaction，用于設置執行多少次不壓縮的Full GC后，接著來一次帶壓縮的GC。
7、G1收集器
G1是目前技術發展的最前沿成果之一，HotSpot開發團隊賦予它的使命是未來可以替換掉JDK1.5中發布的CMS收集器。與其他GC收集器相比，G1收集器有以下特點：
(1). 并行和并發。使用多個CPU來縮短Stop The World停頓時間，與用戶線程并發執行。
(2). 分代收集。獨立管理整個堆，但是能夠采用不同的方式去處理新創建對象和已經存活了一段時間、熬過多次GC的舊對象，以獲取更好的收集效果。
(3). 空間整合。基于標記 - 整理算法，無內存碎片產生。
(4). 可預測的停頓。能簡歷可預測的停頓時間模型，能讓使用者明確指定在一個長度為M毫秒的時間片段內，消耗在垃圾收集上的時間不得超過N毫秒。
? ? ?在G1之前的垃圾收集器，收集的范圍都是整個新生代或者老年代，而G1不再是這樣。使用G1收集器時，Java堆的內存布局與其他收集器有很大差別，它將整個Java堆劃分為多個大小相等的獨立區域（Region），雖然還保留有新生代和老年代的概念，但新生代和老年代不再是物理隔離的了，它們都是一部分（可以不連續）Region的集合。
8、常用的收集器組合
七、理解GC日志
? ? ?每種收集器的日志形式都是由它們自身的實現所決定的，換言之，每種收集器的日志格式都可以不一樣。不過虛擬機為了方便用戶閱讀，將各個收集器的日志都維持了一定的共性，來看下面的一段GC日志：
[GC [DefNew: 310K->194K(2368K), 0.0269163 secs] 310K->194K(7680K), 0.0269513 secs] [Times: user=0.00 sys=0.00, real=0.03 secs] [GC [DefNew: 2242K->0K(2368K), 0.0018814 secs] 2242K->2241K(7680K), 0.0019172 secs] [Times: user=0.00 sys=0.00, real=0.00 secs] [Full GC (System) [Tenured: 2241K->193K(5312K), 0.0056517 secs] 4289K->193K(7680K), [Perm : 2950K->2950K(21248K)], 0.0057094 secs] [Times: user=0.00 sys=0.00, real=0.00 secs] Heapdef new generation total 2432K, used 43K [0x00000000052a0000, 0x0000000005540000, 0x0000000006ea0000)eden space 2176K, 2% used [0x00000000052a0000, 0x00000000052aaeb8, 0x00000000054c0000)from space 256K, 0% used [0x00000000054c0000, 0x00000000054c0000, 0x0000000005500000)to space 256K, 0% used [0x0000000005500000, 0x0000000005500000, 0x0000000005540000)tenured generation total 5312K, used 193K [0x0000000006ea0000, 0x00000000073d0000, 0x000000000a6a0000)the space 5312K, 3% used [0x0000000006ea0000, 0x0000000006ed0730, 0x0000000006ed0800, 0x00000000073d0000)compacting perm gen total 21248K, used 2982K [0x000000000a6a0000, 0x000000000bb60000, 0x000000000faa0000)the space 21248K, 14% used [0x000000000a6a0000, 0x000000000a989980, 0x000000000a989a00, 0x000000000bb60000) No shared spaces configured.1、日志的開頭“GC”、“Full GC”表示這次垃圾收集的停頓類型，而不是用來區分新生代GC還是老年代GC的。如果有Full，則說明本次GC停止了其他所有工作線程(Stop-The-World)?？吹紽ull GC的寫法是“Full GC(System)”，這說明是調用System.gc()方法所觸發的GC。
2、“GC”中接下來的“[DefNew”表示GC發生的區域，這里顯示的區域名稱與使用的GC收集器是密切相關的，例如上面樣例所使用的Serial收集器中的新生代名為“Default New Generation”，所以顯示的是“[DefNew”。如果是ParNew收集器，新生代名稱就會變為“[ParNew”，意為“Parallel New Generation”。如果采用Parallel Scavenge收集器，那它配套的新生代稱為“PSYoungGen”，老年代和永久代同理，名稱也是由收集器決定的。
3、后面方括號內部的“310K->194K(2368K)”、“2242K->0K(2368K)”，指的是該區域已使用的容量->GC后該內存區域已使用的容量(該內存區總容量)。方括號外面的“310K->194K(7680K)”、“2242K->2241K(7680K)”則指的是GC前Java堆已使用的容量->GC后Java堆已使用的容量(Java堆總容量)。
4、再往后“0.0269163 secs”表示該內存區域GC所占用的時間，單位是秒。最后的“[Times: user=0.00 sys=0.00 real=0.03 secs]”則更具體了，user表示用戶態消耗的CPU時間、內核態消耗的CPU時間、操作從開始到結束經過的墻鐘時間。后面兩個的區別是，墻鐘時間包括各種非運算的等待消耗，比如等待磁盤I/O、等待線程阻塞，而CPU時間不包括這些耗時，但當系統有多CPU或者多核的話，多線程操作會疊加這些CPU時間，所以如果看到user或sys時間超過real時間是完全正常的。
5、“Heap”后面就列舉出堆內存目前各個年代的區域的內存情況。
總結
以上是生活随笔為你收集整理的Java垃圾回收（GC）机制详解的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： Java中 synchronized 关
- 下一篇： 快排算法的Java实现