Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The
The priority ceiling protocol is a new technique that addresses the priority inversion problem, i.e., the possibility that a high-priority task can be delayed by a low-priority task. Under the priority ceiling protocol, a high priority task can be blocked at most once by a lower priority task. This paper defines how to apply the protocol to ADA. In particular, restrictions on the use of task priorities in ADA are defined as well as restrictions on the use of ADA tasking constructs. An extensive example illustrating the behavior guaranteed by the protocol is given.
This paper was presented at the 2nd International Workshop on Real-Time ADA Issues in May 1988.
This report is related to the following area(s) of work:
Performance and DependabilitySpecial Report
CMU/SEI-88-SR-004
March 1988
Cite This Report
SEI:
Goodenough, John; & Sha, Lui. Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The (CMU/SEI-88-SR-004 ). Software Engineering Institute, Carnegie Mellon University, 1988. http://www.sei.cmu.edu/library/abstracts/reports/88sr004.cfm
IEEE:
J. Goodenough, and L. Sha, "Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Special Report CMU/SEI-88-SR-004 , 1988. http://www.sei.cmu.edu/library/abstracts/reports/88sr004.cfm
APA:
Goodenough, J., & Sha, L. (1988). Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The (CMU/SEI-88-SR-004 ). Retrieved May 25, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/88sr004.cfm
CHI:
Goodenough, John, and Lui Sha. Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The (CMU/SEI-88-SR-004 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1988. http://www.sei.cmu.edu/library/abstracts/reports/88sr004.cfm
MLA:
Goodenough, J., & Sha, L. 1988. Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The (Technical Report CMU/SEI-88-SR-004 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/88sr004.cfm
Find Us Here
Share This Page
For more information
