A schedulability condition for deadline-ordered service disciplines

Abstract

In a deadline-ordered service discipline, packets are assigned transmission deadlines and eligibility times and are transmitted in increasing order of deadlines. Different deadline-ordered service disciplines are distinguished by how they calculate deadlines and eligibility times. One of the more difficult analytical problems one faces when designing a new deadline-ordered service discipline is to prove that one can bound the end of transmission times of packets relative to their assigned deadlines, which we call schedulability. We show that, no matter how one calculates deadlines, there is a simple schedulability condition for deadline-ordered service disciplines. This schedulability condition is necessary and sufficient for preemptive deadline-ordered service disciplines, and for a server that allows the presence of nonreal-time packets (i.e., packets with no deadlines), it is also necessary and sufficient for nonpreemptive deadline-ordered service disciplines. We also address the schedulability problem for service disciplines in general, and show the optimality of deadline-ordered service disciplines. To demonstrate how our results simplify schedulability determination, we use them to prove the known schedulability conditions of VirtualClock, Packet-by-Packet Generalized Processor Sharing (PGPS), Stop-and-Go, and Delay-Earliest-Due-Date (Delay-EDD), and to provide a new result, the necessary schedulability condition of VirtualClock.