講演名 2001/6/21
組み込み用マイクロカーネルOS lambda
久住 憲嗣, 中西 恒夫, 福田 晃,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 組み込みシステムが大規模化している現在, 組み込み用オペレーティングシステム(OS)の保守性や開発効率が重要である. そこで, 本研究ではマイクロカーネル構成を採用した組み込みシステム向けOS Lambdaの設計・実装を行っている. マイクロカーネル構成はモノリシックカーネルに比べ開発効率はよいが, 性能が悪く, メモリを余分に消費する傾向にある. この問題を解決するために, 組み込みシステムでは出荷後にソフトウエアを変更することはまれである性質を利用し, 実装時にはマイクロカーネル構成で実装を行い, 出荷時にはモノリシックカーネルに自動変換を行い, 性能の改善をはかる手法を提案する. この手法を用い, マイクロカーネルを設計・実装し性能測定を行った結果, 本手法が有効であることを確認できた.
抄録(英) With large-scale of embedded systems, improvement of development efficiency is one of the most important problems. In this paper, we design and implement an embedded operating system, called the Lambda operating system, which improves the maintainability and development efficiency of the operating system. The Lambda operating system employs micro-kernel architecture, which allows the operating system to be easily designed. In addition, we propose a method to improve operating system performance by reconstructing it in implementation. With the method, Lambda is implemented as monolithic kernel. The method allows the operating system to be quickly developed and gives high performance. This paper also shows that the method is useful through implementing a prototype of Lambda and its performance evaluation.
キーワード(和)
キーワード(英)
資料番号 CPSY2001-20
発行日

研究会情報
研究会 CPSY
開催期間 2001/6/21(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Computer Systems (CPSY)
本文の言語 JPN
タイトル(和) 組み込み用マイクロカーネルOS lambda
サブタイトル(和)
タイトル(英) Design and Implementation of the Lambda μ-Kernel based Operating System for Embedded Systems
サブタイトル(和)
キーワード(1)(和/英)
第 1 著者 氏名(和/英) 久住 憲嗣 / Kenji Hisazumi
第 1 著者 所属(和/英) 九州大学システム情報科学府
Graduate School of Information Science and Electrical Engineering, Kyushu University
第 2 著者 氏名(和/英) 中西 恒夫 / Tsuneo Nakanishi
第 2 著者 所属(和/英) 奈良先端科学技術大学院大学情報科学研究科
Graduate School of Information Science, Nara Institute Science and Technology
第 3 著者 氏名(和/英) 福田 晃 / Akira Fukuda
第 3 著者 所属(和/英) 九州大学システム情報科学府
Graduate School of Information Science and Electrical Engineering, Kyushu University
発表年月日 2001/6/21
資料番号 CPSY2001-20
巻番号(vol) vol.101
号番号(no) 151
ページ範囲 pp.-
ページ数 8
発行日