垃圾回收三色标记算法总结

本文深入探讨了垃圾回收机制,特别是可达性分析和三色标记算法在CMS(并发标记清除)中的应用。从GCRoot出发,经过初始标记、并发标记、重标记和并发清除四个阶段,解决多标和漏标问题。读写屏障用于防止漏标,通过IncrementalUpdate和SATB确保引用的准确性。
摘要由CSDN通过智能技术生成

判断哪些对象需要被垃圾回收?引用计数会导致循环引用,所以一般都是可达性分析。

可达性分析是从GC Root出发,进行三色标记算法。CMS就是使用标记清除算法,整个过程就是一个三色标记流程。

初始标记 STW,标记GC ROOT为黑色, GC ROOT关联的为灰色

并发标记             扫描整个引用链,没有子节点为黑,有子节点为灰色

重标记   STW      修复变动的

并发清除              开始正式清除,清除白色的

三色标记的遗留问题:多标 or 漏标

多标下次垃圾回收就解决了,漏标。只能设置读写屏障了。

漏标的发生条件:

   1.黑色重新引用白色对象。

   2.灰色断开白色引用

1.读屏障是,将该白色对象记录下来。直接变为灰色,重标记的时候继续标记。

2.写屏障,其中两种方法就是

Incremental Update  将新增引用保存下来,下次继续遍历。破坏第一个漏标条件

SATB  把旧的引用记录下来,相对于快照。下次继续遍历。破坏第二个漏标条件

### 三色标记算法的工作原理 在垃圾回收领域,三色标记法作为一种高效的并发垃圾收集技术被广泛应用。此方法通过引入三种不同状态来区分对象的生命期:白色表示尚未访问过的对象;灰色代表正在处理中的对象;黑色则指代已经完成扫描的对象[^2]。 对于基于三色标记的清除过程而言,在初始状态下所有对象均设为白色。当启动一次完整的垃圾回收周期时: - 首先进入**记阶段**,此时根节点集合里的活跃对象会被染成灰色并加入到待处理队列中。随后程序不断从未处理列表取出一个灰度元素将其变为黑体,并检查其引用的所有子项。如果某个子项当前仍保持默认颜色即白色,则同样变更为灰色并入栈等待进一步探索直到整个图结构内不再含有任何灰色结点为止[^3]。 - 接着转入**清除阶段**,期间仅需简单地释放掉那些依旧维持原初色泽(也就是未曾触及过)的目实体所占用的空间资源即可实现内存的有效管理[^1]。 值得注意的是,在实际应用过程中由于应用程序线程可能持续创建新实例或修改已有链接关系从而引发所谓的“浮动垃圾”,以及造成重复注或是遗某些应当删除的数据单元等问题。因此为了确保准确性通常还需要额外采取措施解决这些潜在风险[^4]。 ```java // Java伪代码示例展示了如何利用三色标记进行垃圾回收 public class GarbageCollector { public void markAndSweep() { // 初始化所有对象的颜色为白色 initializeObjectsToWhite(); // 将根集中的对象设置为灰色并放入工作列表 for (Object root : roots) { gray(root); workList.add(root); } while (!workList.isEmpty()) { Object obj = workList.poll(); // 取出下一个要处理的对象 blacken(obj); // 把这个对象变成黑色 for (Reference ref : getReferencesFrom(obj)) { // 获取该对象指向的所有其他对象 if (isWhite(ref.target)) { // 如果目还是白色的就把它改成灰色并加进去 gray(ref.target); workList.add(ref.target); } } } // 清除所有的白色对象 collectGarbage(); } } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值