See this document in CiteSeerX!

On μ-Kernel Construction (1995)  (Make Corrections)  
Jochen Liedtke
Proceedings of the Fifteenth ACM Symposium on Operating System Prin\-cip\-les



  Home/Search   Context   Related

 
View or download:
ucla.edu/projectmembers/r...liedtke.ps
ucla.edu/classes/239_2.fal...onmicro.ps
os.inf.tudresden.de/papers...Mikern.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucla.edu/project...CS239_spring96 (more)
From:  ucla.edu/classes/239_2.f...weekly
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
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