Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Special Report

The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks

  • March 1988
  • By John B. Goodenough , Lui R. Sha
  • The priority ceiling protocol is a new technique that addresses the priority inversion problem. Under the priority ceiling protocol, a high priority task can be blocked at most once by a lower priority task.
  • Performance and Dependability
  • Publisher: Software Engineering Institute
  • Abstract

    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.

  • Download

Cite This Report

SEI

Goodenough, John; & Sha, Lui. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks (CMU/SEI-88-SR-004 ). Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10561

IEEE

Goodenough. John, and Sha. Lui, "The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Special Report CMU/SEI-88-SR-004 , 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10561

APA

Goodenough, John., & Sha, Lui. (1988). The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks (CMU/SEI-88-SR-004 ). Retrieved December 25, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10561

CHI

John Goodenough, & Lui Sha. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks (CMU/SEI-88-SR-004 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10561

MLA

Goodenough, John., & Sha, Lui. 1988. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks (Technical Report CMU/SEI-88-SR-004 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10561