如何安排自定义标记清除收集器的收集周期？

我为 Postscript 虚拟机编写了一个简单的垃圾收集器，并且我很难设计一套合适的规则来确定何时进行收集（当空闲列表太短时？）以及何时分配新空间（当有很多空间可以使用吗？）。

到目前为止我都是自底向上写的，但是这个问题涉及到顶层设计。所以我觉得我的立场不稳固。 所有对象都受到管理，并且只能通过运算符函数进行访问，因此这是 C 中的收集器，而不是 C 中的收集器。

主分配器函数被称为gballoc:

unsigned gballoc(mfile *mem, unsigned sz) {
    unsigned z = adrent(mem, FREE);
    unsigned e;
    memcpy(&e, mem->base+z, sizeof(e));
    while (e) {
        if (szent(mem,e) >= sz) {
            memcpy(mem->base+z, mem->base+adrent(mem,e), sizeof(unsigned));
            return e;
        }
        z = adrent(mem,e);
        memcpy(&e, mem->base+z, sizeof(e));
    }
    return mtalloc(mem, 0, sz);
}

我确信在不知道所有类型和函数含义的情况下这是胡言乱语，所以这里是同一函数的伪代码：

gballoc
    load free list head into ptr
    while ptr is not NULL
        if free element size is large enough
            return element, removed from list
        next ptr
    fallback to allocating new space

因此，这是一个简单的“首次适应”算法，无需雕刻（但分配保留其大小；因此，为小对象重用的大空间可以在稍后再次为大对象重用）。

但我什么时候应该打电话collect()?

编辑： 其余代码和相关模块已发布在 comp.lang.postscript 的线程中：http://groups.google.com/group/comp.lang.postscript/browse_thread/thread/56c1734709ee33f1#

有几个适用的哲学：

• 进行垃圾收集是避免在分配期间扩大堆的最后一搏。这可能是最常见的策略。
• 定期进行垃圾收集，例如每一百次分配或释放。在某些情况下，这可能会避免碎片失控，从而减少垃圾收集的总体工作量。
• 不要进行任何垃圾收集。始终是一种可能的策略，特别是对于短期或简单的程序。

作为垃圾收集的开发人员，可能需要让应用程序选择策略，因为它可能知道哪种策略最有效。当然，如果没有偏好，则应该选择默认值。