[malloc] Check integrity of free list
authorMichael Brown <mcb30@ipxe.org>
Mon, 15 Dec 2014 14:45:05 +0000 (14:45 +0000)
committerMichael Brown <mcb30@ipxe.org>
Mon, 15 Dec 2014 14:45:05 +0000 (14:45 +0000)
commit7871666740ed3f595c47fc90b1318df9a3db5768
tree20642a18746333e5c4459572ab23b82dccc6d6e7
parent9154f2aef36cc803fcb2054805823185d53411bd
[malloc] Check integrity of free list

Check the integrity of the free memory block list before and after any
modifications to the list.  We check that certain invariants are
preserved:

 - the list is a well-formed doubly linked list

 - all blocks are at least MIN_MEMBLOCK_SIZE

 - no block extends beyond the end of our address space

 - blocks remain sorted in ascending order of address

 - no blocks are adjacent (i.e. any adjacent blocks have been merged)

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/core/malloc.c