Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
720 commits behind the upstream repository.
-
Björn Brandenburg authoredThis patch adds the classic EDF optimality argument: by swapping allocations, any schedule in which no job misses a deadline can be transformed into an EDF schedule in which also no job misses a deadline.
Björn Brandenburg authoredThis patch adds the classic EDF optimality argument: by swapping allocations, any schedule in which no job misses a deadline can be transformed into an EDF schedule in which also no job misses a deadline.
edf.v 1.32 KiB