Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,178,565 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Ada
Critical section
Deadlock
Dynamic priority scheduling
Expand
Broader (2)
Concurrency control
Real-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
M. Schwarz
,
H. Seidl
,
Vesal Vojdani
,
P. Lammich
,
M. Müller-Olm
ACM-SIGACT Symposium on Principles of Programming…
2011
Corpus ID: 8589046
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted…
Expand
2011
2011
Intelligent priority ceiling protocol for scheduling
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…
Expand
Highly Cited
2005
Highly Cited
2005
Fast component interaction for real-time systems
U. Steinberg
,
J. Wolter
,
Hermann Härtig
Euromicro Conference on Real-Time Systems
2005
Corpus ID: 1764467
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition…
Expand
Highly Cited
2004
Highly Cited
2004
A Generic Approach to Schedulability Analysis of Real-Time Tasks
E. Fersman
,
W. Yi
Nordic Journal of Computing
2004
Corpus ID: 6066953
In off-line schedulability tests for real time systems, tasks are usually assumed to be periodic, i.e. they are released with…
Expand
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
1996
1996
Priority ceiling protocol in Ada
K. Yue
,
S. Davari
,
T. Leibfried
TRI-Ada
1996
Corpus ID: 7165783
The priority ceiling protocol (PCP) is an effective protocol for minimizing priority inversions in real-time scheduling. Priority…
Expand
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…
Expand
Highly Cited
1990
Highly Cited
1990
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
L. Sha
,
R. Rajkumar
,
J. Lehoczky
IEEE Trans. Computers
1990
Corpus ID: 7500313
An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the…
Expand
Highly Cited
1990
Highly Cited
1990
Dynamic priority ceilings: A concurrency control protocol for real-time systems
Min-Ih Chen
,
Kwei-Jay Lin
Real-time systems
1990
Corpus ID: 29103132
Real-time systems have stringent deadline requirements for their tasks. To meet the requirements, a real-time system must use…
Expand
Highly Cited
1988
Highly Cited
1988
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
J. Goodenough
,
L. Sha
International Workshop on Real-Time Ada
1988
Corpus ID: 42694712
Abstract : The priority ceiling protocol is a new technique that addresses the priority inversion problem, i.e., the possibility…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE