Struct Constrained 

pub struct Constrained {
    pub period: Duration,
    pub budget: Service,
    pub deadline: Duration,
}

A periodic resource with reduced jitter.

This model represents a refined variant of of the Periodic supply model wherein the availability of budget within each period is restricted by a constrained relative deadline.

The client(s) of this supply is/are guaranteed (at least) budget time units of processor service every period time units within deadline time units w.r.t. the start of the period.

Fields

period: Duration

budget: Service

deadline: Duration

Implementations

impl Constrained

pub fn new(budget: Service, deadline: Duration, period: Duration) -> Self

Construct a new constrained periodic resource model such that budget <= deadline <= period.

Trait Implementations

impl Clone for Constrained

fn clone(&self) -> Constrained

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constrained

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

Formats the value using the given formatter.

impl SupplyBound for Constrained

fn provided_service(&self, delta: Duration) -> Service

Bound the minimum amount of service provided during an interval of length delta.

fn service_time(&self, demand: Service) -> Duration

Bound the maximum interval length during which the supply provides at least demand amount of service.

impl Copy for Constrained