在malloc的K&R C示例中看似不必要的线？

Question

您可以在K&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用于他们的"簿记".