Generalizing the EDF scheduling support in Ada 2005

Research output: Contribution to journalArticlepeer-review


Ada 2005 has introduced a version of Baker's Stack Resource Protocol called the Preemption Level Control Protocol in order to support EDF scheduling. Baker's protocol is, however, a general protocol that can be used with a range of scheduling algorithms, for example any static job-level algorithm such as static values or a modified least laxity algorithm. This paper investigates the changes that would be needed to Ada 2005 to allow it to support user-defined scheduling, where the user can implement any scheduling approach that is compatible with Baker's algorithm.
Original languageUndefined/Unknown
Pages (from-to)116-124
Number of pages9
JournalACM Ada Letters
Issue number1
Publication statusPublished - 2010

Cite this