《垃圾回收的算法与实现》——GC标记-清除算法

基本算法

• 标记-清除算法由 ==标记阶段== 和 ==清除阶段== 构成。
• 标记即将全部活动的对象打上标记。
• 清除即将那些没有标记的对象进行回收。

标记与清除

• 遍历GC root引用，递归标记(设置对象头中的标志位)对象。
• 标记时若是标志位表示已经标记过则能够跳过。
• 遍历对象有深度优先与广度优先两种算法，其搜索的步骤数一致，而深度优先的内存使用量更小，所以通常使用深度优先。
• 清除阶段将再次遍历堆，未标记的对象加入到空闲链表中，标记的对象则去除标记。

分配与合并

• 分配指mutator(Application)申请分块时获取内存块的过程。
• 分配即经过搜索空闲链表，找到一个大小合适的块。分配测量有以下：
  • First-fit，找到第一个大于要求大小的块即返回。
  • Best-fit，找到比要求大小大的最小块。
  • Worst-fit，找出最大的块将其分割成要求大小块和剩余的，通常不使用(容易产生碎片)
• 对于内存中连续的垃圾能够对其进行合并，减小碎片。

---

优缺点

优势

1. 算法实现简单。
2. 与保守式GC算法兼容(对象不能被移动)。

缺点

1. 碎片化。
2. 分配速度慢，每次分配须要遍历空闲链表。
3. 与写时复制(copy-on-write)冲突，由于作GC时须要将对象头进行标记，这将致使大量的数据发生复制。
4. STW(Stop-The-World)长，两个阶段均要遍历整个堆。

---

改进

多个空闲链表

针对分配速度慢

• 根据块的大小创建不一样的空闲链表，相同大小的块连接到相同链表中。
• 因为对于大块的申请比较少，所以主要针对小块创建链表，对于大块的能够都在同一个链表中，如大于2-100的分别创建各自大小的链表而大于100的都写入一个大块链表。

BiBOP

针对碎片化

• 原理：将大小相近的对象整理成固定大小的块进行管理。
• 把堆分割成固定大小的块，让每一个块只能配置一样大小的对象。
• 可是并不能很好的消除碎片化，若是对堆的分隔没控制好反而可能致使堆的利用率。

位图标记

针对写时复制

• 因为GC过程须要修改对象中属性致使写时复制不兼容，所以指收集各个对象的标志位并表格化。
• 将堆中的对象与位图对应上，然后经过位图的标志表明堆中对象的标志。
• 优势：
  • 兼容写时复制
  • 清除阶段能够快速的去除标记。

延迟清除法

针对STW过长

• 延迟清除法(Lazy-Sweep)是缩减清除操做而致使的mutator STW的方法。
• 标记结束后不作清除操做而是在分配操做中进行。
• 在分配时，从上次遍历结束的地方开始使用First-fit查找块，若是找不到返回NULL，此时进行标记阶段然后再次进行First-fit查找。还找不到则分配失败。