Struct Budget 

pub struct Budget {
    pub deadline: Option<Duration>,
    pub poll_quota: u32,
    pub cost_quota: Option<u64>,
    pub priority: u8,
}

A budget for cancellation/deadline/priority propagation.

This is a product lattice with mixed meet/join semantics:

• resource constraints tighten by min (deadline/poll/cost)
• priority propagates by max

Fields

deadline: Option<Duration>

poll_quota: u32

cost_quota: Option<u64>

priority: u8

Implementations

impl Budget

pub const INFINITE: Self

No constraints (identity for Self::meet).

pub const MINIMAL: Self

Minimal budget for cleanup/finalizers.

pub const fn with_deadline(self, deadline: Duration) -> Self

pub const fn with_priority(self, priority: u8) -> Self

pub const fn with_poll_quota(self, poll_quota: u32) -> Self

pub const fn with_cost_quota(self, cost_quota: u64) -> Self

pub fn meet(self, other: Self) -> Self

Meet (tighten) two budgets.

Trait Implementations

impl Clone for Budget

fn clone(&self) -> Budget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Budget

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

Formats the value using the given formatter.

impl PartialEq for Budget

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

impl Eq for Budget

impl StructuralPartialEq for Budget