Question

您可以在K＆amp; R的 The C Programming Language 中找到此代码：

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; /* STRANGE LINE???????? */
            }
            freep = prevp;
            return (void *)(p+1);
        }
        if (p == freep) /* wrapped around free list */
            if ((p = morecore(nunits)) == NULL)
                return NULL; /* none left */
    }
}

（来自http://pelusa.fis.cinvestav.mx/tmatos/LaSumA/LaSumA2_archivos/Supercomputo/The_C_Programming_Language.pdf）

基本上有一个链表，列表中的每个节点都以一个标题开头，表示下一个节点和节点在标题之后分配的内存量（以标题大小的倍数表示）。该链表记录了可用内存的位置。

我不明白的原因是“STRANGE LINE ?????”的原因需要。我理解前两个。我们希望将节点的末尾提供给用户，因此我们缩小了大小，并使用新大小前进p并将其提供给用户（+1）。但是第三行想要将地点p的大小设置为单位数。为什么？在第二行p指向空闲记忆中的一个点似乎没有任何意义。这是我不知道的某种特殊优化，还是实际上是必要的？

感谢您的帮助！

Answer 1

你不理解这一行的原因是它不能被孤立地理解：从malloc的角度来看，它是无用的。完成此分配是为了支持相应的free函数的功能，该函数需要知道分配的大小以将内存块添加到空闲列表。

void free(void *ap)
{
    Header *bp, *p;
    bp = (Header *)ap - 1; /* point to block header */
    for (p = freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr)
        if (p >= p->s.ptr && (bp > p || bp < p->s.ptr))
            break; /* freed block at start or end of arena */
     /* Here is where the saved size comes into play */
     if (bp + bp->size == p->s.ptr) { /* join to upper nbr */
         bp->s.size += p->s.ptr->s.size;
         bp->s.ptr = p->s.ptr->s.ptr;
     } else
         bp->s.ptr = p->s.ptr;
     if (p + p->size == bp) { /* join to lower nbr */
         p->s.size += bp->s.size;
         p->s.ptr = bp->s.ptr;
     } else
         p->s.ptr = bp;
    freep = p;
}

正如您所看到的那样，在返回给调用者之前的字节中，大小是以字节为单位的。这是malloc和free用于＆＃34;簿记＆＃34;的标题部分。

在malloc的K＆amp; R C示例中，看似不需要的行？

1 个答案: