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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages318-333
Number of pages16
Volume1274
ISBN (Print)354063343X, 9783540633433
Publication statusPublished - 1997
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)03029743
ISSN (Electronic)16113349

Other

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

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Moriai, S., & Tokuda, H. (1997). Dynamic loadable object support for real-time mach kernels. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1274, pp. 318-333). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1274). Springer Verlag.