Struct mmtk::policy::marksweepspace::native_ms::block_list::BlockList

#[repr(C)]
pub struct BlockList {
    pub first: Option<Block>,
    pub last: Option<Block>,
    pub size: usize,
    pub lock: AtomicBool,
}

List of blocks owned by the allocator

Fields

first: Option<Block>

last: Option<Block>

size: usize

lock: AtomicBool

Implementations

impl BlockList

const fn new(size: usize) -> BlockList

pub fn is_empty(&self) -> bool

List has no blocks

pub fn remove(&mut self, block: Block)

Remove a block from the list

pub fn pop(&mut self) -> Option<Block>

Pop the first block in the list

pub fn push(&mut self, block: Block)

Push block to the front of the list

pub fn append(&mut self, other: &mut BlockList)

Moves all the blocks of other into self, leaving other empty.

fn reset(&mut self)

Remove all blocks

pub fn lock(&mut self)

Lock the list. The MiMalloc allocator mostly uses thread-local block lists, and those operations on the list do not need synchronisation. However, in cases where a block list may be accessed by multiple threads, we need to lock the list before accessing it.

Our current sole use for locking is parallel sweeping. During the Release phase, multiple GC worker threads can sweep chunks and release mutators at the same time, and the same BlockList can be reached by traversing blocks in a chunk, and also by traversing blocks held by a mutator. This lock is necessary to prevent multiple GC workers from mutating the same BlockList instance.

pub fn unlock(&mut self)

Unlock list. See the comments on the lock method.

pub fn iter(&self) -> BlockListIterator

Get an iterator for the block list.

pub fn release_and_sweep_blocks<VM: VMBinding>( &self, space: &MarkSweepSpace<VM> )

Release unmarked blocks, and sweep other blocks in the block list. Used by eager sweeping.

pub fn release_blocks<VM: VMBinding>(&self, space: &MarkSweepSpace<VM>)

Release unmarked blocks, and do not sweep any blocks. Used by lazy sweeping

Trait Implementations

impl Debug for BlockList

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

Formats the value using the given formatter.