Integrated management of priority inversion in Real-Time Mach

Tatsuo Nakajima*, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda

*Corresponding author for this work

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

20 Citations (Scopus)


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
Number of pages11
ISBN (Print)081864480X
Publication statusPublished - 1993 Dec 1
Externally publishedYes
EventProceedings of the Real- Time Systems Symposium - Durham, NC, USA
Duration: 1993 Dec 11993 Dec 3

Publication series

NameProceedings - Real-Time Systems Symposium


OtherProceedings of the Real- Time Systems Symposium
CityDurham, NC, USA

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications


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

Cite this