Correcting the EDF protocol in Ada 2005
Alexandros Zerzelidis, Alan Burns, Andy J. Wellings · ACM SIGAda Ada Letters · 2007
Earliest Deadline First (EDF) dispatching has been introduced into the Ada 2005 definition. Included in this definition is support for Baker's protocol for preemption level control over access to protected objects. Unfortunately the current model fails to implement all the situations covered by Baker's approach. A counter example is provided that illustrates this deficiency with the language as currently defined. A minor change to the language definition is proposed that removes the flaw.