Generic mechanisms and policies provided by the existing operating system kernels cannot satisfy requirements of the current and future applications, especially in mobile system environments. An operating system kernel needs to be adaptable, customizable, and extensible to cope with the changes of a computation environment and requirements from applications. This paper introduces a DKM (Dynamic Kernel Module) as a mechanism and the DKM server as a service to reconfigure RT-Mach. A DKM is an extension of a LKM (Loadable Kernel Module), which is provided by UNIX kernels to extend their functionality dynamically. The DKM server manages their load and detachment. It must be programmable not to lose the flexibility of their management but to be reconfigurable to cope with a variety of applications and systems.
|ジャーナル||International Workshop on Object Orientation in Operating Systems - Proceedings|
|出版ステータス||Published - 1996 12 1|
|イベント||Proceedings of the 1996 5th International Workshop on Object Orientation in Operating Systems - Seattle, WA, USA|
継続期間: 1996 10 27 → 1996 10 28
ASJC Scopus subject areas
- Hardware and Architecture