Garbage Collection | Mark-Sweep算法

Mark-Sweep算法

---

这是第一种用于自动内存管理的算法，标记-清扫（mark-sweep）算法【McCartby ，1960】.在这一方案下，内存单元并不会在变成垃圾的同时立刻回收，而是保持不可到达和未被发现的状态，直到所有可用的内存都耗尽。如果此时再次出现对新单元的请求，系统会暂时挂起“有用”的程序，并调用垃圾收集例程，将堆中所有当前并未使用的单元清扫回自由单元池中。标记-清扫算法依靠对所有存活单元进行一次全局遍历来确定哪些单元可以回收。这个遍历从根出发，标明所有可以到达的单元。根据定义，这些就是存活单元。除此之外，所有其他节点都是垃圾，可以送回自由单元池。如果垃圾收集器成功地回收了足够的内存，用户程序的请求就能得到满足，并且可以继续进行工作。

---

1.0 简单的Mark-Sweep算法

现在，让我们更仔细地考察这个算法。New过程从池中请求一个新单元并返回一个指向它的指针。我们并不指明allocate究竟做些什么操作，但抽象地使用free_pool来描述自由单元的集合。一种可能的实现是把自由单元链接成一个自由链表，就像在上一篇博文中述说的引用计数算法中所做的一样，但是除此之外，我们还有其他效率更高的选择。这点会在以后的博文中有所讨论。

//Mark-Sweep算法的分配
New() =
    if free_pool is emp