Concurrency control algorithms for real-time systems

Hidenori Nakazato, Kwei Jay Lin

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.

Original languageEnglish
Pages (from-to)647-654
Number of pages8
JournalMicroprocessing and Microprogramming
Volume38
Issue number1-5
DOIs
Publication statusPublished - 1993
Externally publishedYes

Fingerprint

Concurrency control
Real time systems
Network protocols
Ceilings

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Concurrency control algorithms for real-time systems. / Nakazato, Hidenori; Lin, Kwei Jay.

In: Microprocessing and Microprogramming, Vol. 38, No. 1-5, 1993, p. 647-654.

Research output: Contribution to journalArticle

@article{d08c1fbd78f44382aef1646228ed7bbb,
title = "Concurrency control algorithms for real-time systems",
abstract = "A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.",
author = "Hidenori Nakazato and Lin, {Kwei Jay}",
year = "1993",
doi = "10.1016/0165-6074(93)90206-Z",
language = "English",
volume = "38",
pages = "647--654",
journal = "Journal of Systems Architecture",
issn = "1383-7621",
publisher = "Elsevier",
number = "1-5",

}

TY - JOUR

T1 - Concurrency control algorithms for real-time systems

AU - Nakazato, Hidenori

AU - Lin, Kwei Jay

PY - 1993

Y1 - 1993

N2 - A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.

AB - A temporally predictable concurrency control protocol which maintains serializability is proposed for real-time systems. Concurrency control is necessary in real-time systems to maintain and to produce consistent results. However, it causes the blockings of task executions and introduces the unpredictability into the temporal behavior of systems. We propose a protocol, the convex ceiling protocol, which guarantees serializability while maintaining a predictable temporal behavior. We compare our protocol with the combination of the priority ceiling protocol and the two-phase locking protocol.

UR - http://www.scopus.com/inward/record.url?scp=0027657548&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027657548&partnerID=8YFLogxK

U2 - 10.1016/0165-6074(93)90206-Z

DO - 10.1016/0165-6074(93)90206-Z

M3 - Article

VL - 38

SP - 647

EP - 654

JO - Journal of Systems Architecture

JF - Journal of Systems Architecture

SN - 1383-7621

IS - 1-5

ER -