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… (More)
Wikipedia

Related topics

Related topics

15 relations
AdaCritical sectionDeadlockDynamic priority scheduling
(More)

Broader (2)

Concurrency controlReal-time computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Intelligent priority ceiling protocol for scheduling
This paper introduces a modified version of the priority ceiling protocol (PCP) by applying adaptive techniques to approximate… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2007
2007
The implementation of the Priority Ceiling Protocol in Ada-2005
Ada 2005 is an even safer and more agile language than its predecessors, with all of the efficiency that is a hallmark of the Ada… (More)
  • figure 5
Is this relevant?
2000
2000
Formal Analysis of the Priority Ceiling Protocol
We present a case study in formal specification and toolassisted verification of real-time schedulers, based on the priority… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
The Priority Ceiling Protocol : Formalization and Analysis Using PVS
Common real-time operating systems rely on priority-based, preemptive scheduling. Resource sharing in such systems potentially… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 3.3
Is this relevant?
1997
1997
A Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order
The difficulties of providing a guarantee of meeting transaction deadlines in hard real-time database systems lie in the problems… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
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… (More)
Is this relevant?
1996
1996
EXTENDING THE PRIORITY CEILING PROTOCOL USING READ/WRITE AFFECTED SETS
Concurrency control algorithms that are used in a real-time database must satisfy the timing requirements of the transactions as… (More)
  • figure 2.1
  • figure 2.3
  • figure 2.5
  • figure 2.6
  • figure 2.7
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
AbstmctA direct application of commonly used synchronization primitives such as semaphores, monitors, or the Ada rendezvous can… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Dynamic priority ceilings: A concurrency control protocol for real-time systems
Real-time systems have stringent deadline requirements for their tasks. To meet the requirements, a real-time system must use… (More)
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
At the First International Workshop on Real-Time Ada Issues, it was reported that a high-priority Ada task can be delayed… (More)
  • figure 1
  • figure 1
  • figure 2
Is this relevant?