Struct Block 

#[repr(transparent)]
pub struct Block(Address);

Data structure to reference an immix block.

Tuple Fields

0: Address

Implementations

impl Block

pub const LOG_PAGES: usize = 1usize

Log pages in block

pub const PAGES: usize = 2usize

Pages in block

pub const LOG_LINES: usize = 5usize

Log lines in block

pub const LINES: usize = 32usize

Lines in block

pub const DEFRAG_STATE_TABLE: SideMetadataSpec = crate::util::metadata::side_metadata::spec_defs::IX_BLOCK_DEFRAG

Block defrag state table (side)

pub const MARK_TABLE: SideMetadataSpec = crate::util::metadata::side_metadata::spec_defs::IX_BLOCK_MARK

Block mark table (side)

pub const LOG_TABLE: SideMetadataSpec = crate::util::metadata::side_metadata::spec_defs::IX_BLOCK_LOG

pub const NURSERY_PROMOTION_STATE_TABLE: SideMetadataSpec = crate::util::metadata::side_metadata::spec_defs::NURSERY_PROMOTION_STATE

pub const ZERO: Self

const DEFRAG_SOURCE_STATE: u8 = 255u8

pub fn calc_dead_lines(&self) -> usize

pub fn is_zero(&self) -> bool

pub fn chunk(&self) -> Chunk

Get the chunk containing the block.

pub fn line_mark_table(&self) -> MetadataByteArrayRef<{ Block::LINES }>

Get the address range of the block’s line mark table.

pub fn get_state(&self) -> BlockState

Get block mark state.

pub fn set_state(&self, state: BlockState)

Set block mark state.

pub fn fetch_update_state( &self, f: impl FnMut(BlockState) -> Option<BlockState>, ) -> Result<BlockState, BlockState>

Set block mark state.

pub fn attempt_dealloc(&self, ignore_reusing_blocks: bool) -> bool

pub fn is_defrag_source(&self) -> bool

Test if the block is marked for defragmentation.

pub fn in_defrag_block(o: ObjectReference) -> bool

pub fn address_in_defrag_block(a: Address) -> bool

pub fn set_as_defrag_source(&self, defrag: bool)

Mark the block for defragmentation.

pub fn set_holes(&self, holes: usize)

Record the number of holes in the block.

pub fn get_holes(&self) -> usize

Get the number of holes.

pub fn init<VM: VMBinding>( &self, copy: bool, reuse: bool, space: &ImmixSpace<VM>, )

Initialize a clean block after acquired from page-resource.

pub fn deinit<VM: VMBinding>(&self, space: &ImmixSpace<VM>)

Deinitalize a block before releasing.

pub fn start_line(&self) -> Line

pub fn end_line(&self) -> Line

pub fn lines(&self) -> RegionIterator<Line>

Get the range of lines within the block.

pub fn clear_rc_table(&self)

pub fn clear_striddle_table(&self)

pub(crate) fn clear_mark_table<VM: VMBinding>(&self)

pub(crate) fn initialize_mark_table_as_marked<VM: VMBinding>(&self)

pub fn log(&self) -> bool

pub fn set_as_in_place_promoted(&self)

pub fn is_in_place_promoted(&self) -> bool

pub fn clear_in_place_promoted(&self)

pub fn unlog(&self)

pub fn clear_field_unlog_table<VM: VMBinding>(&self)

pub fn initialize_field_unlog_table_as_unlogged<VM: VMBinding>(&self)

pub fn rc_dead(&self) -> bool

pub fn sweep<VM: VMBinding>( &self, space: &ImmixSpace<VM>, mark_histogram: &mut [usize; 17], line_mark_state: Option<u8>, ) -> BlockSweepResult

Sweep this block.

pub fn rc_sweep_nursery<VM: VMBinding>(&self, space: &ImmixSpace<VM>) -> bool

pub fn attempt_mutator_reuse(&self) -> bool

pub fn rc_sweep_mature<VM: VMBinding>( &self, space: &ImmixSpace<VM>, defrag: bool, ) -> bool

pub fn rc_table_start(&self) -> Address

pub fn has_holes(&self) -> bool

pub fn clear_vo_bits_for_unmarked_regions(&self, line_mark_state: Option<u8>)

Clear VO bits metadata for unmarked regions. This is useful for clearing VO bits during nursery GC for StickyImmix at which time young objects (allocated in unmarked regions) may die but we always consider old objects (in marked regions) as live.

Trait Implementations

impl BlockMayHaveObjects for Block

fn may_have_objects(&self) -> bool

Return true if the block may contain valid objects (objects with the VO bit set). Return false otherwise.

impl Clone for Block

fn clone(&self) -> Block

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block

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

Formats the value using the given formatter.

impl PartialEq for Block

fn eq(&self, other: &Block) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Block

fn partial_cmp(&self, other: &Block) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Region for Block

const LOG_BYTES: usize = 13usize

log2 of the size in bytes for the region.

fn from_aligned_address(address: Address) -> Self

Create a region from an address that is aligned to the region boundary. The method should panic if the address is not properly aligned to the region. For performance, this method should always be inlined.

fn start(&self) -> Address

Return the start address of the region. For performance, this method should always be inlined.

const BYTES: usize = _

The size in bytes for the region.

fn from_unaligned_address(address: Address) -> Self

Create a region from an arbitrary address.

fn align(address: Address) -> Address

Align the address to the region.

fn is_aligned(address: Address) -> bool

Check if an address is aligned to the region.

fn end(&self) -> Address

Return the end address of the region. Note that the end address is not in the region.

fn next(&self) -> Self

Return the next region after this one.

fn next_nth(&self, n: usize) -> Self

Return the next nth region after this one.

fn steps_between(start: &Self, end: &Self) -> Option<usize>

Get the number of lines between the given two lines.

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

Check if the given address is in the region.

impl UnstraddlableRegion for Block

An objects cannot straddle multiple Immix blocks.

fn containing(object: ObjectReference) -> Self

Return the region that contains the object.

fn contains(&self, object: ObjectReference) -> bool

Reeturn whether a region contains an object.

impl Copy for Block

impl NoUninit for Block

impl StructuralPartialEq for Block