基本概念

• 在物件中引入計數器(無符號整數)，用於記錄有多少物件引用了該物件。
• 通過增減計數器實現對記憶體的管理。
• 分配物件時將計數器置1。
• 更新引用時先對新指定的物件進行計數器加，而後才對舊物件進行減。
• 在對計數器做減法時，判斷其計數器是否等於0，等於0 表示為垃圾，即可進行回收。
• 在更新引用時就進行了垃圾的標記與回收，因此STW會很短而且當物件變垃圾時能立馬被回收。

優缺點

優點

1. 即刻回收垃圾，在更改引用時就知道該物件是否為垃圾若是垃圾立馬進行回收(但是該操作會佔用使用者執行緒的時間片)
2. STW短，回收垃圾不需要遍歷堆了。
3. 不需要根據GC root遍歷。

缺點

1. 計數器值增減頻繁。
2. 計數器需要佔用很多位。
3. 實現繁瑣，更新引用時很容易導致記憶體洩露。
4. 迴圈引用無法回收(最重要的缺點)

改進

延遲引用計數法

針對計數器增減頻繁

• 從根引用的指標變化不修改計數器，為了使還存在引用的物件被回收，引入ZCT(Zero Count Table)記錄計數器為0的物件(當為0時不直接刪除而是加入到該表中)。
• 分配塊時，先正常分配(應該也是通過空閒連結串列)，如果分配失敗則從ZCT中找可以真正的垃圾物件進行回收與分配。
• 掃描ZTC表需要遍歷GC root，對所有GC root引用的計數器加1，而後遍歷ZTC，此時計數器為0的即為垃圾，最後對GC root引用物件減一(還原)。

Sticky引用計數法

針對計數器佔用很多位

由於大多數物件的引用並不會很多，可以減少計數器的位寬，當計數器溢位時有兩種處理方式：

1. 不管，對於溢位的物件不再增減計數器。此時無法判斷是否為垃圾因此不再關此物件，溢位的可能性很低所以是一個可以考慮的解決辦法。
2. 使用GC標記-清除演算法，先把所有物件(==我覺得處理已溢位的就可以？==)的計數器置0，而後遍歷GC root，可引用的將計數器置1，清除階段則清理那些計數器為0的。

1位引用計數法

Sticky的極端例子

• 計數器只有1位，0表示只有一個引用(UNIQUE)1表示多引用(MULTIPLE)。
• 更新引用時通過複製某個指標來更新。

==覺得有問題，怎麼找到可以被複制的指標呢？指標是單鏈表，無法通過物件找到其指標吧==

部分標記-清除演算法

針對迴圈引用

• 為了解決迴圈引用不能被回收有采用在某些時候加入GC標記-清除演算法，然而迴圈引用往往很少，效率很低。
• 該方法是隻對可能存在迴圈引用的物件群進行Sweep。
• 物件被標記為四種顏色，黑：不是垃圾，白：垃圾，灰：搜尋過的物件，陰影：可能是迴圈引用物件。上色採用兩位標記
• 當刪除引用關係時，先自減，而後如果計數器為0則回收該物件，否則將該物件置為陰影並加入到hatch_queue
• 當空閒連結串列無法分配時將去hatch_queue中掃描是否存在迴圈垃圾可進行回收。
• 遍歷取hatch_queue中物件分別做paint_gray、scan_gray和collect_white
• paint_gray將物件置灰，而後將所有子物件計數器減1，並呼叫迭代paint_gray.
• scan_gray將灰色中計數器為0的物件置白，大於0的塗成黑色。
• collect_white回收白色物件