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

17 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
Externally publishedYes
EventProceedings of the Real- Time Systems Symposium - Durham, NC, USA
Duration: 1993 Dec 11993 Dec 3

Other

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

Fingerprint

Mach number
Servers
Computer operating systems
Synchronization
Communication

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

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). Publ by IEEE.

Integrated management of priority inversion in Real-Time Mach. / Nakajima, Tatsuo; Kitayama, Takuro; Arakawa, Hiroshi; Tokuda, Hideyuki.

Proceedings - Real-Time Systems Symposium. ed. / Anon. Publ by IEEE, 1993. p. 120-130.

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

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. Publ by IEEE, pp. 120-130, Proceedings of the Real- Time Systems Symposium, Durham, NC, USA, 93/12/1.
Nakajima T, Kitayama T, Arakawa H, Tokuda H. Integrated management of priority inversion in Real-Time Mach. In Anon, editor, Proceedings - Real-Time Systems Symposium. Publ by IEEE. 1993. p. 120-130
Nakajima, Tatsuo ; Kitayama, Takuro ; Arakawa, Hiroshi ; Tokuda, Hideyuki. / Integrated management of priority inversion in Real-Time Mach. Proceedings - Real-Time Systems Symposium. editor / Anon. Publ by IEEE, 1993. pp. 120-130
@inproceedings{613cc039165046349df60105af8846dd,
title = "Integrated management of priority inversion in Real-Time Mach",
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.",
author = "Tatsuo Nakajima and Takuro Kitayama and Hiroshi Arakawa and Hideyuki Tokuda",
year = "1993",
language = "English",
isbn = "081864480X",
pages = "120--130",
editor = "Anon",
booktitle = "Proceedings - Real-Time Systems Symposium",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Integrated management of priority inversion in Real-Time Mach

AU - Nakajima, Tatsuo

AU - Kitayama, Takuro

AU - Arakawa, Hiroshi

AU - Tokuda, Hideyuki

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

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

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

M3 - Conference contribution

AN - SCOPUS:0027812437

SN - 081864480X

SP - 120

EP - 130

BT - Proceedings - Real-Time Systems Symposium

A2 - Anon, null

PB - Publ by IEEE

ER -