GC(垃圾回收算法)复制算法
典型的GC复制算法由科学家Robert R.Fenichel与Jerome C. Yochelson研究出来。
算法思想比较简单,我们将空间划分为FROM空间和TO空间,而每次分配给对像都在FROM空间,如下图所示:
而当FROM空间被完全占满时,GC会将活动对象复制到TO空间,一般来说FROM空间和TO空间的大小是一样的。然后再清除FROM空间所有的对象,这里就包括了FROM空间中活动的对象和不活动的对象,完毕后将TO空间和FROM空间对换。到这里算法也就完成了。
算法的关键也就在将活动对象从From空间复制到To空间的过程。我们来看看具体的过程:
在To空间存在Free指针指向TO空间的下一个可分配的区域。复制过程中每次从根指向的对象开始进行再对该对象递归遍历(实际上也是有向图的遍历),每找到一个对象就直接将它复制到TO空间,同时Free指针再指向下一个空闲空间,在这个过程中根指向的地址空间也转换到TO空间。或许用图比较好理解,第一轮完成后如下图: