Enum NamespaceState 

pub enum NamespaceState {
    Uninitialized,
    Unshared,
    Entered,
    Cleaned,
}

Namespace lifecycle state machine matching Nucleus_Isolation_NamespaceLifecycle.tla

State transitions: uninitialized -> unshared -> entered -> cleaned

Properties verified by TLA+ model:

• isolation_integrity: Once entered, can only move to entered or cleaned
• cleanup_happens: If entered, eventually cleaned

Variants

Uninitialized

Initial state before namespace creation

Unshared

Namespaces created via unshare(2)

Entered

Process entered the namespaces

Cleaned

Namespaces cleaned up

Trait Implementations

impl Clone for NamespaceState

fn clone(&self) -> NamespaceState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NamespaceState

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

Formats the value using the given formatter.

impl PartialEq for NamespaceState

fn eq(&self, other: &NamespaceState) -> 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 StateTransition for NamespaceState

fn can_transition_to(&self, next: &NamespaceState) -> bool

Return true if moving from self to next is a valid transition.

fn is_terminal(&self) -> bool

Return true if this state is terminal (no forward transitions).

fn transition(self, next: Self) -> Result<Self>

Attempt to transition, returning Err(InvalidStateTransition) on failure.

impl Copy for NamespaceState

impl Eq for NamespaceState

impl StructuralPartialEq for NamespaceState