Struct Scalar 

pub struct Scalar {
    pub wcet: Service,
}

The classic and most simple characterization of the worst-case processor demand of a single job: the scalar WCET bound.

Fields

wcet: Service

The worst-case execution bound.

Implementations

impl Scalar

pub fn new(wcet: Service) -> Self

Construct a new Sclar cost model by wrapping a given WCET bound.

Trait Implementations

impl Clone for Scalar

fn clone(&self) -> Scalar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scalar

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

Formats the value using the given formatter.

impl From<Service> for Scalar

fn from(val: Service) -> Self

Converts to this type from the input type.

impl JobCostModel for Scalar

fn cost_of_jobs(&self, n: usize) -> Service

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

fn least_wcet(&self, n: usize) -> Service

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

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

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

impl Copy for Scalar