Incorporating the Deadline Floor Protocol in Ada

M. Aldea, A Burns, M. Gutirrez, M. González Harbour

Research output: Contribution to journalArticlepeer-review


The Ada 2005 standard introduced Earliest Deadline First (EDF) as one of the supported dispatching policies. The standard specifies the Stack Resource Protocol (SRP) as the protocol for resource sharing among EDF tasks. During the time the SRP has been in the standard it has shown to be a relatively complex protocol. Recently, a new protocol has been proposed for resource sharing in EDF. This new protocol, called Deadline Floor inheritance Protocol (DFP), is simpler and more efficient than SRP while keeping all its good properties. In this paper we briefly describe both protocols and compare them from the complexity point of view. In light of its simplicity, we propose to change the language standard to include DFP instead of SRP. Some alternative modifications of the Ada Reference Manual are pointed out in order to include DFP in the most straightforward way
Original languageUndefined/Unknown
Pages (from-to)49-58
Number of pages10
JournalAda Letters -- Proc. of IRTAW 16
Issue number2
Publication statusPublished - 2013

Cite this