Struct stark::sail::memmgt::RegionTable

struct RegionTable {
    low_array: *mut usize,
    high_array: *mut usize,
    zone_array: *mut *mut Zone,
    region_array: *mut *mut Region,
    len: usize,
    cap: usize,
    lock: u8,
}

Keeps track of memory zones and which regions they belong to using parallel arrays

Fields

low_array: *mut usize

Dynamic array of memory zone low ends

high_array: *mut usize

Dynamic array of memory zone high ends

zone_array: *mut *mut Zone

Dynamic array of memory zones corresponding to above ranges

region_array: *mut *mut Region

Dynamic array of memory regions corresponding to above zones

len: usize

Length of all arrays above

cap: usize

Capacity of all arrays above

lock: u8

Modification lock for region table

Implementations

impl RegionTable

const fn new() -> Self

Create a new region table

TODO: switch to intrinsics::const_alloc

unsafe fn setup(&mut self, cap: usize)

Allocate memory and initialize the table

unsafe fn resize(&mut self, cap: usize)

Resize the table, reallocating as necessary

unsafe fn append(
    &mut self,
    start: usize,
    end: usize,
    zone: *mut Zone,
    region: *mut Region
)

Add a new entry to the table

unsafe fn index(&mut self, idx: usize) -> (usize, usize, *mut Zone, *mut Region)

Gets a table entry by index