基本算法
- 标记-清除算法由 ==标记阶段== 和 ==清除阶段== 构成。
- 标记即将全部活动的对象打上标记。
- 清除即将那些没有标记的对象进行回收。
标记与清除
- 遍历GC root引用，递归标记(设置对象头中的标志位)对象。
- 标记时若是标志位表示已经标记过则能够跳过。
- 遍历对象有深度优先与广度优先两种算法，其搜索的步骤数一致，而深度优先的内存使用量更小，所以通常使用深度优先。
- 清除阶段将再次遍历堆，未标记的对象加入到空闲链表中，标记的对象则去除标记。
分配与合并
- 分配指mutator(Application)申请分块时获取内存块的过程。
- 分配即经过搜索空闲链表，找到一个大小合适的块。分配测量有以下：
- First-fit，找到第一个大于要求大小的块即返回。
- Best-fit，找到比要求大小大的最小块。
- Worst-fit，找出最大的块将其分割成要求大小块和剩余的，通常不使用(容易产生碎片)
- 对于内存中连续的垃圾能够对其进行合并，减小碎片。
优缺点
优势
- 算法实现简单。
- 与保守式GC算法兼容(对象不能被移动)。
缺点
- 碎片化。
- 分配速度慢，每次分配须要遍历空闲链表。
- 与写时复制(copy-on-write)冲突，由于作GC时须要将对象头进行标记，这将致使大量的数据发生复制。
- STW(Stop-The-World)长，两个阶段均要遍历整个堆。
改进
多个空闲链表
针对分配速度慢html
- 根据块的大小创建不一样的空闲链表，相同大小的块连接到相同链表中。
- 因为对于大块的申请比较少，所以主要针对小块创建链表，对于大块的能够都在同一个链表中，如大于2-100的分别创建各自大小的链表而大于100的都写入一个大块链表。
BiBOP
针对碎片化算法
- 原理：将大小相近的对象整理成固定大小的块进行管理。
- 把堆分割成固定大小的块，让每一个块只能配置一样大小的对象。
- 可是并不能很好的消除碎片化，若是对堆的分隔没控制好反而可能致使堆的利用率。
位图标记
针对写时复制markdown
- 因为GC过程须要修改对象中属性致使写时复制不兼容，所以指收集各个对象的标志位并表格化。
- 将堆中的对象与位图对应上，然后经过位图的标志表明堆中对象的标志。
- 优势：
- 兼容写时复制
- 清除阶段能够快速的去除标记。
延迟清除法
针对STW过长post
- 延迟清除法(Lazy-Sweep)是缩减清除操做而致使的mutator STW的方法。
- 标记结束后不作清除操做而是在分配操做中进行。
- 在分配时，从上次遍历结束的地方开始使用First-fit查找块，若是找不到返回NULL，此时进行标记阶段然后再次进行First-fit查找。还找不到则分配失败。