天天看點

[JVM]深入了解垃圾回算法

  • ​​一、 技術背景你要了解吧​​
  • ​​二、 哪些記憶體需要回收?​​
  • ​​2.1 引用計數算法​​
  • ​​2.1.1 算法分析​​
  • ​​2.1.2 優缺點​​
  • ​​2.1.3 是不是很無趣,來段代碼壓壓驚​​
  • ​​2.2 可達性分析算法​​
  • ​​2.3 Java中的引用你了解多少​​
  • ​​2.4 對象死亡(被回收)前的最後一次掙紮​​
  • ​​2.5 方法區如何判斷是否需要回收​​
  • ​​三、常用的垃圾收集算法​​
  • ​​3.1 标記-清除算法​​
  • ​​3.2 複制算法​​
  • ​​3.3 标記-整理算法​​
  • ​​3.4 分代收集算法​​
  • ​​3.4.1 年輕代(Young Generation)的回收算法​​
  • ​​3.4.2 年老代(Old Generation)的回收算法​​
  • ​​3.4.3 持久代(Permanent Generation)的回收算法​​
  • ​​四、常見的垃圾收集器​​
  • ​​五、GC是什麼時候觸發的(面試最常見的問題之一)​​
  • ​​5.1 Scavenge GC​​
  • ​​5.2 Full GC​​
  • ​​結束語​​

一、 技術背景你要了解吧

  按照套路是要先裝裝X,談談JVM垃圾回收的前世今生的。說起垃圾回收(GC),大部分人都把這項技術當做Java語言的伴生産物。事實上,GC的曆史比Java久遠,早在1960年Lisp這門語言中就使用了記憶體動态配置設定和垃圾回收技術。設計和優化C++這門語言的專家們要長點心啦~~

二、 哪些記憶體需要回收?

  猿們都知道JVM的記憶體結構包括五大區域:程式計數器、虛拟機棧、本地方法棧、堆區、方法區。其中程式計數器、虛拟機棧、本地方法棧3個區域随線程而生、随線程而滅,是以這幾個區域的記憶體配置設定和回收都具備确定性,就不需要過多考慮回收的問題,因為方法結束或者線程結束時,記憶體自然就跟随着回收了。而Java堆區和方法區則不一樣、不一樣!(怎麼不一樣說的朗朗上口),這部分記憶體的配置設定和回收是動态的,正是垃圾收集器所需關注的部分。

  垃圾收集器在對堆區和方法區進行回收前,首先要确定這些區域的對象哪些可以被回收,哪些暫時還不能回收,這就要用到判斷對象是否存活的算法!(面試官肯定沒少問你吧)

2.1 引用計數算法

2.1.1 算法分析

  引用計數是垃圾收集器中的早期政策。在這種方法中,堆中每個對象執行個體都有一個引用計數。當一個對象被建立時,就将該對象執行個體配置設定給一個變量,該變量計數設定為1。當任何其它變量被指派為這個對象的引用時,計數加1(a = b,則b引用的對象執行個體的計數器+1),但當一個對象執行個體的某個引用超過了生命周期或者被設定為一個新值時,對象執行個體的引用計數器減1。任何引用計數器為0的對象執行個體可以被當作垃圾收集。當一個對象執行個體被垃圾收集時,它引用的任何對象執行個體的引用計數器減1。

2.1.2 優缺點

優點:引用計數收集器可以很快的執行,交織在程式運作中。對程式需要不被長時間打斷的實時環境比較有利。

缺點:無法檢測出循環引用。如父對象有一個對子對象的引用,子對象反過來引用父對象。這樣,他們的引用計數永遠不可能為0。

2.1.3 是不是很無趣,來段代碼壓壓驚

public class Main {
    private Object instance;
    public static void main(String[] args) {
        Main m1 = new Main();
        Main m2 = new Main();

        m1.instance = m2;
        m2.instance = m1;

        m1 = null;
        m2 = null;
        System.gc();
    }
}      

  這段代碼是用來驗證引用計數算法不能檢測出循環引用。最後面兩句将m1和m​

​2​

​​指派為​

​null​

​​,也就是說​

​m1​

​和m2指向的對象已經不可能再被通路,但是由于它們互相引用對方,導緻它們的引用計數器都不為0,那麼垃圾收集器就永遠不會回收它們。

2.2 可達性分析算法

  可達性分析算法是從離散數學中的圖論引入的,程式把所有的引用關系看作一張圖,從一個節點GC ROOT開始,尋找對應的引用節點,找到這個節點以後,繼續尋找這個節點的引用節點,當所有的引用節點尋找完畢之後,剩餘的節點則被認為是沒有被引用到的節點,即無用的節點,無用的節點将會被判定為是可回收的對象。

[JVM]深入了解垃圾回算法

  在Java語言中,可作為GC Roots的對象包括下面幾種:

  a) 虛拟機棧中引用的對象(棧幀中的本地變量表);

  b) 方法區中類靜态屬性引用的對象;

  c) 方法區中常量引用的對象;

  d) 本地方法棧中JNI(Native方法)引用的對象。

