Struct WorkBudget 

pub struct WorkBudget<'a> { /* private fields */ }

A sticky, context-free local work counter.

Implementations

impl WorkBudget<'static>

pub const fn new(limit: usize) -> Self

Creates an independent local work slice.

impl<'a> WorkBudget<'a>

pub fn with_session_work_scale(self, scale: NonZeroU64) -> Self

Set the session work owed by each local unit without changing this slice’s local ceiling. Attached children preserve the same scale.

pub fn reserve_scratch( &self, bytes: u64, operation: &'static str, ) -> Result<WorkScratch<'a>, ResourceLimit>

Reserve temporary evaluator storage in the attached decode session. Independent slices retain fallible allocation without session charging.

pub fn charge(&self) -> bool

Charges one work unit, returning false after exhaustion.

pub fn charge_by(&self, work: usize) -> bool

Charges several work units, with sticky exhaustion on refusal.

pub fn exhausted(&self) -> bool

Returns whether this slice has refused a charge.

pub fn exhaust(&self)

Marks this slice exhausted without consuming additional session work.

pub fn remaining(&self) -> usize

Returns unconsumed work units.

pub fn consumed(&self) -> usize

Returns charged work and the remainder forfeited by exhaustion.

pub fn recursion_guard( &self, ) -> Result<WorkBudgetRecursionGuard<'_, 'a>, ResourceLimit>

Enters a session frame, or an independent frame with a 256-frame ceiling. Attached child slices share the active session depth.

pub fn copy_recursion_path<T: Copy>( &self, path: &[T], ) -> Result<(Vec<T>, WorkScratch<'a>), ResourceLimit>

Copy the active cycle path and admit one new frame slot. The reservation covers the copied path until the frame leaves.

pub fn child_slice(&self, limit: usize) -> WorkBudget<'static>

Creates an independent child slice capped by this budget’s remainder.

pub fn session_child_slice(&self, limit: usize) -> WorkBudget<'_>

Creates a child slice capped by this budget’s remainder and attached to its session.

pub fn consume_child( &self, child: &WorkBudget<'_>, ) -> Result<(), BudgetExhausted>

Charges this budget for work consumed by a child slice.

Errors

BudgetExhausted when the child’s work is above this budget’s remainder. The budget marks itself exhausted in that case, so WorkBudget::exhausted answers true afterwards.

Trait Implementations

impl<'a> Debug for WorkBudget<'a>

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

Formats the value using the given formatter.