Design and implementation of the Lambda μ-kernel based operating system for embedded systems

Authors:
Kenji Hisazumi;Tsuneo Nakanishi;Teruaki Kitasuka;Akira Fukuda
Affiliations:
Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan
Venue:
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Year:
2002

Citing 5
Cited 0

Lightweight remote procedure call

SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Improving IPC by kernel design

SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Tailor-Made Operating Systems for Embedded Parallel Applications

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
VEST: A Toolset for Constructing and Analyzing Component Based Operating Systems For Embedded and Real-Time Systems

VEST: A Toolset for Constructing and Analyzing Component Based Operating Systems For Embedded and Real-Time Systems
Knit: component composition for systems software

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4

Quantified Score

Hi-index	0.00

Visualization

Abstract

With large-scale 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.