2.3 Java中的引用你了解多少

  無論是通過引用計數算法判斷對象的引用數量,還是通過可達性分析算法判斷對象的引用鍊是否可達,判定對象是否存活都與“引用”有關。在Java語言中,将引用又分為強引用、軟引用、弱引用、虛引用4種,這四種引用強度依次逐漸減弱。

  • 強引用

  在程式代碼中普遍存在的,類似 ​

​Object obj = new Object()​

​ 這類引用,隻要強引用還存在,垃圾收集器永遠不會回收掉被引用的對象。

  • 軟引用

  用來描述一些還有用但并非必須的對象。對于軟引用關聯着的對象,在系統将要發生記憶體溢出異常之前,将會把這些對象列進回收範圍之中進行第二次回收。如果這次回收後還沒有足夠的記憶體,才會抛出記憶體溢出異常。

  • 弱引用

  也是用來描述非必需對象的,但是它的強度比軟引用更弱一些,被弱引用關聯的對象隻能生存到下一次垃圾收集發生之前。當垃圾收集器工作時,無論目前記憶體是否足夠,都會回收掉隻被弱引用關聯的對象。

  • 虛引用

  也叫幽靈引用或幻影引用(名字真會取,很魔幻的樣子),是最弱的一種引用關系。一個對象是否有虛引用的存在,完全不會對其生存時間構成影響,也無法通過虛引用來取得一個對象執行個體。它的作用是能在這個對象被收集器回收時收到一個系統通知。

  不要被概念吓到,也别擔心,還沒跑題,再深入,可就不好說了。小編羅列這四個概念的目的是為了說明,無論引用計數算法還是可達性分析算法都是基于強引用而言的。

2.4 對象死亡(被回收)前的最後一次掙紮

  即使在可達性分析算法中不可達的對象,也并非是“非死不可”,這時候它們暫時處于“緩刑”階段,要真正宣告一個對象死亡,至少要經曆兩次标記過程。

  第一次标記:如果對象在進行可達性分析後發現沒有與GC Roots相連接配接的引用鍊,那它将會被第一次标記;

  第二次标記:第一次标記後接着會進行一次篩選,篩選的條件是此對象是否有必要執行​

​finalize()​

​​方法。在​

​finalize()​

​方法中沒有重新與引用鍊建立關聯關系的,将被進行第二次标記。

  第二次标記成功的對象将真的會被回收,如果對象在​

​finalize()​

​方法中重新與引用鍊建立了關聯關系,那麼将會逃離本次回收,繼續存活。猿們還跟的上吧,嘿嘿。

2.5 方法區如何判斷是否需要回收

  猿們,方法區存儲内容是否需要回收的判斷可就不一樣咯。方法區主要回收的内容有:廢棄常量和無用的類。對于廢棄常量也可通過引用的可達性來判斷,但是對于無用的類則需要同時滿足下面3個條件:

  • 該類所有的執行個體都已經被回收,也就是Java堆中不存在該類的任何執行個體;
  • 加載該類的​

    ​ClassLoader​

    ​已經被回收;
  • 該類對應的​

    ​java.lang.Class​

    ​對象沒有在任何地方被引用,無法在任何地方通過反射通路該類的方法。

講了半天,主角終于要粉墨登場了。

三、常用的垃圾收集算法

3.1 标記-清除算法

  标記-清除算法采用從根集合(GC Roots)進行掃描,對存活的對象進行标記,标記完畢後,再掃描整個空間中未被标記的對象,進行回收,如下圖所示。标記-清除算法不需要進行對象的移動,隻需對不存活的對象進行處理,在存活對象比較多的情況下極為高效,但由于标記-清除算法直接回收不存活的對象,是以會造成記憶體碎片。

[JVM]深入了解垃圾回算法

3.2 複制算法

  複制算法的提出是為了克服句柄的開銷和解決記憶體碎片的問題。它開始時把堆分成 一個對象 面和多個空閑面, 程式從對象面為對象配置設定空間,當對象滿了,基于copying算法的垃圾 收集就從根集合(GC Roots)中掃描活動對象,并将每個 活動對象複制到空閑面(使得活動對象所占的記憶體之間沒有空閑洞),這樣空閑面變成了對象面,原來的對象面變成了空閑面,程式會在新的對象面中配置設定記憶體。

[JVM]深入了解垃圾回算法

3.3 标記-整理算法

  标記-整理算法采用标記-清除算法一樣的方式進行對象的标記,但在清除時不同,在回收不存活的對象占用的空間後,會将所有的存活對象往左端空閑空間移動,并更新對應的指針。标記-整理算法是在标記-清除算法的基礎上,又進行了對象的移動,是以成本更高,但是卻解決了記憶體碎片的問題。具體流程見下圖:

[JVM]深入了解垃圾回算法

