Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted… 
2011
2011
  • D. Kiss
  • 3rd IEEE International Symposium on Logistics and…
  • 2011
  • Corpus ID: 14993817
This paper introduces a modified version of the priority ceiling protocol (PCP) by applying adaptive techniques to approximate… 
Highly Cited
2005
Highly Cited
2005
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition… 
Highly Cited
2004
Highly Cited
2004
In off-line schedulability tests for real time systems, tasks are usually assumed to be periodic, i.e. they are released with… 
2000
2000
  • 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… 
1996
1996
The priority ceiling protocol (PCP) is an effective protocol for minimizing priority inversions in real-time scheduling. Priority… 
Review
1991
Review
1991
A systematic optimization process for multiple-instance resource sharing in real-time systems is presented. The authors derive… 
Highly Cited
1990
Highly Cited
1990
An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the… 
Highly Cited
1990
Highly Cited
1990
Real-time systems have stringent deadline requirements for their tasks. To meet the requirements, a real-time system must use… 
Highly Cited
1988
Highly Cited
1988
Abstract : The priority ceiling protocol is a new technique that addresses the priority inversion problem, i.e., the possibility…