Skip to content

Prove optimality of work-conserving EDF schedules

LailaElbeheiryrequested to merge
LailaElbeheiry/rt-proofs:wip-edf-wc into master

We proved that the EDF transformation maintains work-conservation. Using this lemma, combined with the optimality proof of work-consering schedules, we prove that work-conserving EDF schedules are also optimal.

Merge request reports