• Björn Brandenburg's avatar
    add EDF optimality argument · 9e805d0b
    Björn Brandenburg authored
    This 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_trans.v 2.83 KB