3.4 分代收集算法

  分代收集算法是目前大部分JVM的垃圾收集器采用的算法。它的核心思想是根據對象存活的生命周期将記憶體劃分為若幹個不同的區域。一般情況下将堆區劃分為老年代(Tenured Generation)和新生代(Young Generation),在堆區之外還有一個代就是永久代(Permanet Generation)。老年代的特點是每次垃圾收集時隻有少量對象需要被回收,而新生代的特點是每次垃圾回收時都有大量的對象需要被回收,那麼就可以根據不同代的特點采取最适合的收集算法。

[JVM]深入了解垃圾回算法

3.4.1 年輕代(Young Generation)的回收算法

a) 所有新生成的對象首先都是放在年輕代的。年輕代的目标就是盡可能快速的收集掉那些生命周期短的對象。

b) 新生代記憶體按照8:1:1的比例分為一個eden區和兩個survivor(survivor0,survivor1)區。一個Eden區,兩個 Survivor區(一般而言)。大部分對象在Eden區中生成。回收時先将eden區存活對象複制到一個survivor0區,然後清空eden區,當這個survivor0區也存放滿了時,則将eden區和survivor0區存活對象複制到另一個survivor1區,然後清空eden和這個survivor0區,此時survivor0區是空的,然後将survivor0區和survivor1區交換,即保持survivor1區為空, 如此往複。

c) 當survivor1區不足以存放 eden和survivor0的存活對象時,就将存活對象直接存放到老年代。若是老年代也滿了就會觸發一次Full GC,也就是新生代、老年代都進行回收。

d) 新生代發生的GC也叫做Minor GC,MinorGC發生頻率比較高(不一定等Eden區滿了才觸發)。

3.4.2 年老代(Old Generation)的回收算法

a) 在年輕代中經曆了N次垃圾回收後仍然存活的對象,就會被放到年老代中。是以,可以認為年老代中存放的都是一些生命周期較長的對象。

b) 記憶體比新生代也大很多(大概比例是1:2),當老年代記憶體滿時觸發Major GC即Full GC,Full GC發生頻率比較低,老年代對象存活時間比較長,存活率标記高。

3.4.3 持久代(Permanent Generation)的回收算法

  用于存放靜态檔案,如Java類、方法等。持久代對垃圾回收沒有顯著影響,但是有些應用可能動态生成或者調用一些class,例如Hibernate 等,在這種時候需要設定一個比較大的持久代空間來存放這些運作過程中新增的類。持久代也稱方法區,具體的回收可參見上文2.5節。

猿們加油跟上,離offer不遠啦!!!

四、常見的垃圾收集器

下面一張圖是HotSpot虛拟機包含的所有收集器,圖是借用過來滴:

[JVM]深入了解垃圾回算法
  • Serial收集器(複制算法)

    新生代單線程收集器,标記和清理都是單線程,優點是簡單高效。是client級别預設的GC方式,可以通過​​

    ​-XX:+UseSerialGC​

    ​來強制指定。
  • Serial Old收集器(标記-整理算法)

    老年代單線程收集器,Serial收集器的老年代版本。

  • ParNew收集器(停止-複制算法)

    新生代收集器,可以認為是Serial收集器的多線程版本,在多核CPU環境下有着比Serial更好的表現。

  • Parallel Scavenge收集器(停止-複制算法)

    并行收集器,追求高吞吐量,高效利用CPU。吞吐量一般為99%, 吞吐量(高并發)= 使用者線程時間/(使用者線程時間+GC線程時間)。适合背景應用等對互動相應要求不高的場景。是server級别預設采用的GC方式,可用​​

    ​-XX:+UseParallelGC​

    ​​來強制指定,用​

    ​-XX:ParallelGCThreads=4​

    ​來指定線程數。
  • Parallel Old收集器(停止-複制算法)

    Parallel Scavenge收集器的老年代版本,并行收集器,吞吐量優先。

  • CMS(Concurrent Mark Sweep)收集器(标記-清理算法)

    高并發、低停頓,追求最短GC回收停頓時間,cpu占用比較高,響應時間快,停頓時間短,多核cpu 追求高響應時間的選擇。

五、GC是什麼時候觸發的(面試最常見的問題之一)

  由于對象進行了分代處理,是以垃圾回收區域、時間也不一樣。GC有兩種類型:Scavenge GC和Full GC。

5.1 Scavenge GC

  一般情況下,當新對象生成,并且在Eden申請空間失敗時,就會觸發Scavenge GC,對Eden區域進行GC,清除非存活對象,并且把尚且存活的對象移動到Survivor區。然後整理Survivor的兩個區。這種方式的GC是對年輕代的Eden區進行,不會影響到年老代。因為大部分對象都是從Eden區開始的,同時Eden區不會配置設定的很大,是以Eden區的GC會頻繁進行。因而,一般在這裡需要使用速度快、效率高的算法,使Eden去能盡快空閑出來。

5.2 Full GC

  對整個堆進行整理,包括Young、Tenured和Perm。Full GC因為需要對整個堆進行回收,是以比Scavenge GC要慢,是以應該盡可能減少Full GC的次數。在對JVM調優的過程中,很大一部分工作就是對于Full GC的調節。有如下原因可能導緻Full GC:

a) 年老代(Tenured)被寫滿;