Enum CgroupState 

pub enum CgroupState {
    Nonexistent,
    Created,
    Configured,
    Attached,
    Monitoring,
    Removed,
}

Cgroup lifecycle state machine matching Nucleus_Resources_CgroupLifecycle.tla

State transitions: nonexistent -> created -> configured -> attached -> monitoring -> removed

Properties verified by TLA+ model:

• resource_limits_enforced: Once configured, can only move to attached, monitoring, or removed
• cleanup_guaranteed: Eventually reaches removed state
• no_resource_leak: Removed state is terminal and stable

Variants

Nonexistent

Initial state - cgroup doesn’t exist

Created

Cgroup created in filesystem

Configured

Resource limits configured

Attached

Process attached to cgroup

Monitoring

Monitoring resource usage

Removed

Cgroup removed - terminal state

Trait Implementations

impl Clone for CgroupState

fn clone(&self) -> CgroupState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CgroupState

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

Formats the value using the given formatter.

impl PartialEq for CgroupState

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

fn can_transition_to(&self, next: &CgroupState) -> 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 CgroupState

impl Eq for CgroupState

impl StructuralPartialEq for CgroupState