Module demand 

The request-bound function (RBF) abstraction and related definitions

This module provides a trait to express request-bound functions (RBFs), which are an abstraction to characterize the total demand for processor service by one or more tasks.

Structs

Aggregate

A wrapper type for representing the total demand of a vector of individual demand sources (e.g., all higher-priority tasks).

RBF

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

Slice

Analogously to Aggregate, a wrapper type for representing the total demand of individual demand sources. Whereas Aggregate wraps a vector, this type wraps a slice of an array.

Traits

AggregateRequestBound

A refined interface for processor demand that represents the total demand of a collection of individual sources of demand.

RequestBound

The general interface for (arbitrarily shaped) processor demand. This can represent the demand of a single task, or the cumulative demand of multiple tasks.

Functions

step_offsets

Yield the sequence of offsets at which the request bound function “steps”, i.e., where the procesor demand increases.