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

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

2 Scopus Citations
View graph of relations

Author(s)

Related Research Unit(s)

Detail(s)

Original languageEnglish
Title of host publicationProceedings - Euromicro Conference on Real-Time Systems
Pages102-109
Publication statusPublished - 1997

Publication series

Name
ISSN (Print)1068-3070

Conference

Title9th Euromicro Workshop on Real Time Systems, ECRTS 1997
PlaceSpain
CityToledo
Period11 - 13 June 1997

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.

Citation Format(s)

A conditional abortable priority ceiling protocol for real-time systems with mixed tasks. / Lam, Kam-Yiu; Cheung, Kwok-Kin; Ng, Joseph Kee-Yin.
Proceedings - Euromicro Conference on Real-Time Systems. 1997. p. 102-109 613770.

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