Struct RBF 

pub struct RBF<B: ArrivalBound, C: JobCostModel> {
    pub wcet: C,
    pub arrival_bound: B,
}

The canonical request-bound function (RBF), which connects arrival bounds and job-cost models.

Given an arrival model and a job-cost model, the RBF bounds demand over an interval of length delta simply as the total cumulative cost of the maximum number of jobs that can arrive in an interval of length delta.

Fields

wcet: C

arrival_bound: B

Implementations

impl<B: ArrivalBound, C: JobCostModel> RBF<B, C>

pub fn new(ab: B, cm: C) -> RBF<B, C>

Construct a new RBF from the given arrival bound and cost model.

Trait Implementations

impl<'a, B: ArrivalBound + 'a, C: JobCostModel + 'a> AsRef<dyn RequestBound + 'a> for RBF<B, C>

fn as_ref<'b>(&'b self) -> &'b (dyn RequestBound + 'a)

Converts this type into a shared reference of the (usually inferred) input type.

impl<B: Clone + ArrivalBound, C: Clone + JobCostModel> Clone for RBF<B, C>

fn clone(&self) -> RBF<B, C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<B: Debug + ArrivalBound, C: Debug + JobCostModel> Debug for RBF<B, C>

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

Formats the value using the given formatter.

impl<B: ArrivalBound, C: JobCostModel> RequestBound for RBF<B, C>

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

Bound the total amount of service needed in an interval of length delta.

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

Expose the smallest WCET of any job encountered in an interval of length delta.

fn steps_iter<'a>(&'a self) -> Box<dyn Iterator<Item = Duration> + 'a>

Yield an iterator over the interval lengths (i.e., values of delta in RequestBound::service_needed) at which the cumulative demand changes.

fn job_cost_iter<'a>( &'a self, delta: Duration, ) -> Box<dyn Iterator<Item = Service> + 'a>

Expose an iterator over the individual costs that comprise the overall demand.

fn service_needed_by_n_jobs(&self, delta: Duration, max_jobs: usize) -> Service

Bound the total amount of service needed by up to max_jobs in an interval of length delta.