Struct basic_allocator::blocklist::FreeHeader

#[repr(C, align(16))]pub struct FreeHeader { /* fields omitted */ }

The header for our free blocks.

The header includes a pointer to the next free block, and the size of the current block (including the header).

We use C representation and align to 16 bytes for... simplicity. This is perhaps a stronger constraint that we need, but it does make things simple and straightforward.

Implementations

impl FreeHeader

pub unsafe fn from_raw(
    ptr: NonNull<u8>,
    next: Option<FreeBlock>,
    size: usize
) -> NonNull<FreeHeader>

Construct a header from a freed memory block at ptr, with a link to the next in next, and the size of the block in size.

Safety

This is unsafe because its manipulating raw, freed memory.

To use this safely, ptr must point to memory of size size not in use by or accessible by any program logic.

Further safety constraints are enforced by the invariants of FreeBlock and BlockList.