论文信息 - L4 Reference Manual 486 Pentium

L4 Reference Manual 486 Pentium

3 Note This document describes the Version 2.0 Interface. Anyone is welcome to make comments and critiques, to propose additions and alternatives for future versions. This reference manual consists of two parts, (1) a processor-independent description of the principles and mechanisms of L4 and (2) a more detailed processor-speciic description. Part 2 refers to the Intel processors 486, Pentium r 1 and Pentium r Pro.

Jochen Liedtke | J. Liedtke

[1] Jochen Liedtke,et al. Improving IPC by kernel design , 1994, SOSP '93.

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

[3] Morrie Gasser,et al. The Digital Distributed System Security Architecture , 1989 .

[4] J. Liedtke. On -Kernel Construction , 1995 .

[5] 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.

[6] Jochen Liedtke,et al. Clans & Chiefs , 1992, ARCS.

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

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

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

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

[11] Winfried E. Kühnhauser,et al. The BirliX Security Architecture , 2013, J. Comput. Secur..