Struct Budget 

pub struct Budget {
    pub max_calls: u64,
    pub max_bytes: u64,
    pub max_wall_ms: u64,
    pub max_nodes: u64,
    pub max_depth: u64,
    pub max_array_len: u64,
    pub max_value_size: u64,
}

A capability’s or lane’s resource budget.

Fields

max_calls: u64

Maximum calls through this capability (and its children in total).

max_bytes: u64

Maximum payload bytes moved through this capability.

max_wall_ms: u64

Maximum wall-clock milliseconds for one call.

max_nodes: u64

Maximum Active IR nodes an evaluation may visit.

max_depth: u64

Maximum value nesting depth.

max_array_len: u64

Maximum array length.

max_value_size: u64

Maximum materialised value size.

Implementations

impl Budget

pub fn strict() -> Self

A tight profile for adversarial tests.

pub fn calls(limit: u64) -> Self

A small budget with a fixed call allowance, for attenuation tests.

pub fn check(&self) -> Result<()>

Reject a budget that would disable a ceiling.

pub fn is_attenuation_of(&self, parent: &Budget) -> bool

True when every ceiling of self is at most parent’s.

pub fn intersect(&self, other: &Budget) -> Budget

Pointwise minimum: the strongest attenuation of two budgets.

pub fn to_active_budget(&self) -> Budget

Map onto the Active evaluator’s budget. The evaluator gets the same ceilings, so a capability cannot be used to outspend its grant.

Trait Implementations

impl Clone for Budget

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Budget

impl Debug for Budget

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

Formats the value using the given formatter.

impl Default for Budget

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Budget

impl PartialEq for Budget

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Budget