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

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

2020-10-21-22-58-08

垃圾回收系列连载:


  1. 第 1 章 学习GC以前
  2. 第 2 章 GC标记-清除算法
  3. 第 3 章 引用计数法
  4. 第 4 章 GC复制算法
  5. 第 5 章 GC标记-压缩算法
  6. 第 6 章 保守式GC
  7. 第 7 章 分代垃圾回收
  8. 第 8 章 增量式垃圾回收
  9. 第 9 章 RC Immix 算法
  10. 第 10 章 Python 的垃圾回收
  11. 第 11 章 DalvikVM 的垃圾回收
  12. 第 12 章 Rubinius 的垃圾回收

电子书下载连接ios


第 2 章 GC标记-清除算法

一图总结文章内容git

graph LR mark("mark(从根深搜广搜活动对象)")-->Sweep("Sweep(扫描堆)")-->单链表再分配("单链表再分配(最早匹配、最优匹配、最糟糕匹配)")-->优缺点 Sweep("Sweep(扫描堆)")-->多链表再分配("多链表再分配(根据大小分链表)")-->优缺点 位图标记("位图标记") 延迟清除("延迟清除法")

什么是GC标记-清除法

标记清除法是一种找到垃圾的方法,就是分红两个步骤,标记和清除,标记是从根部除法作搜索,通过的则标记,清除是从堆遍历 找到没有使用则清除。
20201022210008github

标记阶段

标记使用什么搜索方式呢?广度搜索、深度搜索,这个过程是要中断对象操做的,不中断的话,新生成的对象 就可能不可达。算法

清除阶段

在清除阶段,咱们使用变量 sweeping 遍历堆,具体来讲就是从堆首地址 $heap_start 开始,按顺序一个个遍历对象的标志位。学习

分配阶段

这里的分配是指将回收的垃圾进行再利用。遍历 $free_list,寻找合适的 size 的分块就是分配阶段。
First -fit、Best -fit、Worst -fit 的不一样:
20201027234718视频

碎片合并

前文中已经提过,根据分配策略的不一样可能会产生大量的小分块。但若是它们是连续的, 咱们就能把全部的小分块连在一块儿造成一个大分块。这种“链接连续分块”的操做就叫做合 并(coalescing),合并是在清除阶段进行的。对象

优势

  1. 实现简单
  2. 与保守式 GC 算法兼容

缺点

  1. 碎片化
  2. 分配速度
  3. 与写时复制技术不兼容 进程 fork 节省内存的方法

多个链表的空闲表

利用分块大小不一样的空闲链表,即建立只链接大分块的空 闲链表和只链接小分块的空闲链表。进程

BiBOP

将大小相近的对象整理成固定大小的块进行管理的作法内存

延迟清除

我的对这里有新理解: 全部的对象,一旦对象不在根部有引用,那么这个对象就不可能再被引用,标记后,没有被标记的对象必定是非活动对象了,可是新产生的对象再后续的发展中 可能成为非活动对象也可能成为非活动对象,那么这些新对象都标记不能被清除,所以没有标记的对象是能够延迟清除的,不会再次被标记。可是要注意新对象都要标记。ci

请期待 “第 3 章 引用计数法”

我的简介:高级开发工程师,兴趣和领域(Unity、Unreal、cocos creator、安卓终端开发、ios终端开发、音视频开发、图形学),欢迎加W:wlxklyh 探讨问题。(欢迎star:https://github.com/wlxklyh/SoftRenderer)

相关文章
相关标签/搜索