Dynamic loadable object support for real-time mach kernels

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Moriai, Satoshi, Tokuda, Hideyuki
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Device Driver Exact sciences and technology Kernel Module Object List Service Routine Software System Call
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	333
container_issue
container_start_page	318
container_title
container_volume
creator	Moriai, Satoshi Tokuda, Hideyuki
description	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.
doi_str_mv	10.1007/3-540-63343-X_57
format	Conference Proceeding
fullrecord	<record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_2734313</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2734313</sourcerecordid><originalsourceid>FETCH-LOGICAL-p223t-14ac7998001143c0349fd32bb568ba01f951bf5e6703ee71f8c763fe076a443f3</originalsourceid><addsrcrecordid>eNotkLtPAzEMh8NLopTujBlYU5xzLumxId5SJRaQukVJmsC191JyDP3vSWm9WPLvk2V_hNxwmHMAdYesFMAkokC20qU6IVeYJ7ISCOqUTLjknOW0OjsGe3J1TiaAULBKCbwks5Q2kAsLJUs1IfdPu860taNNb9bGNp72duPdSNPvMPRxpKGPNHrTsLFuPW2N-6FbHzvfpGtyEUyT_OzYp-Tr5fnz8Y0tP17fHx-WbCgKHBkXxqmqWgBwLtBBvi-ssbC2lAtrgIeq5DaUXipA7xUPC6ckBg9KGiEw4JTcHvYOJjnThGg6Vyc9xLo1cacLlb_kmLH5AUs56b591Lbvt0lz0Ht7GnVWov-d6L09_APK1lxT</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Dynamic loadable object support for real-time mach kernels</title><source>Springer Books</source><creator>Moriai, Satoshi ; Tokuda, Hideyuki</creator><contributor>Tsukamoto, Michiharu ; Masuda, Takashi ; Masunaga, Yoshifumi</contributor><creatorcontrib>Moriai, Satoshi ; Tokuda, Hideyuki ; Tsukamoto, Michiharu ; Masuda, Takashi ; Masunaga, Yoshifumi</creatorcontrib><description>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.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 354063343X</identifier><identifier>ISBN: 9783540633433</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540694307</identifier><identifier>EISBN: 9783540694304</identifier><identifier>DOI: 10.1007/3-540-63343-X_57</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Device Driver ; Exact sciences and technology ; Kernel Module ; Object List ; Service Routine ; Software ; System Call</subject><ispartof>Lecture notes in computer science, 1997, p.318-333</ispartof><rights>Springer-Verlag Berlin Heidelberg 1997</rights><rights>1997 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-63343-X_57$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-63343-X_57$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2734313$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Tsukamoto, Michiharu</contributor><contributor>Masuda, Takashi</contributor><contributor>Masunaga, Yoshifumi</contributor><creatorcontrib>Moriai, Satoshi</creatorcontrib><creatorcontrib>Tokuda, Hideyuki</creatorcontrib><title>Dynamic loadable object support for real-time mach kernels</title><title>Lecture notes in computer science</title><description>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.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Device Driver</subject><subject>Exact sciences and technology</subject><subject>Kernel Module</subject><subject>Object List</subject><subject>Service Routine</subject><subject>Software</subject><subject>System Call</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>354063343X</isbn><isbn>9783540633433</isbn><isbn>3540694307</isbn><isbn>9783540694304</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1997</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotkLtPAzEMh8NLopTujBlYU5xzLumxId5SJRaQukVJmsC191JyDP3vSWm9WPLvk2V_hNxwmHMAdYesFMAkokC20qU6IVeYJ7ISCOqUTLjknOW0OjsGe3J1TiaAULBKCbwks5Q2kAsLJUs1IfdPu860taNNb9bGNp72duPdSNPvMPRxpKGPNHrTsLFuPW2N-6FbHzvfpGtyEUyT_OzYp-Tr5fnz8Y0tP17fHx-WbCgKHBkXxqmqWgBwLtBBvi-ssbC2lAtrgIeq5DaUXipA7xUPC6ckBg9KGiEw4JTcHvYOJjnThGg6Vyc9xLo1cacLlb_kmLH5AUs56b591Lbvt0lz0Ht7GnVWov-d6L09_APK1lxT</recordid><startdate>19970101</startdate><enddate>19970101</enddate><creator>Moriai, Satoshi</creator><creator>Tokuda, Hideyuki</creator><general>Springer Berlin Heidelberg</general><general>Springer-Verlag</general><scope>IQODW</scope></search><sort><creationdate>19970101</creationdate><title>Dynamic loadable object support for real-time mach kernels</title><author>Moriai, Satoshi ; Tokuda, Hideyuki</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p223t-14ac7998001143c0349fd32bb568ba01f951bf5e6703ee71f8c763fe076a443f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1997</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Device Driver</topic><topic>Exact sciences and technology</topic><topic>Kernel Module</topic><topic>Object List</topic><topic>Service Routine</topic><topic>Software</topic><topic>System Call</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Moriai, Satoshi</creatorcontrib><creatorcontrib>Tokuda, Hideyuki</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Moriai, Satoshi</au><au>Tokuda, Hideyuki</au><au>Tsukamoto, Michiharu</au><au>Masuda, Takashi</au><au>Masunaga, Yoshifumi</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Dynamic loadable object support for real-time mach kernels</atitle><btitle>Lecture notes in computer science</btitle><date>1997-01-01</date><risdate>1997</risdate><spage>318</spage><epage>333</epage><pages>318-333</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>354063343X</isbn><isbn>9783540633433</isbn><eisbn>3540694307</eisbn><eisbn>9783540694304</eisbn><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.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/3-540-63343-X_57</doi><tpages>16</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	Lecture notes in computer science, 1997, p.318-333
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_2734313
source	Springer Books
subjects	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Device Driver Exact sciences and technology Kernel Module Object List Service Routine Software System Call
title	Dynamic loadable object support for real-time mach kernels
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T22%3A07%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Dynamic%20loadable%20object%20support%20for%20real-time%20mach%20kernels&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Moriai,%20Satoshi&rft.date=1997-01-01&rft.spage=318&rft.epage=333&rft.pages=318-333&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=354063343X&rft.isbn_list=9783540633433&rft_id=info:doi/10.1007/3-540-63343-X_57&rft_dat=%3Cpascalfrancis_sprin%3E2734313%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540694307&rft.eisbn_list=9783540694304&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true