- php的垃圾回收算法主要是参考这个论文
Concurrent Cycle Collection in Reference Counted Systems
前言
- 首先回顾一下引用计数法：引用计数（reference counting）
在引用计数算法中，对象的存活性可以通过引用关系的创建或删除直接判定，而无需像追踪式回收器那样先通过堆遍历找出所有的存活对象，然后再反向确定出未遍历到的垃圾对象。
//todo - 对于基于最基本的引用计数法的垃圾回收算法优点是非常快，但是缺点是循环引用的时候没法回收会造成内存泄露。而php垃圾回收算法是基于上述论文的引用计数+局部延时标记的垃圾回收算法。
第一部分
先看伪代码
// S 代表php中的对象
//purple 紫色表示对象在PossibleRoot 集合，但是在该集合中的不一定是紫色
// buffered（S） S是否在 PossibleRoot 集合
// black 黑色表示对象正在被使用或者已经被回收了（不需要管了）
//gray 棕色表示对象可能被回收
//white 白色表示对象要被回收
//RC ReferenceCount 引用计数
//color（S） S 的颜色
//当new 一个对象的时候，这时候不需要垃圾回收，这是最简单的情况
Increase(S){
RC(S) = RC(S) + 1； //引用计数 +1
color(S) = black; // 颜色染成黑色
}
//当删除一个指向S 的引用的时候
Decrease(S){
RC(S) = RC(S) - 1; //引用计数减1
if (RC(S) == 0) // 当引用计数变为0 时候
Release(S); // 调用释放函数Release（）
else
PossibleRoot（S） ; //放入可能回收的PossibleRoot区域并染色成紫色purple
}
Release(S){
for T in children(S) // 递归调用减少子节点的引用
Decrement(T)；
color(S)= black // 之后将该S节点染成黑色 （将被回收或者不需要回收 ， 这里是前者）
if (! buffered(S)) // 判断S 是否在PossibleRoot集合，在这个集合的在稍后的统一处理，
Free(S)； //不在该集合且引用计数为0可以直接回收
}
PossibleRoot(S){
if (color(S)!= purple)
color(S)= purple
if (! buffered(S)){
buffered(S)= true
append S to Roots
}
}
第二部分
//主要是这个CollectCycles函数调用
//MarkRoot ScanRoots CollectRoots 来回收
CollectCycles(){
MarkRoot();
ScanToots();
ColletRoots();
}
//todo
