Dynamic loadable object support for real-time mach kernels

Satoshi Moriai, Hideyuki Tokuda

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

1 Citation (Scopus)

Abstract

In this paper, we describe a dynamic extensible kernel architecture suitable for Real-Time Mach kernels. We design a new kernel architecture, the micro-kernel tray architecture. Our goal is to provide a new kernel foundation that enables an application to extend kernels dynamically and also enables an operating system builder to create a micro-kernel construction kit similar to a compiler construction kit. A micro-kernel tray provides a software backplane bus for micro-kernel based systems. A kernel construction kit would save even more time and would also enable the developer to focus her/his effort on the interesting aspects of operating systems. We report the preliminary step of our research, propose dynamic loadable object support for Real-Time Mach kernels, and discuss the issue of dynamic reconfigurable kernels.

Original languageEnglish
Title of host publicationWorldwide Computing and Its Applications - International Conference, WWCA 1997, Proceedings
EditorsTakashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto
PublisherSpringer Verlag
Pages318-333
Number of pages16
ISBN (Print)354063343X, 9783540633433
Publication statusPublished - 1997 Jan 1
EventInternational Conference on Worldwide Computing and Its Applications, WWCA 1997 - Tsukuba, Japan
Duration: 1997 Mar 101997 Mar 11

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1274
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Conference on Worldwide Computing and Its Applications, WWCA 1997
CountryJapan
CityTsukuba
Period97/3/1097/3/11

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Dynamic loadable object support for real-time mach kernels'. Together they form a unique fingerprint.

  • Cite this

    Moriai, S., & Tokuda, H. (1997). Dynamic loadable object support for real-time mach kernels. In T. Masuda, Y. Masunaga, & M. Tsukamoto (Eds.), Worldwide Computing and Its Applications - International Conference, WWCA 1997, Proceedings (pp. 318-333). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1274). Springer Verlag.