概述

复制算法就是将内存空间二等分, 每次只使用其中一块. 当执行GC时, 讲A部分的所有活动对象集体移到B中, 就可以讲A全部释放.

画个图就是:

在执行GC前, 内存长这样:

当执行GC后, 内存就变成这样了:

还记得标记清除算法的问题是什么吗? 内存碎片化严重. 现在好了, 碎片化问题解决了, 每次GC执行后, 内存空间都是连续的啦.

实现

想一想GC执行的步骤是什么? 很简单啊, 遍历所有可访问的对象, 将所有对象的复制到另一块内存中. 完毕.

遍历所有根集合的对象, 跳过. 将每个对象都调用一次copy函数, 那么, 这个copy函数如何实现呢?

function copy(obj){
    // 若对象已经被复制过了, 则将其直接返回
    if(obj.isCopy == true){
        // 在原来对象中保存一下新的地址, 方便返回
        return obj.newAddr; 
    }
    // 这里假设有一个全局变量 ADDR 指向空闲内存的首地址
    // 这里直接将 obj的size大小复制到ADDR的地方
    copy_data(ADDR, obj, obj.size);
    // 记录复制
    obj.isCopy = true;
    obj.newAddr = ADDR;
    // 更新空闲地址
    ADDR += size;
    // 将所有子对象复制
    for(child in children){
        child = copy(child);
    }
    return obj.newAddr;
}

将所有根集合中的对象依次调用copy函数, 完成复制.

复制算法分配新的对象变简单了, 有没有? 因为地址都是连续的, 所以申请新的地址也不用遍历链表等一堆操作, 直接按着地址划分空间就行了.