Skip to main navigation Skip to search Skip to main content

A conditional abortable priority ceiling protocol for real-time systems with mixed tasks

Kam-Yiu Lam, Kwok-Kin Cheung, Joseph Kee-Yin Ng

Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

Abstract

Priority Ceiling Protocol (PCP) is a well known synchronization protocol for hard real time systems. However, it has a problem of ceiling blocking which imposes a great hindrance to real time systems especially for those with mixed tasks. A novel protocol called the Conditional Abortable Priority Ceiling Protocol (CA-PCP) is proposed. It resolves the problem by incorporating a conditional abort scheme into PCP. The new protocol inherits all the desirable characteristics from PCP and Ceiling Abort Protocol (CAP) which is yet another modification on PCP. In the proposed CA-PCP, a silent period is defined to control the number of aborts. During the period, it is conditional abortable so as to make a balance between blocking and abort of the tasks dynamically based on the utilization of the systems in order to achieve a high schedulability. Performance study of the proposed protocol has been done through simulation. The performance results indicate that CA-PCP can significantly improve the performance of a system if the length of the abortable critical sections are well chosen. © 1997 IEEE.
Original languageEnglish
Title of host publicationProceedings - Euromicro Conference on Real-Time Systems
Pages102-109
DOIs
Publication statusPublished - 1997
Event9th Euromicro Workshop on Real Time Systems, ECRTS 1997 - Toledo, Spain
Duration: 11 Jun 199713 Jun 1997

Publication series

Name
ISSN (Print)1068-3070

Conference

Conference9th Euromicro Workshop on Real Time Systems, ECRTS 1997
PlaceSpain
CityToledo
Period11/06/9713/06/97

Fingerprint

Dive into the research topics of 'A conditional abortable priority ceiling protocol for real-time systems with mixed tasks'. Together they form a unique fingerprint.

Cite this