References

1

B.N. Bershad, T.E. Anderson, E.D. Lazowska, and H.M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990.

2

B.N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage, and E. Gün Sirer. Spin - an extensible microkernel for application-specific operating system services. University of Washington Computer Science and Engineering Technical Report 94-03-03, February 1994.

3

J.B. Chen, A. Borg, and N.P. Jouppi. A simulation-based study of TLB performance. In Proc. 19th Annual Intl. Symposium on Computer Architecture, pages 114-123. ACM SIGARCH, IEEE Computer Society, May 1992.

4

D.R. Cheriton. The V distributed system. Comm. ACM, 31(3):314-333, March 1988.

5

D.R. Cheriton, H. Goosen, and P. Boyle. ParaDiGM: A highly scalable shared-memory multi-computer architecture. IEEE Computer, 24(2), February 1991.

6

D.R. Cheriton, H. Goosen, and P. Machanick. Restructuring a parallel simulation to improve shared memory multiprocessor cache behavior: A first experience. In Shared Memory Multiprocessor Symposium, pages 23-31. ACM, April 1991.

7

D.R. Cheriton and R. Kutter. Optimizing memory-based messaging for scalable shared memory multiprocessor architectures. Stanford Computer Science Technical Report CS-93-123, December 1993.

8

D.R. Cheriton, G.R. Whitehead, and E.W. Sznyter. Binary emulation of UNIX using the V kernel. In USENIX Summer Conference. USENIX, June 1990.

9

D.R. Engler, M.F. Kaashoek, and J.W. O'Toole Jr. The operating system kernel as a secure programmable machine. Proceedings of the ACM European SIGOPS Workshop, September 1994.

10

A.C. Bomberger et al. The KeyKOS nanokernel architecture. In Proceedings of the USENIX Workshop on Micro-kernels and Other Kernel Architectures. USENIX, April 1992.

11

D. Black et al. Translation lookaside consistency: A software approach. In Proc. 17th Int. Symp. on Computer Architecture, pages 113-122, April 1989.

12

J. Liedtke et al. Two years of experience with a micro-kernel based os. Operating Systems Review, 25(2):57-62, 1991.

13

K. Anderson et al. Tools for the development of application-specific virtual memory management. In OOPSLA, 1993.

14

M. Rozier et al. Overview of the CHORUS distributed operating system. In Proceedings of the USENIX Workshop on Micro-kernels and Other Kernel Architectures. USENIX, April 1992.

15

R. Rashid et al. Machine-independent virtual memory management for paged unitprocessor and multiprocessor architectures. IEEE Trans Comput., 37(8):896-908, August 1988.

16

K. Harty and D.R. Cheriton. Application-controlled physical memory using external page cache management. In ASPLOS, pages 187-197. ACM, October 1992.

17

J. Kearns and S. DeFazio. Diversity in database reference behavior. Performance Evaluation Review, 1989.

18

H. Massalin and C. Pu. A lock-free multiprocessor OS kernel. Technical Report CUCS-005-91, Computer Science Department, Columbia University, October 1991.

19

R. Rashid and D. Goluv. UNIX as an application process. In USENIX Summer Conference. Usenix, June 1990.

20

M. Schroeder, D. Clark, and J. Saltzer. The MULTICS kernel design project. In Proceedings of the 6th Symposium on Operating Systems Principles, pages 43-56. ACM, November 1977.

21

M. Young et al. The duality of memory and communication in the implementation of a multiprocessor operating system. In 11th Symp. on Operating Systems Principles. ACM, November 1987.