• 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.
optimality.v 3.26 KB