垃圾回收算法——标记—清扫回收算法

理想的垃圾回收的目的是回收程序不再使用的对象所占用的空间，任何自动内存管理系统都面临三个任务：

• 为对象分配空间；

• 确定存活对象；

• 回收死亡对象所占用的空间；

这些任务并非相互独立，特别是回收空间的方法影响着分配新空间的方法。真正的存活性问题是一个不可确定的问题，因此我们使用指针可达性爱近似对象的存活性：只有当堆中存在一条从根出发的指针链最终到达某个对象时，才能认定该对象存货，更进一步，如果不存在这样一条指针链，则认为对象死亡，其空间可以回收。尽管存活对象集合中可能包含一些永远不会再被赋值器访问的对象，但是死亡对象集合中的对象却必定是死亡的。

标记——清扫回收算法是在指针可达性递归定义指导下最直接的回收方案。它的回收过程分为两个阶段：

1）第一阶段为追踪阶段，即回收器对象从根集合（寄存器、线程栈、全局变量）开始遍历对象图，并标记所遇到的每个对象；

2）第二阶段为清扫阶段，即回收器检查堆中的每一个对象，并将所有未标记的对象当作垃圾进行回收。

标记——清扫算法是一种间接回收算法，它并非直接检测垃圾本身，而是先确定所有存活对象，然后反过来判定其他对象都是垃圾。需要注意的是，该算法的每次调用都需要重新计算存活对象集合，但并非所有的垃圾回收算法都需要如此。引用计数垃圾回收算法是直接回收策略，其可以通过对象本身来判断其存活性，因此不需要额外的追踪过程。

1.标记——清扫算法

从垃圾回收器角度来看，赋值器线程所执行的只有三种操作：创建、读、写。每一个回收算法必须堆这三种操作进行合理的重定义。标记——清扫算法与赋值器之间的接口十分简单：如果线程无法分配对象，则唤起回收器，然后再次尝试分配。

回收器和赋值器之间的调用关系：如果线程无法再分配对象了，则唤起回收器，回收完后再次尝试分配，若分配失败，则抛出OOM异常。
回收器如何标记垃圾：回收器可以通过在对象头部某个位或者字节的方式对其进行标记，也可以标记在另外的一张表中。
标记阶段：工作列表为空的时候表示标记完成，此时表示回收器已经对每个可达对象完成的访问和标记，没有打上标记的则表明是垃圾。
清扫阶段：回收器会在堆中进行线性扫描，即从堆底开始释放未标记的对象，然后将这些对象返还给分配器，用于后面的内存分配需求。同时还会清空存活对象的标记用于下次回收时使用。

标记——清扫算法：分配阶段

New():

	ref <- allocate()

	if ref = null  /*堆中无可用空间*/

	collect()

	ref <- allocate()

	if ref = null  /*堆中仍无可用空间*/

		error "Out of memory&#