Affiliation:
1. German National Research Center for Computer Science (GMD), D-5205 Sankt Augustin, Germany
Abstract
This paper describes the basic components of the L3 operating system and the experiences of the first two years using it. The system results from scientific research, but is addressed to commercial application. It is based on a small kernel handling tasks, threads and dataspaces. User level device drivers and file systems are described as examples of flexible OS services realized outside the kernel.
Publisher
Association for Computing Machinery (ACM)
Reference11 articles.
1. The Multics virtual memory
2. {5} EUMEL User Manual. GMD. St. Augustin 1985. {5} EUMEL User Manual. GMD. St. Augustin 1985.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Understanding the Overheads of Hardware and Language-Based IPC Mechanisms;Proceedings of the 11th Workshop on Programming Languages and Operating Systems;2021-10-25
2. Lightweight kernel isolation with virtualization and VM functions;Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments;2020-03-03
3. L4 Microkernels;ACM Transactions on Computer Systems;2016-04-06
4. Automatic verification of active device drivers;ACM SIGOPS Operating Systems Review;2014-05-15
5. From L3 to seL4 what have we learnt in 20 years of L4 microkernels?;Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles;2013-11-03