How to build a high-performance microkernel
Abstract: From a software-technology point of view, the µ-kernel concept is superior to large integrated kernels. On the other hand, it is widely believed that (a) µ-kernel based systems are inherently inefficient and (b) they are not sufficiently flexible. Contradictory to this belief, we show and support by documentary evidence that inefficiency and inflexibility of current µ-kernels is not inherited from the basic idea but mostly from overloading the kernel and/or from improper implementation. Based... (Update)
Similar documents (at the sentence level): More
66.3%: On μ-Kernel Construction - Liedtke (1995)
(Correct)
30.3%: L4 Reference Manual - 486, Pentium, Pentium Pro - Liedtke (1996)
(Correct)
29.2%: L4 Reference Manual MIPS R4x00 Version 1.0 - Elphinstone, Heiser, Liedtke (1997)
(Correct)
Active bibliography (related documents): More All
0.6: Achieved IPC Performance (Still The Foundation For.. - Liedtke.. (1997)
(Correct)
0.3: Towards Reliable Modelling with Stochastic Process Algebras - Bradley (1999)
(Correct)
0.3: Storing And Retrieving Keys In A Table By Cross-Indexing - Teahan, Witten
(Correct)
Similar documents based on text: More All
0.1: Flexible Control of Downloaded Executable Content - Jaeger, Prakash, Liedtke, Islam (1997)
(Correct)
0.1: Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser, Liedtke (1999)
(Correct)
0.1: Potential Interdependencies Between Caches, TLBs and Memory.. - Liedtke (1995)
(Correct)
BibTeX entry: (Update)
@inproceedings{ liedtke95mukernel,
author = "Jochen Liedtke",
title = "{On $\mu$-Kernel Construction}",
booktitle = "{Proceedings of the Fifteenth {ACM} Symposium on Operating System Prin{\-}cip{\-}les}",
pages = "237--250",
year = "1995",
url = "citeseer.ist.psu.edu/article/liedtke95mukernel.html" }
Citations (may not include all citations):
400
safety and performance in the Spin operating system (context) - Bershad, Savage et al. - 1995
226
Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1989 ACM DBLP
222
MIPS Risc Architecture (context) - Kane, Heinrich - 1992 ACM
176
Why aren't operating systems getting faster as fast as hardw..
- Ousterhout - 1990
175
Evaluating associativity in CPU caches (context) - Hill, Smith - 1989 ACM DBLP
158
Chorus distributed operating system (context) - Rozier, Abrossimov et al. - 1988 DBLP
115
The Spring nucleus: A microkernel for objects
- Hamilton, Kougiouris - 1993
110
The impact of operating system structure on memory system pe..
- Chen, Bershad - 1993 ACM DBLP
98
Improving IPC by kernel design
- Liedtke - 1993 ACM DBLP
95
Implementation and performance of application-controlledfile..
- Cao, Felten et al. - 1994
94
The effect of context switches on cache performance (context) - Mogul, Borg - 1991 ACM DBLP
89
Spin -- an extensible microkernel for application-specific o..
- Bershad, Chambers et al. - 1994
83
An architectural overview of QNX (context) - Hildebrand - 1992 ACM DBLP
73
The Digital distributed system security architecture
- Gasser, Goldstein et al. - 1989
70
Performance of the Firefly RPC
- Schroeder, Burroughs - 1989 ACM
67
Page placement algorithms for large real-indexedcaches
- Kessler, Hill - 1992
59
A caching model of operating system kernel functionality
- Cheriton, Duda - 1994 ACM DBLP
53
Extensible file systems in Spring
- Khalidi, Nelson - 1993 ACM DBLP
35
Dynamic page mapping policies for cache conflict resolution ..
- Romer, Lee et al. - 1994 DBLP
35
The Logical Design of Parallel Operating Systems (context) - Schroder-Preikschat - 1994 ACM
31
The nucleus of a multiprogramming system (context) - Hansen - 1970 ACM
21
Improved address-space switching on Pentium processors by tr..
- Liedtke - 1995
18
Pentium Processor User's Manual (context) - Corp - 1993
18
Kernel-structuring for object-oriented operating systems: Th..
- Yokote - 1993
17
The Synthesis kernel
- Pu, Massalin et al. - 1988 DBLP
17
An overview of the NetWare operating system (context) - Major, Minshall et al. - 1994 DBLP
10
The Panda system architecture -- a pico-kernel approach
- Assenmacher, Breitbach et al. - 1993
10
an operating system architecture for application-level resou.. (context) - Engler, Kaashoek et al. - 1995
7
PowerPC 601RISC MicroprocessorUser's Manual (context) - Inc - 1993
6
The Birlix security architecture (context) - Hartig, Kowalski et al. - 1993
3
DECChip21064-AA Risc Microprocessor Data Sheet (context) - Corp - 1992
3
IEEE Transactions on Computers (context) - on, Intel et al. - 1990
3
The architecture of the Ra kernel (context) - Bernabeu-Auban, Hutto et al. - 1988
1
Hydra: The kernel of a multiprocessing operating system (context) - Review, -- et al. - 1974
1
The operating system kernelas a secureprogrammablemachine (context) - Engler, Kaashoek et al. - 1994
1
Optimal allocation of on-chip memory for multiple-API operat.. (context) - Inc, Uhlig et al. - 1994 ACM DBLP
1
Matching micro-kernels to modern applications using fine-gra.. (context) - ACM, -- et al. - 1995 ACM
1
Using continuationsto implementthread managementandcommunica.. (context) - Draves, Bershad et al. - 1991
1
Evolving Mach 3 (context) - Ford, Lepreau - 1994
Documents on the same site (http://ficus-www.cs.ucla.edu/project-members/reiher/CS239_spring96.html): More
Serverless Network File Systems - Anderson (1995)
(Correct)
An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)
(Correct)
Extent-like Performance from a UNIX File System - McVoy, Kleiman (1991)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC