Этот код взят из книги K&R — Глава 8 Раздел 7: Пример — Распределитель памяти. Этот код, по крайней мере для меня, не имеет смысла. «Заголовок» — это объединение структуры и «наиболее ограничительного типа выравнивания», который является длинным типом. Затем 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)
, чтобы найти достаточно большое пространство с единицами измерения с точки зрения размера заголовка. Разве первое не должно быть только nunits = (nbytes+sizeof(Header)) / sizeof(Header)
? Исходный код будет оценивать значение меньше, чем должно быть. Что с +-1s? Зачем выделять места меньше, чем нужно.
malloc
, и вы запросили 1 байт, т. е.malloc(1)
, и посмотрите, что возвращаетnunits
как с предложенным вами исправлением, так и с кодом из книги. - person dirkgently   schedule 27.05.2012