Struct AllocatorModel 

pub struct AllocatorModel { /* private fields */ }

Model of the frame allocator for verification

Implementations

impl AllocatorModel

pub fn new(base: u64, count: u64) -> Self

Create a new allocator model with frames in range [base, base + count * FRAME_SIZE)

pub fn alloc_frame(&mut self) -> Result<u64, AllocModelError>

Allocate a single frame, returns the frame address

pub fn alloc_frame_zone( &mut self, zone: MemoryZone, ) -> Result<u64, AllocModelError>

Allocate a frame from a specific zone

pub fn free_frame(&mut self, frame: u64) -> Result<(), AllocModelError>

Free a previously allocated frame

pub fn is_allocated(&self, frame: u64) -> bool

Check if a frame is currently allocated

pub fn is_free(&self, frame: u64) -> bool

Check if a frame is currently free

pub fn allocated_count(&self) -> usize

Get the number of allocated frames

pub fn free_count(&self) -> usize

Get the number of free frames

Trait Implementations

impl Clone for AllocatorModel

fn clone(&self) -> AllocatorModel

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AllocatorModel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AllocatorModel

fn default() -> AllocatorModel

Returns the “default value” for a type.