Struct RecoveryCascade 

pub struct RecoveryCascade {
    pub budget: u32,
    pub spent: u32,
    pub current_level: CascadeLevel,
    pub escalations_used: u32,
    pub steps: u32,
}

The shared-pool cascade for one node (Definition 8.1).

Fields

budget: u32

The non-replenishing shared budget b.

spent: u32

current_level: CascadeLevel

escalations_used: u32

steps: u32

Implementations

impl RecoveryCascade

pub const K: u32 = 4

The escalation depth k: strict escalations available from level 0.

pub fn new(budget: u32) -> Self

pub fn step_bound(&self) -> u32

The Theorem 6 bound: every cascade terminates within b + k steps.

pub fn grant(&mut self, requested: CascadeLevel) -> GrantedControl

Request a control. A request at or below the current level is a horizontal repetition and consumes one unit of the shared pool; a request above it is a strict escalation and consumes a level. When the pool is exhausted below the top, the grant is forced strictly upward (Definition 8.1’s second condition).

Trait Implementations

impl Clone for RecoveryCascade

fn clone(&self) -> RecoveryCascade

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecoveryCascade

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RecoveryCascade

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RecoveryCascade

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for RecoveryCascade

impl StructuralPartialEq for RecoveryCascade