Research on an extensible real-time operating system to support integrated distributed services

Programming development becoming the neck of new network service deployments network systemprograms are required to offer high efficiency, complicated hardware control, safetyfault isolation and adoptability to ever growing new features. Extensibility is a主要关注because new functions are constantly added.Hitherto to attain runtime efficiency最重要的网络系统程序are developed with hard work as monolithic kernel code.To make thedevelopment and maintenance of网络系统程序easyappropriate OSs for control systems are hoped.We have implemented a component-oriented OS “L4-minix”字符：a micro-kernel L4-ka设计和导入Karlsruhe Univ., user-modemulti-servers (i.e. Memory server, Process server, File server, met server，user-mode driver codes，server malfunction isolation.There is a rumor that micro-kernel OSs are inherently inefficient，but this is not necessary true.我们已使用第二代微型内核（L4）scatter/gather IPC and page cache mapping，highly modularized systems can be realized with only a small overhead。

Programming development is becoming the neck of new network service deployments. Network system programs are required to offer high efficiency, complicated hardware control, safety, fault isolation and adoptability to ever growing new features. Extensibility is a mayor concern because new functions are constantly added.Hitherto, to attain runtime efficiency, most network system programs are developed with hard work as monolithic kernel code.To make the development and maintenance of network system programs easy, appropriate OSs for control systems are hoped.We have implemented a component-oriented OS "L4-minix" characterized by:・ a micro-kernel L4-ka designed and implemented in Karlsruhe Univ.,・ user-mode multi-servers (i.e. Memory server, Process server, File server, met server, etc.),・ user-mode driver codes, and・ server malfunction isolation.There is a rumor that micro-kernel OSs are inherently inefficient, but this is not necessary true. We have proved by using the 2nd generation micro-kernel (L4) with scatter/gather IPC and page cache mapping, highly modularized systems can be realized with only a small overhead.