Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Priority ceiling protocol

Known as: PCP, Priority ceiling 
In real-time computing, the priority ceiling protocol is a synchronization protocol for shared resources to avoid unbounded priority inversion and… 
Wikipedia

Related topics

Related topics

15 relations
AdaCritical sectionDeadlockDynamic priority scheduling
Expand

Broader (2)

Concurrency controlReal-time computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted… 
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Highly Cited
2005
Highly Cited
2005
Dynamic priority ceilings: A concurrency control protocol for real-time systems
  • Min-Ih Chen, Kwei-Jay Lin
  • Real-Time Systems
  • 2005
  • Corpus ID: 29103132
Real-time systems have stringent deadline requirements for their tasks. To meet the requirements, a real-time system must use… 
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2005
Highly Cited
2005
Fast component interaction for real-time systems
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition… 
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
2003
2003
A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System
This paper describes a computer-aided software engineering (CASE) tool that helps designers analyze and fine-tune the timing… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2000
2000
Formal analysis of the priority ceiling protocol
  • B. Dutertre
  • Proceedings 21st IEEE Real-Time Systems Symposium
  • 2000
  • Corpus ID: 1121650
We present a case study in formal specification and tool-assisted verification of real-time schedulers, based on the priority… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1996
1996
Priority ceiling protocol in Ada
The priority ceiling protocol (PCP) is an effective protocol for minimizing priority inversions in real-time scheduling. Priority… 
Review
1991
Review
1991
A priority ceiling protocol for multiple-instance resources
  • Min-Ih Chen, Kwei-Jay Lin
  • [] Proceedings Twelfth Real-Time Systems…
  • 1991
  • Corpus ID: 20517074
A systematic optimization process for multiple-instance resource sharing in real-time systems is presented. The authors derive… 
1991
1991
Guaranteeing Hard Real Time End-to-End Communications Deadlines
In a distributed hard real time system communication between tasks on different processor must occur in bounded time. The… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Highly Cited
1990
Highly Cited
1990
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the… 
  • figure 1
  • figure 2
Highly Cited
1988
Highly Cited
1988
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
Abstract : The priority ceiling protocol is a new technique that addresses the priority inversion problem, i.e., the possibility… 
  • figure 1
  • figure 1
  • figure 2
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE