Expand description
Models of resource needs such as a task’s scalar worst-case execution time (WCET)
This module provides the trait JobCostModel, which models the notion of the cumulative worst-case resource needs of one or more jobs of a task.
The implementation most commonly encountered in the literature is Scalar, which represents a WCET value as assumed by Liu & Layland.
Structs§
- Curve
- The WCET curve model of a task’s cumulative execution-time
demand. Similar to arrival curves, the cost of
nconsecutive jobs is specified by a vector of cumulative WCET for 1,2,3,… jobs and extrapolated from there. - Extrapolating
Curve - A variant of Curve that uses interior mutability to cache extrapolations. Functionality equivalent to Curve, but faster on average if extrapolation occurs often.
- Multiframe
- The classic multi-frame model of job costs. The worst-case execution time of jobs is specified as a vector of bounds. Consecutive jobs cycle through the given vector of bounds.
- Scalar
- The classic and most simple characterization of the worst-case processor demand of a single job: the scalar WCET bound.
Traits§
- JobCost
Model - The interface for models of per-job and per-job-sequence maximum execution costs.