TOWARD REAL MICROKERNELS The inefficient, inflexible first generation inspired development of the vastly improved second generation, which may yet support a variety of operating systems.

[1]  Dawson R. Engler,et al.  Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.

[2]  Brian N. Bershad,et al.  Extensibility safety and performance in the SPIN operating system , 1995, SOSP.

[3]  John Rosenberg,et al.  The grand unified theory of address spaces , 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).

[4]  Meng Chang Chen,et al.  HiPEC: high performance external virtual memory caching , 1994, OSDI '94.

[5]  Kai Li,et al.  Implementation and performance of application-controlled file caching , 1994, OSDI '94.

[6]  Michael N. Nelson,et al.  Extensible file systems in spring , 1994, SOSP '93.

[7]  B. Bershad,et al.  The impact of operating system structure on memory system performance , 1994, SOSP '93.

[8]  Jochen Liedtke,et al.  A persistent system in real use-experiences of the first 13 years , 1993, Proceedings Third International Workshop on Object Orientation in Operating Systems.

[9]  Roy H. Campbell,et al.  Designing and implementing Choices: an object-oriented system in C++ , 1993, CACM.

[10]  Richard E. Kessler,et al.  Page placement algorithms for large real-indexed caches , 1992, TOCS.

[11]  David L. Black,et al.  The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[12]  Brian N. Bershad,et al.  Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware , 1994, OSDI.

[13]  David R. Cheriton,et al.  Binary Emulation of UNIX Using the V Kernel , 1990, USENIX Summer.

[14]  Alessandro Forin,et al.  UNIX as an Application Program , 1990, USENIX Summer.

[15]  Calton Pu,et al.  The Synthesis Kernel , 1988, Comput. Syst..

[16]  Sape J. Mullender,et al.  The Amoeba distributed operating system : selected papers 1984-1987 , 1987 .