Struct SporadicState 

pub struct SporadicState {
    pub budget_remaining_us: u32,
    pub budget_capacity_us: u32,
    pub period_us: u32,
    pub last_refill_ms: u64,
}

Phase 110.E — user-space sporadic-server runtime state.

Tracks remaining budget_us for the current period and the wall- clock instant of the last refill. The executor consults this state during dispatch: when budget_remaining_us reaches 0 the SC is suppressed until the next period boundary, at which point a refill resets the counter.

Refill cadence is polled — each spin_once checks whether the elapsed time since the last refill exceeds period_us and tops the budget back up. Less precise than an ISR-driven refill (Phase 110.E’s per-platform timer hook is what gets that) but correct as an upper-bound bandwidth limiter.

Fields

budget_remaining_us: u32

budget_capacity_us: u32

period_us: u32

last_refill_ms: u64

Implementations

impl SporadicState

pub const fn new(budget_us: u32, period_us: u32) -> Self

pub fn tick(&mut self, now_ms: u64, delta_us: u32) -> bool

Apply elapsed-time accounting since the previous spin. Returns true if the SC has remaining budget after the refill check.

Trait Implementations

impl Clone for SporadicState

fn clone(&self) -> SporadicState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SporadicState

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

Formats the value using the given formatter.

impl Copy for SporadicState