如何为自定义标记扫描收集器安排收集周期？

Question

我已经为 Postscript 虚拟机编写了一个简单的垃圾收集器，但我很难为何时进行收集（空闲列表太短时？）以及何时分配新的空间（当有很多空间可以使用时？）。

到目前为止，我都是自底向上写的，但是这个问题涉及到顶层设计。所以我觉得我在摇摇欲坠的基础上。 所有对象都被管理并且只能通过操作符函数访问，所以这是一个收集器in C，而不是for 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#

Answer 1

这里是合并到原始代码中的周期性收集策略：

enum { PERIOD = 10 };

unsigned gballoc(mfile *mem, unsigned sz) {
    unsigned z = adrent(mem, FREE);
    unsigned e;
    static period = PERIOD;
    memcpy(&e, mem->base+z, sizeof(e));
try_again:
    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));
    }
    if (--period == 0) {
        period = PERIOD;
        collect(mem, 0);
        goto try_again;
    }
    return mtalloc(mem, 0, sz);
}

Answer 2

有几种适用的哲学：

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

作为垃圾收集的开发人员，最好将策略选择权交给应用程序，因为它可能知道哪种策略最有效。当然，如果它没有偏好，你应该选择一个默认的。