Integrated management of priority inversion in Real-Time Mach

Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Abstract

Synchronization and communication are two common sources of priority inversion which may make the behavior of systems unpredictable and unanalyzable. In microkernel-based systems, they are heavily used for building operating system servers and decomposing applications into several tasks. The management of priorities in IPC and synchronization should be integrated using a uniform mechanism since priority inversion occurs if such integration is not supported. Also, a highly preemptable server structure should be provided because the execution in a server may take up too much time. In this paper, we propose an integrated real-time resource management model, and a real-time server model which solve the above problems. We implemented and evaluated the models in Real-Time Mach using a uniform mechanism. Our approach enables us to build operating system servers and to decompose applications into several tasks without incurring priority inversion.

Original languageEnglish
Title of host publicationProceedings - Real-Time Systems Symposium
Editors Anon
PublisherPubl by IEEE
Pages120-130
Number of pages11
ISBN (Print)081864480X
Publication statusPublished - 1993 Dec 1
EventProceedings of the Real- Time Systems Symposium - Durham, NC, USA
Duration: 1993 Dec 11993 Dec 3

Publication series

NameProceedings - Real-Time Systems Symposium

Other

OtherProceedings of the Real- Time Systems Symposium
CityDurham, NC, USA
Period93/12/193/12/3

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Integrated management of priority inversion in Real-Time Mach'. Together they form a unique fingerprint.

  • Cite this

    Nakajima, T., Kitayama, T., Arakawa, H., & Tokuda, H. (1993). Integrated management of priority inversion in Real-Time Mach. In Anon (Ed.), Proceedings - Real-Time Systems Symposium (pp. 120-130). (Proceedings - Real-Time Systems Symposium). Publ by IEEE.