Enum zerogc_context::ContextState

pub enum ContextState {
    Active,
    SafePoint {
        collection_id: u64,
    },
    Frozen,
}

Variants

Active

The context is active.

Its contents are potentially being mutated, so the shadow_stack doesn't necessarily reflect the actual set of thread roots.

New objects could be allocated that are not actually being tracked in the shadow_stack.

SafePoint

The context is waiting at a safepoint for a collection to complete.

The mutating thread is blocked for the duration of the safepoint (until collection completes).

Therefore, its shadow_stack is guarenteed to reflect the actual set of thread roots.

Fields of SafePoint

collection_id: u64

The id of the collection we are waiting for

Frozen

The context is frozen. Allocation or mutation can't happen but the mutator thread isn't actually blocked.

Unlike a safepoint, this is explicitly unfrozen at the user's discretion.

Because no allocation or mutation can happen, its shadow_stack stack is guarenteed to accurately reflect the roots of the context.

Trait Implementations

impl Clone for ContextState

pub fn clone(&self) -> ContextState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ContextState

impl Debug for ContextState

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

Formats the value using the given formatter.

impl Eq for ContextState

impl PartialEq<ContextState> for ContextState

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for ContextState

impl StructuralPartialEq for ContextState