Correcting the EDF protocol in Ada 2005
A. Zerzelidis, A. Burns and A.J. Wellings
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.
Download Not Available
BibTex Entry
@inproceedings{Zerzelidis2007,
author = {A. Zerzelidis and A. Burns and A.J. Wellings},
booktitle = {Proceedings of IRTAW 13, Ada Letters, XXVII(2)},
pages = {18-22},
title = {Correcting the EDF protocol in Ada 2005},
year = {2007}
}