Integrated management of priority inversion in Real-Time Mach

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


研究成果: Conference contribution

5 被引用数 (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.

ホスト出版物のタイトルProceedings - Real-Time Systems Symposium
編集者 Anon
出版社Publ by IEEE
出版ステータスPublished - 1993 12月 1
イベントProceedings of the Real- Time Systems Symposium - Durham, NC, USA
継続期間: 1993 12月 11993 12月 3


名前Proceedings - Real-Time Systems Symposium


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

ASJC Scopus subject areas

  • ソフトウェア
  • ハードウェアとアーキテクチャ
  • コンピュータ ネットワークおよび通信


「Integrated management of priority inversion in Real-Time Mach」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。