K&R malloc代码没有意义？

Question

此代码来自K&R书籍 - 第8章第7节:示例 - 存储分配器.至少对我来说,这段代码没有意义."Header"是结构和"限制性最强的对齐类型"的并集,它是一种long类型.然后,Malloc将找到一个足够大的可用空间,其大小为标题大小的倍数.

static Header base;            /* empty list to get started */
static Header *freep = NULL;   /* start of free list */

/* malloc: general-purpose storage allocator */
void *malloc(unsigned nbytes)
{
  Header *p, *prevp;
  Header *morecore(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 */

  }
}

这段代码的奇怪部分是语句nunits = (nbytes+sizeof(Header)-1)/sizeof(Header) + 1;,然后在比较中使用它if (p->s.size >= nunits)来找到一个足够大的空间,其中包含Header大小的单位.前者不应该nunits = (nbytes+sizeof(Header)) / sizeof(Header)只是？原始代码将评估为低于应该的值.+ -1s是什么？为什么分配的空间少于所需的空间.

Answer 1

的-1和+1是考虑到这是不是块大小的乘法值.

例如,假设块大小为10.如果您尝试使用公式n / 10来获取所需块的数量,那么对于n = 15,您将获得1个块.这是错误的,您需要2.

如果你改变公式n / 10 + 1那么它也将是错误的.当n = 20时,您只需要2个块,但该公式将返回3.

正确的公式是(n - 1) / 10 + 1.这就是整数除法的结果.与此问题的唯一区别在于您询问的公式是额外的sizeof(Header),这只是标题本身所需的额外空间.