Question

K＆amp; R第8.7节中的函数malloc（）的代码在

之下

void *malloc(unsigned nbytes) {
    Header *p, *prevp;
    Header *moreroce(unsigned);
    unsigned nunits;

    nunits = (nbytes+sizeof(Header)-1)/sizeof(header) + 1;
    if ((prevp = freep) == NULL) { /* no free list yet */
        base.s.ptr = freeptr = prevptr = &base;
        base.s.size = 0;
    }
    for (p = prevp->s.ptr; ; prevp = p, p = p->s.ptr) {
        if (p->s.size >= nunits) {    /* big enough */
            if (p->s.size == nunits) {    /* exactly */
                prevp->s.ptr = p->s.ptr;
            } else {    /* allocate tail end */
                p->s.size -= nunits;
                p += p->s.size;
                p->s.size = nunits;
            }
            freep = prevp;
            return (void *)(p+1);
        }
        if (p == freep)    /* wrapped around free list */
            if ((p = morecore(nunits)) == NULL)
                return NULL;    /* none left */
    }
}

我主要对＆＃34;分配尾端＆＃34;感到困惑。一部分。

假设p-> s.size = 5且nunits = 2.根据代码，我们首先从p-> s.size中减去2，将p前进3，在该地址记录分配的大小并返回（ void *）（p + 1）。

让p＆＃39;自增量后表示p，*表示自由空间。上述操作后的内存应如下所示：

p * * p＆＃39; * *

我们实际上已经分配了2个单元的内存，但是p的剩余可用空间应该是2而不是3，因为一个单元被分配的尾端的头信息占用。

所以我认为这一行

p->s.size -= nunits;

应替换为

p->s.size -= nunits + 1;

我错过了什么吗？

Answer 1

答案就在这一行

nunits = (nbytes+sizeof(Header)-1)/sizeof(header) + 1;

该行获取请求的字节数nbytes，添加sizeof(Header)-1进行向上舍入，除以sizeof(header)以获得保持nbytes所需的单位数。最后，它增加了1来为标题腾出空间。因此，之后的所有代码都假定您为nbytes预留了空间（如果需要，还加上填充）以及标题。

对于malloc的K＆amp; R实现感到困惑

1 个答案: