article · 1994

Real-Time Synchronization Protocols with Abortable Critical Sections

Hiroaki Takada, Ken Sakamura

Cited by 0Abstract and details only

Abstract

Making critical sections abortable is a promising approach to reducing priority inversions. To improve the schedulability of a system using abortable critical sections, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the ceiling abort protocol (CAP) which introduces a new priority-based abort scheme to the priority ceiling protocol. Our proposed protocol can make the maximum number of abortions smaller than with the conventional priority abort scheme. A method to determine an upper bound on the number of abortions under the CAP is presented, and a schedulability analysis of the protocol is illustrated. Some extensions of the CAP are also discussed. 1 Introduction Priority inversion, the state in which a higher priority job is blocked by lower priority jobs due to resource sharing, is a major cause to degrade schedulability in hard real-time systems. Making critical sections abortable is a promising approach to ...

Cite this paper

APA 7

Takada, H., & Sakamura, K. (1994). Real-Time Synchronization Protocols with Abortable Critical Sections.

MLA 9

Takada, Hiroaki, and Ken Sakamura. “Real-Time Synchronization Protocols with Abortable Critical Sections.” 1994.

Chicago

Takada, Hiroaki, and Ken Sakamura. 1994. “Real-Time Synchronization Protocols with Abortable Critical Sections.”

Harvard

Takada, H. and Sakamura, K. (1994) ‘Real-Time Synchronization Protocols with Abortable Critical Sections’.

BibTeX

@article{takada1994real,
  title = {{Real-Time Synchronization Protocols with Abortable Critical Sections}},
  author = {Takada, Hiroaki and Sakamura, Ken},
  year = {1994}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.