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

Mach number
kernel
Real-time
Operating Systems
Object
Compiler
Software

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.

Dynamic loadable object support for real-time mach kernels. / Moriai, Satoshi; Tokuda, Hideyuki.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1274 Springer Verlag, 1997. p. 318-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1274).

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

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1274, Springer Verlag, pp. 318-333, International Conference on Worldwide Computing and Its Applications, WWCA 1997, Tsukuba, Japan, 97/3/10.
Moriai S, Tokuda H. 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. Springer Verlag. 1997. p. 318-333. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Moriai, Satoshi ; Tokuda, Hideyuki. / Dynamic loadable object support for real-time mach kernels. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1274 Springer Verlag, 1997. pp. 318-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{32addef7c41a43188d95fff9316150a5,
title = "Dynamic loadable object support for real-time mach kernels",
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.",
author = "Satoshi Moriai and Hideyuki Tokuda",
year = "1997",
language = "English",
isbn = "354063343X",
volume = "1274",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "318--333",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Dynamic loadable object support for real-time mach kernels

AU - Moriai, Satoshi

AU - Tokuda, Hideyuki

PY - 1997

Y1 - 1997

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

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

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

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

M3 - Conference contribution

AN - SCOPUS:21744455789

SN - 354063343X

SN - 9783540633433

VL - 1274

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 318

EP - 333

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -