當前位置：首頁 > 编程资源 > 编程问答 >内容正文

编程问答

JVM学习笔记之-拉圾回收概述,垃圾回收相关算法

發布時間：2024/4/15 编程问答 37 豆豆

生活随笔收集整理的這篇文章主要介紹了 JVM学习笔记之-拉圾回收概述,垃圾回收相关算法小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

拉圾回收概述

什么是垃圾

垃圾收集，不是Java語言的伴生產物。早在1960年，第一門開始使用內存動態分配和垃圾收集技術的Lisp語言誕生。

關于垃圾收集有三個經典問題:

哪些內存需要回收?
什么時候回收?
如何回收?

垃圾收集機制是Java的招牌能力，極大地提高了開發效率。如今，垃圾收集幾乎成為現代語言的標配，即使經過如此長時間的發展，Java的垃圾收集機制仍然在不斷的演進中，不同大小的設備、不同特征的應用場景，對垃圾收集提出了新的挑戰，這當然也是面試的熱點。

什么是垃圾（ Garbage)呢?

垃圾是指在運行程序中沒有任何指針指向的對象，這個對象就是需要被回收的垃圾。
外文: An object is considered garbage when it can no longer be reached from any pointer in the runningprogram.

如果不及時對內存中的垃圾進行清理，那么，這些垃圾對象所占的內存空間會一直保留到應用程序結束，被保留的空間無法被其他對象使用。甚至可能導致內存溢出。

磁盤碎片整理的日子

為什么需要GC

想要學習GC，首先需要理解為什么需要GC?

對于高級語言來說，一個基本認知是如果不進行垃圾回收，內存遲早都會被消耗完，因為不斷地分配內存空間而不進行回收，就好像不停地生產生活垃圾而從來不打掃一樣。

除了釋放沒用的對象，垃圾回收也可以清除內存里的記錄碎片。碎片整理將所占用的堆內存移到堆的一端，以便JVM將整理出的內存分配給新的對象。

隨著應用程序所應付的業務越來越龐大、復雜，用戶越來越多，沒有GC就不能保證應用程序的正常進行。而經常造成STW的GC又跟不上實際的需求，所以才會不斷地嘗試對GC進行優化。

早期垃圾回收

在早期的C/C++時代，垃圾回收基本上是手工進行的。開發人員可以使用new關鍵字進行內存申請，并使用delete關鍵字進行內存釋放。比如以下代碼:

這種方式可以靈活控制內存釋放的時間，但是會給開發人員帶來頻繁申請和釋放內存的管理負擔。倘若有一處內存區間由于程序員編碼的問題忘記被回收，那么就會產生內存泄漏，垃圾對象永遠無法被清除，隨著系統運行時間的不斷增長，垃圾對象所耗內存可能持續上升，直到出現內存溢出并造成應用程序崩潰。

在有了垃圾回收機制后，上述代碼塊極有可能變成這樣:

現在，除了Java以外，C#、Python、Ruby等語言都使用了自動垃圾回收的思想，也是未來發展趨勢。可以說，這種自動化的內存分配和垃圾回收的方式己經成為現代開發語言必備的標準。

Java垃圾回收機制

自動內存管理，無需開發人員手動參與內存的分配與回收，這樣降低內存泄漏和內存溢出的風險

沒有垃圾回收器，java也會和cpp一樣，各種懸垂指針，野指針，泄露問題
讓你頭疼不已。

自動內存管理機制，將程序員從繁重的內存管理中釋放出來，可以更專心地專注于業務開發

擔憂(對于java開發人員)

對于Java開發人員而言，自動內存管理就像是一個黑匣子，如果過度依賴于“自動”，那么這將會是一場災難，最嚴重的就會弱化Java開發人員在程序出現內存溢出時定位問題和解決問題的能力。

此時，了解JVM的自動內存分配和內存回收原理就顯得非常重要，只有在真正了解JVM是如何管理內存后，我們才能夠在遇見outofMemoryError時，快速地根據錯誤異常日志定位問題和解決問題。

當需要排查各種內存溢出、內存泄漏問題時，當垃圾收集成為系統達到更高并發量的瓶頸時，我們就必須對這些“自動化”的技術實施必要的監控和調節。

垃圾回收器可以對年輕代回收，也可以對老年代回收，甚至是全堆和方法區的回收。

其中，Java堆是垃圾收集器的工作重點。

從次數上講:

頻繁收集Young區
較少收集old區
基本不動Perm區(或者元空間)

垃圾回收相關算法

標記階段:引用計數算法

垃圾標記階段:對象存活判斷

在堆里存放著幾乎所有的Java對象實例，在GC執行垃圾回收之前，首先需要區分出內存中哪些是存活對象，哪些是已經死亡的對象。只有被標記為己經死亡的對象，GC才會在執行垃圾回收時，釋放掉其所占用的內存空間，因此這個過程我們可以稱為垃圾標記階段。

那么在JVM中究竟是如何標記一個死亡對象呢?簡單來說，當一個對象已經不再被任何的存活對象繼續引用時，就可以宣判為已經死亡。

判斷對象存活一般有兩種方式:引用計數算法和可達性分析算法。

方式一:引用計數算法(java不使用這類算法)

引用計數算法(Reference Counting)比較簡單，對每個對象保存一個整型的 引用計數器屬性。用于記錄對象被引用的情況。

原理:
對于一個對象A，只要有任何一個對象引用了A，則A的引用計數器就加1;當引用失效時，引用計數器就減1。只要對象A的引用計數器的值為0，即表示對象A不可能再被使用，可進行回收。

優點:

實現簡單，垃圾對象便于辨識;判定效率高，回收沒有延遲性。

缺點:

它需要單獨的字段存儲計數器，這樣的做法增加了存儲空間的開銷。
每次賦值都需要更新計數器，伴隨著加法和減法操作，這增加了時間開銷。
引用計數器有一個嚴重的問題，即無法處理循環引用的情況。這是一條致命缺陷，導致在Java的垃圾回收器中沒有使用這類算法。

循環引用

java由于不用引用計數算法,所以不會出現下面這類的內存泄露情況

java代碼解釋沒有使用引用計數算法

運行結果

結論:
由GC打印信息的,代碼中的循環依耐的對象被GC回收了,反向說明java不是使用的引用計數算法來判斷對象存活

圖示

如果不下小心直接把Obj1-reference和obj2-reference置null。則在Java堆當中的兩塊內存依然保持著互相引用，無法回收。

小結

引用計數算法，是很多語言的資源回收選擇，例如因人工智能而更加火熱的Python，它更是同時支持引用計數和垃圾收集機制。

具體哪種最優是要看場景的，業界有大規模實踐中僅保留引用計數機制，以提高吞吐量的嘗試。

Java并沒有選擇引用計數，是因為其存在一個基本的難題，也就是很難處理循環引用關系。

Python如何解決循環引用?

手動解除:很好理解，就是在合適的時機，解除引用關系。
使用弱引用weakref， weakref是Python提供的標準庫，旨在解決循環引用。

標記階段:可達性分析算法

方式二∶可達性分析(或根搜索算法、追蹤性垃圾收集)

相對于引用計數算法而言，可達性分析算法不僅同樣具備實現簡單和執行高效等特點，更重要的是該算法可以有效地解決在引用計數算法中循環引用的問題，防止內存泄漏的發生。

相較于引用計數算法，這里的可達性分析就是Java、C#選擇的。這種類型的垃圾收集通常也叫作追蹤性垃圾收集（ Tracing Garbagecollection) 。

所謂"GC Roots"根集合就是一組必須活躍的引用。

基本思路:

可達性分析算法是以根對象集合(GC Roots)為起始點，按照從上全下的方式搜索被根對象集合所連接的目標對象是否可達。
使用可達性分析算法后，內存中的存活對象都會被根對象集合直接或間接連接著，搜索所走過的路徑稱為引用鏈(Reference Chain)
如果目標對象沒有任何引用鏈相連，則是不可達的，就意味著該對象己經死亡，可以標記為垃圾對象。
在可達性分析算法中，只有能夠被根對象集合直接或者間接連接的對象才是存活對象。

GC Roots

在Java 語言中，GC Roots包括以下幾類元素:
虛擬機棧中引用的對象

比如:各個線程被調用的方法中使用到的參數、局部變量等。

本地方法棧內JNI(通常說的本地方法)引用的對象

方法區中類靜態屬性引用的對象

比如: Java類的引用類型靜態變量

方法區中常量引用的對象

比如:字符串常量池（(string Table）里的引用

所有被同步鎖synchronized持有的對象

Java虛擬機內部的引用。

基本數據類型對應的class對象，一些常駐的異常對象（如:NullPointerException、outofMemoryError），系統類加載器

反映java虛擬機內部情況的JMXBean、JVMTI中注冊的回調、本地代碼緩存等。

除了這些固定的GC Roots集合以外，根據用戶所選用的垃圾收集器以及當前回收的內存區域不同，還可以有其他對象“臨時性”地加入，共同構成完整GC Roots集合。比如:分代收集和局部回收（Partial GC）。

如果只針對Java堆中的某一塊區域進行垃圾回收（比如:典型的只針
對新生代），必須考慮到內存區域是虛擬機自己的實現細節，更不是孤立封閉的，這個區域的對象完全有可能被其他區域的對象所引用，這時候就需要一并將關聯的區域對象也加入GC Roots集合中去考慮，才能保證可達性分析的準確性。

小技巧:
由于Root采用棧方式存放變量和指針，所以如果一個指針，它保存了堆內存里面的對象，但是自己又不存放在堆內存里面，那它就是一個Root

注意:

如果要使用可達性分析算法來判斷內存是否可回收，那么分析工作必須在一個能保障一致性的快照中進行。這點不滿足的話分析結果的準確性就無法保證。
這點也是導致GC進行時必須"stop The world"的一個重要原因。

即使是號稱（幾乎）不會發生停頓的CMS收集器中，枚舉根節點時也是必須要停頓的。

對象的finalization機制

Java語言提供了對象終止（finalization）機制來允許開發人員提供對象被銷毀之前的自定義處理邏輯。

當垃圾回收器發現沒有引用指向一個對象，即:垃圾回收此對象之前，總會先調用這個對象的finalize()方法。

finalize()方法允許在子類中被重寫，**用于在對象被回收時進行資源釋放。**通常在這個方法中進行一些資源釋放和清理的工作，比如關閉文件、套接字和數據庫連接等。

永遠不要主動調用某個對象的finalize ()方法，應該交給垃圾回收機制調用.理由包括下面三點:

在finalize ()時可能會導致對象復活。
finalize ()方法的執行時間是沒有保障的，它完全由GC線程決定，極端情況下，若不發生GC，則finalize ()方法將沒有執行機會。
一個糟糕的finalize ()會嚴重影響Gc的性能。

從功能上來說，finalize()方法與C++中的析構函數比較相似，但是Java采用的是基于垃圾回收器的自動內存管理機制，所以finalize ()方法在本質上不同于c++中的析構函數。

由于finalize ()方法的存在，虛擬機中的對象一般處于三種可能的狀態。

虛擬機中的對象一般處于三種可能的狀態。

如果從所有的根節點都無法訪問到某個對象，說明對象己經不再使用了。一般來說，此對象需要被回收。但事實上，也并非是“非死不可”的，這時候它們暫時處于“緩刑”階段。一個無法觸及的對象有可能在某一個條件下“復活”自己，如果這樣，那么對它的回收就是不合理的，為此，定義虛擬機中的對象可能的三種狀態。如下:

可觸及的:從根節點開始，可以到達這個對象。

可復活的:對象的所有引用都被釋放，但是對象有可能在finalize ()中復活。

不可觸及的:對象的finalize ()被調用，并且沒有復活，那么就會進入不可觸及狀態。不可觸及的對象不可能被復活，因為finalize()只會被調用一次。

以上3種狀態中，是由于finalize ()方法的存在，進行的區分。只有在對象不可觸及時才可以被回收。

具體過程

判定一個對象objA是否可回收，至少要經歷兩次標記過程:

1．如果對象objA到 GC Roots沒有引用鏈，則進行第一次標記。

2．進行篩選，判斷此對象是否有必要執行finalize ()方法

① 如果對象objA沒有重寫finalize()方法，或者finalize()方法已經被虛擬機調用過，則虛擬機視為“沒有必要執行”，objA被判定為不可觸及的。

② 如果對象objA重寫了finalize()方法，且還未執行過，那么objA會被插入到F-Queue隊列中，由一個虛擬機自動創建的、低優先級的Finalizer線程觸發其finalize()方法執行。

③ finalize()方法是對象逃脫死亡的最后機會，稍后cc會對F-Queue隊列中的對象進行第二次標記。如果objA在finalize()方法中與引用鏈上的任何一個對象建立了聯系，那么在第二次標記時，objA會被移出“即將回收”集合。之后，對象會再次出現沒有引用存在的情況。在這個情況下，finalize方法不會被再次調用，對象會直接變成不可觸及的狀態，也就是說，一個對象的finalize方法只會被調用一次。

代碼演示具體過程

package com.fs.demo01;/***測試object類中finalize()方法,測試對象的finalizeion機制*/ public class CanReliveObj {public static CanReliveObj obj;//類變量@Overrideprotected void finalize() throws Throwable {super.finalize();System.out.println("調用當前類重寫的finalize()方法");obj = this;}public static void main(String[] args) {try {//對象第一次成功拯救自己obj = new CanReliveObj();obj = null;//調用垃圾回收器System.gc();System.out.println("第一次 GC");//因為Finalizer線程優先級很低，暫停2秒，以等待它Thread.sleep(2000);if (obj == null) {System.out.println( "obj is dead" );}else {System.out.println( "obj is still alive" );}System.out.println("第2次gc");//下面這段代碼與上面的完全相同，但是這次自救卻失敗了obj = null;System.gc();//因為Finalizer線程優先級很低，暫停2秒，以等待它Thread.sleep( 2000) ;if (obj == null) {System.out.println("obj is dead" );} else {System.out.println( "obj is still alive" );}}catch (Exception e){e.printStackTrace();}}}/* 測試一先注釋掉重寫的 finalize()運行得到的結果:第一次 GCobj is dead第2次gcobj is dead測試二放開重寫的 finalize()運行結果調用當前類重寫的finalize()方法第一次 GCobj is still alive第2次gcobj is still alive*/

MAT與JProfiler的GC Roots溯源

MAT

MAT是Memory Analyzer的簡稱，它是一款功能強大的Java堆內存分析器。用于查找內存泄漏以及查看內存消耗情況。

MAT是基于Eclipse開發的，是一款免費的性能分析工具。

大家可以在http://www.eclipse.org/mat/下載并使用MAT。

獲取dump文件

方式1:命令行使用jmap

方式2:使用JVisualVM導出
捕獲的heap dump文件是一個臨時文件，關閉JVisualVM后自動刪除，若要保留，需要將其另存為文件。

可通過以下方法捕獲heap dump:

在左側“Application"(應用程序）子窗口中右擊相應的應用程序，選擇Heap Dump(堆Dump) 。

在Monitor(監視）子標簽頁中點擊Heap Dump(堆Dump）按鈕。

本地應用程序的Heap dumps作為應用程序標簽頁的一個子標簽頁打開。同時，heap dump在左側的Application(應用程序）欄中對應一個含有時間戳的節點。右擊這個節點選擇save as (另存為）即可將heap dump保存到本地。

MAT打開另存為的dump文件

JProfiler

idea 安裝JProfiler 請自行百度

使用JProfiler 查看OOM

-XX:+HeapDumpOnOutOfMemoryError 這個參數的意思就是當出現OOM的時候,就會生成一個heap的dump文件

package com.fs.demo01;import java.util.ArrayList;/*** 使用JProfiler 查看OOM* -Xms8m -Xmx8m -XX:+HeapDumpOnOutOfMemoryError** -XX:+HeapDumpOnOutOfMemoryError 這個參數的意思就是當出現OOM的時候,就會生成一個heap的dump文件*/ public class HeapOOMTest {byte[] buffer = new byte[1 * 1024 * 1024];//1MBpublic static void main(String[] args) {ArrayList<HeapOOMTest> list = new ArrayList<HeapOOMTest>();int count = 0;try{while(true){list.add(new HeapOOMTest());count++;}}catch ( Throwable e){System.out.println( "count = " + count) ;e.printStackTrace();}} }

運行上面代碼

分析
發現大對象

是那個線程發生OOM呢

清除階段:標記-清除算法

當成功區分出內存中存活對象和死亡對象后，GC接下來的任務就是執行垃圾回收，釋放掉無用對象所占用的內存空間，以便有足夠的可用內存空間為新對象分配內存。

目前在JVM中比較常見的三種垃圾收集算法是標記一清除算法（(Mark-Sweep )、復制算法( copying )、標記–壓縮算法（ Mark-compact ) 。

標記-清除(Mark - Sweep )算法

背景:
標記–清除算法( Mark-Sweep )是一種非常基礎和常見的垃圾收集算法(優點)，該算法被J.McCarthy等人在1960年提出并并應用于Lisp語言。

執行過程:
當堆中的有效內存空間(available memory）被耗盡的時候，就會停止整個程序（也被稱為stop the world)，然后進行兩項工作，第一項則是標記，第二項則是清除。

標記: collector從引用根節點開始遍歷，標記所有被引用的對象。一般是在對象的Header中記錄為可達對象。

清除:collector對堆內存從頭到尾進行線性的遍歷，如果發現某個對象在其Header中沒有標記為可達對象，則將其回收。

缺點

效率不算高

在進行GC的時候，需要停止整個應用程序，導致用戶體驗差

這種方式清理出來的空閑內存是不連續的，產生內存碎片。需要維護一個空閑列表

注意:何為清除?

這里所謂的清除并不是真的置空，而是把需要清除的對象地址保存在空閑的地址列表里。下次有新對象需要加載時，判斷垃圾的位置空間是否夠，如果夠，就存放。

清除階段:復制算法

背景:
為了解決標記-清除算法在垃圾收集效率方面的缺陷，M.L.Minsky于1963年發表了著名的論文，“使用雙存儲區的Lisp語言垃圾收集器CALISP Garbage collector Algorithm Using serialSecondary storage ) ”。M.L.Minsky在該論文中描述的算法被人們稱為復制(copying）算法，它也被M.L.Minsky本人成功地引入到了Lisp語言的一個實現版本中。

核心思想:
將活著的內存空間分為兩塊，每次只使用其中一塊，在垃圾回收時將正在使用的內存中的存活對象復制到未被使用的內存塊中，之后清除正在使用的內存塊中的所有對象，交換兩個內存的角色，最后完成垃圾回收。

復制算法的優缺點

優點:
·沒有標記和清除過程，實現簡單，運行高效
·復制過去以后保證空間的連續性，不會出現“碎片”問題。

缺點:
此算法的缺點也是很明顯的，就是需要兩倍的內存空間。
對于G1這種分拆成為大量region的Gc，復制而不是移動，意味著cc需要維護region之間對象引用關系，不管是內存占用或者時間開銷也不小。

特別的:
·如果系統中的垃圾對象很多，復制算法就不會很理想，因為復制算法需要復制的存活對象數量并不會太大，或者說非常低才行。

復制算法應用場景:

在新生代，對常規應用的垃圾回收，一次通常可以回收70%-99%的內存空間。回收性價比很高。所以現在的商業虛擬機都是用這種收集算法回收新生代。

清除階段:標記-壓縮算法(或標記-整理、Mark - Compact )算法

背景:
復制算法的高效性是建立在存活對象少、垃圾對象多的前提下的。這種情況在新生代經常發生，但是在老年代，更常見的情況是大部分對象都是存活對象。如果依然使用復制算法，由于存活對象較多，復制的成本也將很高。因此，基于老年代垃圾回收的特性，需要使用其他的算法。

標記一清除算法的確可以應用在老年代中，但是該算法不僅執行效率低下，而且在執行完內存回收后還會產生內存碎片，所以JVM的設計者需要在此基礎之上進行改進。標記–壓縮(Mark - Compact）算法由此誕生。

1970 年前后，G. L. Steele 、C. J. Chene和D.S. Wise 等研究者發布標記-壓縮算法。在許多現代的垃圾收集器中，人們都使用了標記-壓縮算法或其改進版本。

執行過程:

第一階段和標記清除算法一樣,從根節點開始標記所有被引用對象

第二階段將所有的存活對象壓縮到內存的一端，按順序排放。

之后，清理邊界外所有的空間。

標記-壓縮算法的最終效果等同于標記-清除算法執行完成后，再進行一次內存碎片整理，因此，也可以把它稱為標記-清除-壓縮(Mark-Sweep-Compact)算法。

二者的本質差異在于標記-清除算法是一種非移動式的回收算法，標記-壓縮是移動式的。是否移動回收后的存活對象是一項優缺點并存的風險決策。

可以看到，標記的存活對象將會被整理，按照內存地址依次排列，而未被標記的內存會被清理掉。如此一來，當我們需要給新對象分配內存時JVM只需要持有一個內存的起始地址即可，這比維護一個空閑列表顯然少了許多開銷。

指針碰撞（Bump the Pointer)

指針碰撞（Bump the Pointer)
如果內存空間以規整和有序的方式分布，即已用和未用的內存都各自一邊，彼此之間維系著一個記錄下一次分配起始點的標記指針，當為新對象分配內存時，只需要通過修改指針的偏移量將新對象分配在第一個空閑內存位置上，這種分配方式就叫做指針碰撞（Bump the Pointer) 。

標記-壓縮算法的優缺點

優點:
消除了標記-清除算法當中，內存區域分散的缺點，我們需要給新對象分配內存時，JVM只需要持有一個內存的起始地址即可。

消除了復制算法當中，內存減半的高額代價。

缺點:
從效率上來說，標記-整理算法要低于復制算法。

移動對象的同時，如果對象被其他對象引用，則還需要調整引用的地址。

移動過程中，需要全程暫停用戶應用程序。即:STW

小結

對比三種算法

效率上來說，復制算法是當之無愧的老大，但是卻浪費了太多內存。

而為了盡量兼顧上面提到的三個指標，標記-整理算法相對來說更平滑一些，但是效率上不盡如人意，它比復制算法多了一個標記的階段，比標記-清除多了一個整理內存的階段。

分代收集算法

難道就沒有一種最優的算法嗎?

回答:無，沒有最好的算法，只有最合適的算法。

分代收集算法概念

前面所有這些算法中，并沒有一種算法可以完全替代其他算法，它們都具有自己獨特的優勢和特點。分代收集算法應運而生。

分代收集算法，是基于這樣一個事實:不同的對象的生命周期是不一樣的。因此，不同生命周期的對象可以采取不同的收集方式，以便提高回收效率。一般是把Java堆分為新生代和老年代，這樣就可以根據各個年代的特點使用不同的回收算法，以提高垃圾回收的效率。

在Java程序運行的過程中，會產生大量的對象，其中有些對象是與業務信息相關，比如Http請求中的session對象、線程、Socket連接，這類對象跟業務直接掛鉤，因此生命周期比較長。但是還有一些對象，主要是程序運行過程中生成的臨時變量，這些對象生命周期會比較短，比如: string對象，由于其不變類的特性，系統會產生大量的這些對象，有些對象甚至只用一次即可回收。

目前幾乎所有的cc都是采用分代收集(Generational Collecting）算法執行垃圾回收的。

在HotSpot中，基于分代的概念，GC所使用的內存回收算法必須結合年輕代和老年代各自的特點。

年輕代(Young Gen)

年輕代特點:區域相對老年代較小，對象生命周期短、存活率低，回收頻繁。
這種情況復制算法的回收整理，速度是最快的。復制算法的效率只和當前存活對象大小有關，因此很適用于年輕代的回收。而復制算法內存利用率不高的問題，通過hotspot中的兩個survivor(s0,s1或者from to區)的設計得到緩解。

老年代(Tenured Gen)

老年代特點:區域較大，對象生命周期長、存活率高，回收不及年輕代頻繁。
這種情況存在大量存活率高的對象，復制算法明顯變得不合適。一般是由標記-清除或者是標記-清除與標記-整理的混合實現。

Mark階段的開銷與存活對象的數量成正比。
Sweep階段的開銷與所管理區域的大小成正相關。
Compact階段的開銷與存活對象的數據成正比。

以HotSpot中的CMS回收器為例，CMS是基于Mark-Sweep實現的，對于對象的回收效率很高。而對于碎片問題，CMS采用基于Mark-Compact算法的serial old回收器作為補償措施:當內存回收不佳（碎片導致的Concurrent Mode Failure時)﹐將采用serial old執行Full cc以達到對老年代內存的整理。

分代的思想被現有的虛擬機廣泛使用。幾乎所有的垃圾回收器都區分新生代和老年代。

增量收集算法、分區算法

增量收集算法

上述現有的算法，在垃圾回收過程中，應用軟件將處于一種stop the world的狀態。在stop the world狀態下，應用程序所有的線程都會掛起，暫停一切正常的工作，等待垃圾回收的完成。如果垃圾回收時間過長，應用程序會被掛起很久，將嚴重影響用戶體驗或者系統的穩定性。為了解決這個問題，即對實時垃圾收集算法的研究直接導致了增量收集(Incremental collecting）算法的誕生。

基本思想

如果一次性將所有的垃圾進行處理，需要造成系統長時間的停頓，那么就可以讓垃圾收集線程和應用程序線程交替執行。每次，垃圾收集線程只收集一小片區域的內存空間，接著切換到應用程序線程。依次反復，直到垃圾收集完成。

總的來說，增量收集算法的基礎仍是傳統的標記-清除和復制算法。增量收集算法通過對線程間沖突的妥善處理，允許垃圾收集線程以分階段的方式完成標記、清理或復制工作。