Trait response_time_analysis::wcet::JobCostModel

source · 
pub trait JobCostModel {
    fn job_cost_iter<'a>(&'a self) -> Box<dyn Iterator<Item = Service> + 'a>;

    fn cost_of_jobs(&self, n: usize) -> Service { ... }
    fn least_wcet(&self, n: usize) -> Service { ... }
}
Expand description

The interface for models of per-job and per-job-sequence maximum execution costs.

Required Methods

Model: iterate the maximum WCETs of any sequence of consecutive jobs.

Provided Methods

Model: yield the maximum cumulative processor demand of any n consecutive jobs.

Model: yield the WCET of the job with the least WCET among any sequence of n consecutive jobs.

Implementations on Foreign Types

Implementors