定义
该算法分为标记和整理两个阶段，标记阶段会遍历并标记活动对象，整理阶段通过数次搜索堆来重新装填活动对象，它们聚集到了堆的一端。
lisp2算法
forwarding指针表示活动对象的目标地址
过程概要
初始状态
标记结束后
整理结束后
整理阶段伪代码
compaction_phase() {
// 设定forwarding指针
set_forwarding_ptr();
// 更新指正
adjust_ptr();
// 移动对象
move_obj();
}
// 第一次遍历堆
// $head_start 堆起始地址
// $head_end 堆结束地址
set_forwarding_ptr() {
// 定义搜索堆的指针和指向目标地址的指针
scan = new_address = $head_start;
// 遍历堆，进行设置
while (scan < $head_end) {
// 若是活动对象，则设置forwarding指针
if (scan.mark == TRUE) {
scan.forwarding = new_address;
new_address += scan.size;
}
scan += scan.size;
}
}
// 第二次遍历堆
adjust_ptr() {
// 更新根对象forwarding指针
for (r : $roots) {
*r = (*r).forwarding;
}
scan = $head_start;
while (scan < $head_end) {
// 更新子对象forwarding指针
if(scan.mark == TRUE) {
for(child : children(scan)) {
*child = (*child).forwarding;
}
}
scan += scan.size;
}
}
// 第三次遍历堆
move_obj() {
scan = $free = $heap_start;
while(scan < $heap_end) {
if(scan.mark == TRUE) {
// 将找到的对象移动到 forwarding 指针的引用目标处
new_address = scan.forwarding;
copy_data(new_address, scan, scan.size);
new_address.forwarding = NULL;
new_address.mark = FALSE;
$free += new_address.size;
}
scan += scan.size;
}
)
)
