pub fn dedicated_uniproc_rta<RBF>(
    tasks_rbf: &RBF,
    limit: Duration
) -> SearchResultwhere
    RBF: RequestBound + ?Sized,
Expand description

Try to find a response-time bound for any task in a task set under FIFO scheduling on a dedicated uniprocessor.

The analysis assumes that all tasks are independent and that each is characterized by an arbitrary arrival curve and a WCET bound. The total rbf is represented by tasks_rbf

Note that all tasks share the same response-time bound under FIFO scheduling; hence this function does not take any parameters specific to a “task under analysis.”

If no fixed point is found below the divergence limit given by limit, return a SearchFailure instead.