GC（三）

最新推荐文章于 2025-03-02 14:02:31 发布

原创最新推荐文章于 2025-03-02 14:02:31 发布 · 103 阅读

0 ·

CC 4.0 BY-SA版权

本文深入解析了垃圾回收中的GC复制算法，介绍了From空间与To空间的概念，阐述了复制算法的工作流程，包括copying()和copy()函数的具体实现，以及算法的优缺点分析。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

原创文章，转载请注明出处

《垃圾回收的算法与实现》笔记

GC 复制算法

只把某个空间里的活动对象复制到其他空间，把原空间里的所有对象都回收掉。

名词解释：

From 空间 ：复制对象的原空间。

To 空间 ：粘贴活动对象的新空间。

当 From 空间被完全占满时, GC 会将活动对象全部复制到 To 空间。当复制对象全部完成后，此算法会把 From 空间和 To 空间互换，GC 也就结束了。 From 空间必须和 To 空间大小完全一致。

GC 复制算法的 copying() 函数

copying() {
	//$free 分块开头的变量，并设置在 To 空间的开头
    $free = $to_start
    //复制能从根引用的对象
    for (r : $roots) {
        *r = copy(*r)
    }
    
    //swap : 交换两个对象
    swap($from_start, $to_start)
}

GC 复制算法的 copy() 函数（copy() 函数将作为参数给出的对象复制，再递归复制其子对象）

copy(obj) {
	//检查 obj 的复制是否已经完成，obj.tag 是一个域，表示 obj 的复制是否完成。obj.tag 是obj.field1 的别名
	if (obj.tag !=COPIED) {
        copy_data($free, obj, obj.size)
        obj.tag = COPIED
        obj.forwarding = $free
        $free += obj.size
	}
	
	for (child : children(obj.forwarding)) {
        *child = copy(*child)
	}
	
	return obj.forwarding
}