我們知道，虛擬機(jī)判斷一個(gè)對(duì)象是否“已死”，是判斷對(duì)象是否還有引用指向它。而虛擬機(jī)又是如何判斷是否有引用指向?qū)ο竽兀?/p>

目前，判斷對(duì)象是否存活的算法有兩種：

• 引用計(jì)數(shù)算法
• 可達(dá)性分析算法

一、引用計(jì)數(shù)算法

每個(gè)對(duì)象都有一個(gè)計(jì)數(shù)器，當(dāng)這個(gè)對(duì)象被一個(gè)變量引用或者被另一個(gè)對(duì)象引用時(shí)，計(jì)數(shù)器值就加一，當(dāng)引用失效時(shí)，計(jì)數(shù)器值就減1，當(dāng)計(jì)數(shù)器為0時(shí)，則對(duì)象不可能再被使用，需要被回收。

二、可達(dá)性分析算法

通過一系列稱為“GC Roots”的對(duì)象作為起始點(diǎn)，向下搜索
走過的路徑稱為“引用鏈”，當(dāng)一個(gè)對(duì)象到GC Roots
沒有任何引用鏈，即從GC roots 到這個(gè)對(duì)象不可達(dá)，
則證明對(duì)象不可用。

可達(dá)性分析.png

2.1 可以作為GC Roots的有哪些對(duì)象

1. 虛擬機(jī)棧局部變量表中引用的對(duì)象
2. 方法區(qū)中靜態(tài)變量引用的對(duì)象
3. 方法區(qū)中常量引用的對(duì)象
4. 本地方法棧中Native方法引用的對(duì)象

三、兩種方式對(duì)比

• 引用計(jì)數(shù)法雖然實(shí)現(xiàn)簡(jiǎn)單，效率高，但是容易出現(xiàn)循環(huán)引用。
• 可達(dá)性分析算法不存在循環(huán)引用問題，因此是主流的判別方法。

循環(huán)引用例子：

public class ReferenceCounting {
  public Object data = null;

  public static void test()  {
            ReferenceCounting objA = new ReferenceCounting();
            ReferenceCounting objB = new ReferenceCounting();
            
            objA.data = objB;
            objB.data = objA;
            
            objA = null;
            objB = null;
  }
}

例子中objA和objB起初所指向的兩個(gè)對(duì)象已經(jīng)沒有引用指向它們，但是因?yàn)槌蓡T變量都引用著對(duì)方，所以引用計(jì)數(shù)不為0，垃圾回收器無法回收。

點(diǎn)贊是對(duì)我最大的鼓勵(lì)