Struct BudgetReservation 

pub struct BudgetReservation { /* private fields */ }

A scoped share of a run tree’s hard budget.

Cloned trackers returned by Self::tracker consume only this reservation. Unused resources are released when the reservation and all of its scoped tracker clones are dropped.

Implementations

impl BudgetReservation

pub fn tracker(&self) -> BudgetTracker

Returns a tracker constrained to this reservation.

pub const fn reserved(&self) -> Usage

Returns the original reserved upper bound.

pub fn remaining(&self) -> Usage

Returns resources not yet committed by this reservation.

pub fn forfeit_remaining(&self) -> Result<Usage, BudgetExceeded>

Conservatively commits every unconsumed resource in this reservation.

This is useful when work may continue remotely after local cancellation and its terminal usage can no longer be observed.

Errors

Returns BudgetExceeded if an accounting counter overflows.

Trait Implementations

impl Clone for BudgetReservation

fn clone(&self) -> BudgetReservation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BudgetReservation

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

Formats the value using the given formatter.