全文轉(zhuǎn)載： http://pengjiaheng.iteye.com/blog/548472

作者： 和你在一起 (from JavaEye)

?

?

?

垃圾回收的瓶頸

??? 傳統(tǒng)分代垃圾回收方式，已經(jīng)在一定程度上把垃圾回收給應(yīng)用帶來的負擔(dān)降到了最小，把應(yīng)用的吞吐量推到了一個極限。但是他無法解決的一個問題，就是Full GC所帶來的應(yīng)用暫停。在一些對實時性要求很高的應(yīng)用場景下，GC暫停所帶來的請求堆積和請求失敗是無法接受的。這類應(yīng)用可能要求請求的返回時間在幾百甚 至幾十毫秒以內(nèi)，如果分代垃圾回收方式要達到這個指標(biāo)，只能把最大堆的設(shè)置限制在一個相對較小范圍內(nèi)，但是這樣有限制了應(yīng)用本身的處理能力，同樣也是不可 接收的。

??? 分代垃圾回收方式確實也考慮了實時性要求而提供了并發(fā)回收器，支持最大暫停時間的設(shè)置，但是受限于分代垃圾回收的內(nèi)存劃分模型，其效果也不是很理想。

??? 為了達到實時性的要求（其實Java語言最初的設(shè)計也是在嵌入式系統(tǒng)上的），一種新垃圾回收方式呼之欲出，它既支持短的暫停時間，又支持大的內(nèi)存空間分配。可以很好的解決傳統(tǒng)分代方式帶來的問題。

?

?

增量收集的演進

??? 增量收集的方式在理論上可以解決傳統(tǒng)分代方式帶來的問題。增量收集把對堆空間劃分成一系列內(nèi)存塊，使用時，先使用其中一部分（不會全部用完），垃圾收集時 把之前用掉的部分中的存活對象再放到后面沒有用的空間中，這樣可以實現(xiàn)一直邊使用邊收集的效果，避免了傳統(tǒng)分代方式整個使用完了再暫停的回收的情況。

??? 當(dāng)然，傳統(tǒng)分代收集方式也提供了并發(fā)收集，但是他有一個很致命的地方，就是把整個堆做為一個內(nèi)存塊，這樣一方面會造成碎片（無法壓縮），另一方面他的每次 收集都是對整個堆的收集，無法進行選擇，在暫停時間的控制上還是很弱。而增量方式，通過內(nèi)存空間的分塊，恰恰可以解決上面問題。

?

?

Garbage Firest（G1）

這部分的內(nèi)容主要參考 這里 ，這篇文章算是對G1算法論文的解讀。我也沒加什么東西了。

?

?

目標(biāo)

從設(shè)計目標(biāo)看G1完全是為了大型應(yīng)用而準(zhǔn)備的。

支持很大的堆

高吞吐量

? --支持多CPU和垃圾回收線程

? --在主線程暫停的情況下，使用并行收集

? --在主線程運行的情況下，使用并發(fā)收集

實時目標(biāo)： 可配置在N毫秒內(nèi)最多只占用M毫秒的時間進行垃圾回收

當(dāng)然G1要達到實時性的要求，相對傳統(tǒng)的分代回收算法，在性能上會有一些損失。

?

?

算法詳解

????? G1可謂博采眾家之長，力求到達一種完美。他吸取了增量收集優(yōu)點，把整個堆劃分為一個一個等大小的區(qū)域（region）。內(nèi)存的回收和劃分都以 region為單位；同時，他也吸取了CMS的特點，把這個垃圾回收過程分為幾個階段，分散一個垃圾回收過程；而且，G1也認同分代垃圾回收的思想，認為 不同對象的生命周期不同，可以采取不同收集方式，因此，它也支持分代的垃圾回收。為了達到對回收時間的可預(yù)計性，G1在掃描了region以后，對其中的 活躍對象的大小進行排序，首先會收集那些活躍對象小的region，以便快速回收空間（要復(fù)制的活躍對象少了），因為活躍對象小，里面可以認為多數(shù)都是垃 圾，所以這種方式被稱為Garbage First（G1）的垃圾回收算法，即：垃圾優(yōu)先的回收。

?

?

回收步驟：

