Toward real microkernels
- 1 September 1996
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 39 (9), 70-77
- https://doi.org/10.1145/234215.234473
Abstract
(IPC),and basic scheduling. All servers---even device drivers---run in user mode and are treated exactly likeany other application by the kernel. Since each serverhas its own address space, all these objects are protectedfrom one another.When the microkernel idea was introduced in theCOMMUNICATIONS OF THE ACM September 1996/Vol. 39, No. 9 71late 1980s, the software technology advantagesseemed obvious:. Different application program interfaces (APIs),different file systems, and...Keywords
This publication has 10 references indexed in Scilit:
- Extensibility safety and performance in the SPIN operating systemPublished by Association for Computing Machinery (ACM) ,1995
- ExokernelPublished by Association for Computing Machinery (ACM) ,1995
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- Designing and implementingChoicesCommunications of the ACM, 1993
- A persistent system in real use-experiences of the first 13 yearsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- The impact of operating system structure on memory system performancePublished by Association for Computing Machinery (ACM) ,1993
- Extensible file systems in springPublished by Association for Computing Machinery (ACM) ,1993
- Page placement algorithms for large real-indexed cachesACM Transactions on Computer Systems, 1992
- Two years of experience with a μ-Kernel based OSACM SIGOPS Operating Systems Review, 1991
- The duality of memory and communication in the implementation of a multiprocessor operating systemPublished by Association for Computing Machinery (ACM) ,1987