根可达算法的根_GC垃圾回收算法

GC定义

「GC」是Garbage Collection的缩写，即回收垃圾，那么「垃圾」指的是什么呢？

当然这里指的不是现实世界的垃圾，在程序世界中垃圾定义为

❝

程序不用的内存空间视为垃圾

❞

「GC」需要做的是

❝找到内存里面的垃圾回收垃圾，让内存空间再利用❞

指针

在GC 算法中，指针是不可或缺的。我们用星号(*)访问指针所引用的内存空间。例如：我们把指针「ptr」 指向的对象表示为 *「ptr」。

对象，头，域

对象和指针

对象和指针

mutator

mutator 是Edsger Dijkstra琢磨出来的词，有“改变某物”的意思。说到要改变什么，那就是GC 对象间的引用关系。

mutator 实际进行的操作有以下2 种。

• 生成对象
• 更新指针

堆

堆

活动对象与非活动对象

活动对象与非活动对象

最大暂停时间

因执行「GC」 而暂停执行mutator 的最长时间。如下图，最大暂停时间是A～C 的最大值，也就是B。

GC执行图

如上图：假设GC对象的对大小为HEAP_SIZE。在大小为HEAP_SIZE的堆进行内存管理，要花费的时长为(＋＋)。因此，这种情况下GC 的吞吐量为HEAP_SIZE /(A ＋ B ＋ C)。

GC性能评价标准

• 吞吐量
• 最大暂停时间(需要缩短最大暂停时间)
• 堆使用效率(可用的堆越大，GC 运行越快)
• 访问的局部性

什么是访问的局部性

另一方面，具有「引用关系的对象之间通常很可能存在连续访问」的情况。这在多数程序中都很常见，称为“访问的局部性”。考虑到访问的局部性，把具有引用关系的对象安排在堆中较近的位置，就能提高在缓存中读取到想利用的数据的概率，令mutator高速运行。

垃圾回收算法

GC标记-清除算法

GC 标记- 清除算法由标记阶段和清除阶段构成。标记阶段是把所有活动对象都做上标记的阶段。清除阶段是把那些没有标记的对象，也就是非活动对象回收的阶段。通过这两个阶段，就可以令不能利用的内存空间重新得到利用。

标记阶段

执行GC前堆的状态

标记阶段结束后堆的状态

❝

搜索对象进行标记是采用的算法：深度优先搜索，，深度优先搜索比广度优先搜索更能压低内存使用量。因此我们在标记阶段经常用到深度优先搜索。

❞

深度优先搜索

深度优先搜索是纵向搜索，如上图的搜索顺序。

清除阶段

清除阶段结束后堆的状态

分配

将回收的垃圾进行再利用，需要分配。在清除阶段，我们把垃圾对象连接到空闲的链表，搜索空闲链表并寻找 大小合适的分块，这项操作就叫作分配。

合并

根据分配策略的不同可能会产生大量的小分块。但如果它们是连续的，我们就能把所有的小分块连在一起形成一个大分块。这种“连接连续分块”的操作就叫作合并(coalescing)，合并是在清除阶段进行的。

位图标记

只收集各个对象的标志位并表格化，不跟对象一起管理。在标记的时候，不在对象的头里置位，而是在这个表格中的特定场所置位。像这样集合了用于标记的位的表格称为“位图表格”(bitmap table)，利用这个表格进行标记的行为称为“位图标记”。位图表格的实现方法有多种，例如散列表和树形结构和整数型数组等。

位图标记

延迟清除法

清除操作所花费的时间是与堆大小成正比的，如果处理的堆越大，清除算法所花费的时间就越长。

延迟清除法，在标记操作结束后，不一定会进行清除操作，会缩减mutator的暂停时间。

标记清除算法的优缺点

❝

优点：标记清除算法实现简单，与其他的的算法组合也就相对简单；

缺点：标记清楚算法不会移动对象，但容易产生碎片化的空间，造成内存浪费。

❞

如图：

上图的「根」指的是「GC root」，通过「根可达算法」确认是不是垃圾。这里简单介绍下根可达算法的定义：

从GC Root作为起点开始搜索，那么整个连通图中对象都是活的，对于GC Root无法达到的对象便是垃圾对象，随时可被GC回收。

如果我需要3空间的内存，而2空间的内存就存不下。就会被空闲，造成内存浪费。

引用计数法

引用计数法中引入了一个计数器。计数器表示的是对象的引用次数。如果对象引用次数为0，那么这个对象可以被清除。

优缺点

「优点」：可即刻回收垃圾，空间不会被垃圾长久占用。

「缺点」：计数器值的增减处理繁重，计数器也需要占用内存。无法回收循环引用。

GC复制算法

简单来说，GC复制算法就是把空间里的活动对象复制到其他空间。把原空间里的所有对象都回收掉。如图所示：

当From空间被占满时，GC将活动的对象全部复制到To空间。当复制完成后，该算法会将From空间和To空间互换，GC结束。。From 空间和To 空间大小必须一致。这是为了保证能把From 空间中的所有活动对象都收纳到To 空间里。

优缺点

优秀的吞吐量，可实现高速分配，不会发生碎片化。

但是复制算法需要把堆进行二等分，只有一半的堆能被使用。造成堆的浪费。还有复制算法在复制某个对象时要递归复制它的对象，这里会带来额外的负担，有栈溢出的可能。

GC标记压缩算法

此算法分为标记阶段和压缩阶段，标记阶段同上面几种算法的标记功能一样，我们来说说压缩阶段，分为3步骤：

❝设定forwarding 指针更新指针移动对象❞

标记压缩实际上就是将活动的对象xi整理到一边，尽量的减少碎片化，来看看实际的效果：

image-20200730141439426

优缺点

可有效利用堆，但是压缩会有计算成本。

GC主要的回收算法就介绍这么多了，其实际的算法很复杂。有兴趣的可以自行研究。

「参考：」

《垃圾回收的算法与实现》 作者: 中村成洋 / 相川光