Function response_time_analysis::fifo::dedicated_uniproc_rta
source · 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.