Skip to search formSkip to main content
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… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2005
2005
An Improved Priority Ceiling Protocol to Reduce Context Switches in Task Synchronization
Context switching between concurrent tasks is a pure operating system overhead which wastes CPU cycles. This paper describes a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
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… Expand
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2004
2004
A Generic Approach to Schedulability Analysis of Real-Time Tasks
In off-line schedulability tests for real time systems, tasks are usually assumed to be periodic, i.e. they are released with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 2
Is this relevant?
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… Expand
  • figure 1
  • figure 1
  • figure 2
Is this relevant?
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