?

初始標(biāo)記（Initial Marking）

??? G1對于每個region都保存了兩個標(biāo)識用的bitmap，一個為previous marking bitmap，一個為next marking bitmap，bitmap中包含了一個bit的地址信息來指向?qū)ο蟮钠鹗键c。

??? 開始Initial Marking之前，首先并發(fā)的清空next marking bitmap，然后停止所有應(yīng)用線程，并掃描標(biāo)識出每個region中root可直接訪問到的對象，將region中top的值放入next top at mark start（TAMS）中，之后恢復(fù)所有應(yīng)用線程。

??? 觸發(fā)這個步驟執(zhí)行的條件為：

??? G1定義了一個JVM Heap大小的百分比的閥值，稱為h，另外還有一個H，H的值為(1-h)*Heap Size，目前這個h的值是固定的，后續(xù)G1也許會將其改為動態(tài)的，根據(jù)jvm的運行情況來動態(tài)的調(diào)整，在分代方式下，G1還定義了一個u以及soft limit，soft limit的值為H-u*Heap Size，當(dāng)Heap中使用的內(nèi)存超過了soft limit值時，就會在一次clean up執(zhí)行完畢后在應(yīng)用允許的GC暫停時間范圍內(nèi)盡快的執(zhí)行此步驟；

??? 在pure方式下，G1將marking與clean up組成一個環(huán)，以便clean up能充分的使用marking的信息，當(dāng)clean up開始回收時，首先回收能夠帶來最多內(nèi)存空間的regions，當(dāng)經(jīng)過多次的clean up，回收到?jīng)]多少空間的regions時，G1重新初始化一個新的marking與clean up構(gòu)成的環(huán)。

?

并發(fā)標(biāo)記（Concurrent Marking）

??? 按照之前Initial Marking掃描到的對象進行遍歷，以識別這些對象的下層對象的活躍狀態(tài)，對于在此期間應(yīng)用線程并發(fā)修改的對象的以來關(guān)系則記錄到remembered set logs中，新創(chuàng)建的對象則放入比top值更高的地址區(qū)間中，這些新創(chuàng)建的對象默認狀態(tài)即為活躍的，同時修改top值。

?

?

最終標(biāo)記暫停（Final Marking Pause）

??? 當(dāng)應(yīng)用線程的remembered set logs未滿時，是不會放入filled RS buffers中的，在這樣的情況下，這些remebered set logs中記錄的card的修改就會被更新了，因此需要這一步，這一步要做的就是把應(yīng)用線程中存在的remembered set logs的內(nèi)容進行處理，并相應(yīng)的修改remembered sets，這一步需要暫停應(yīng)用，并行的運行。

?

?

存活對象計算及清除（Live Data Counting and Cleanup）

??? 值得注意的是，在G1中，并不是說Final Marking Pause執(zhí)行完了，就肯定執(zhí)行Cleanup這步的，由于這步需要暫停應(yīng)用，G1為了能夠達到準(zhǔn)實時的要求，需要根據(jù)用戶指定的最大的GC造成的暫停時間來合理的規(guī)劃什么時候執(zhí)行Cleanup，另外還有幾種情況也是會觸發(fā)這個步驟的執(zhí)行的：

??? G1采用的是復(fù)制方法來進行收集，必須保證每次的”to space”的空間都是夠的，因此G1采取的策略是當(dāng)已經(jīng)使用的內(nèi)存空間達到了H時，就執(zhí)行Cleanup這個步驟；

??? 對于full-young和partially-young的分代模式的G1而言，則還有情況會觸發(fā)Cleanup的執(zhí)行，full-young模式下，G1根據(jù)應(yīng)用可接受的暫停時間、回收young regions需要消耗的時間來估算出一個yound regions的數(shù)量值，當(dāng)JVM中分配對象的young regions的數(shù)量達到此值時，Cleanup就會執(zhí)行；partially-young模式下，則會盡量頻繁的在應(yīng)用可接受的暫停時間范圍內(nèi)執(zhí)行Cleanup，并最大限度的去執(zhí)行non-young regions的Cleanup。

?

JVM垃圾回收機制總結(jié)(4) ：新一代的垃圾回收算法