Skip to content

Switch basic readiness to sequential readiness in [results] folder

Sergey Bozhko requested to merge sbozhko/rt-proofs:switch_readiness into master

This MR fixes problems that the basic readiness model causes to implementations.
Namely, consider the fixed-priority scheduling with basic readiness model. Note that neither fixed-priority nor basic readiness imply the order in which two jobs of the same task should execute. Which means that the generic priority-driven implementation of a scheduler "pick a pending job with the highest priority that is ready and execute it" lacks the essential determinism regarding which job of a task to execute first.
Sequential readiness resolves this issue by stating that only the first pending job of a task is ready.

Note that this MR depends in MRs !115 (merged), !129 (merged), and !132 (closed)

Edited by Sergey Bozhko

Merge request reports