Struct mmtk::policy::sft_map::space_map::SFTSpaceMap

pub struct SFTSpaceMap {
    sft: Vec<SFTRefStorage>,
    space_address_start: Address,
    space_address_end: Address,
}

Space map is a small table, and it has one entry for each MMTk space.

Fields

sft: Vec<SFTRefStorage>

space_address_start: Address

space_address_end: Address

Implementations

impl SFTSpaceMap

pub fn new() -> Self

Create a new space map.

fn addr_to_index(addr: Address) -> usize

fn index_to_space_start(i: usize) -> Address

fn index_to_space_range(i: usize) -> (Address, Address)

Trait Implementations

impl SFTMap for SFTSpaceMap

fn has_sft_entry(&self, addr: Address) -> bool

Check if the address has an SFT entry in the map (including an empty SFT entry). This is mostly a bound check to make sure that we won’t have an index-out-of-bound error. For the sake of performance, the implementation of other methods in this trait (such as get_unchecked(), update() and clear()) does not need to do this check implicitly. Instead, they assume the address has a valid entry in the SFT. If an address could be arbitary, they should call this method as a pre-check before they call those methods in the trait. We also provide a method get_checked() which includes this check, and will return an empty SFT if the address is out of bound.

fn get_side_metadata(&self) -> Option<&SideMetadataSpec>

Get the side metadata spec this SFT map uses.

fn get_checked(&self, address: Address) -> &dyn SFT

Get SFT for the address. The address can be arbitrary. For out-of-bound access, an empty SFT will be returned. We only provide the checked version for get(), as it may be used to query arbitrary objects and addresses. Other methods like update/clear/etc are mostly used inside MMTk, and in most cases, we know that they are within our space address range.

unsafe fn get_unchecked(&self, address: Address) -> &dyn SFT

Get SFT for the address. The address must have a valid SFT entry in the table (e.g. from an object reference, or from an address that is known to be in our spaces). Otherwise, use get_checked().

unsafe fn update( &self, space: *const dyn SFT + Sync + 'static, start: Address, bytes: usize )

Set SFT for the address range. The address must have a valid SFT entry in the table.

unsafe fn clear(&self, addr: Address)

Clear SFT for the address. The address must have a valid SFT entry in the table.

fn notify_space_creation(&mut self, _space: *const dyn SFT + Sync + 'static)

Notify the SFT map for space creation. DenseChunkMap needs to create an entry for the space.

unsafe fn eager_initialize( &mut self, space: *const dyn SFT + Sync + 'static, start: Address, bytes: usize )

Eagerly initialize the SFT table. For most implementations, it could be the same as update(). However, we need this as a seprate method for SFTDenseChunkMap, as it needs to map side metadata first before setting the table.

impl Sync for SFTSpaceMap