diff options
| author | Michael Brown | 2014-12-15 15:45:05 +0100 |
|---|---|---|
| committer | Michael Brown | 2014-12-15 15:45:05 +0100 |
| commit | 7871666740ed3f595c47fc90b1318df9a3db5768 (patch) | |
| tree | 20642a18746333e5c4459572ab23b82dccc6d6e7 /src/core/image.c | |
| parent | [malloc] Sanity check parameters to alloc_memblock() and free_memblock() (diff) | |
| download | ipxe-7871666740ed3f595c47fc90b1318df9a3db5768.tar.gz ipxe-7871666740ed3f595c47fc90b1318df9a3db5768.tar.xz ipxe-7871666740ed3f595c47fc90b1318df9a3db5768.zip | |
[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>
Diffstat (limited to 'src/core/image.c')
0 files changed, 0 insertions, 0 deletions