Are virtual machine monitors microkernels done right?

Proceedings of HotOS 2005 - 10th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2005, Pages

  Hand, Steven ^a   Warfield, Andrew ^a   Fraser, Keir ^a   Kotsovinos, Evangelos ^a   Magenheimer, Dan ^a,b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84889643939     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP), 2003.
2. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Proc. Summer USENIX Conference, June 1986.
3. E. Ball, J. Feldman, J. Low, R. Rashid, and P. Rovner. RIG, Rochester's Intelligent Gateway: System overview. In Proc. 2nd International Conference on Software Engineering, page 132, 1976.
4. R. Rashid and G. Robertson. Accent: A communication oriented network operating system kernel. In Proc. 8th ACM Symposium on Operating Systems Principles (SOSP), pages 64-75, 1981.
5. V. Abrossimov, M. Rozier, and M. Gien. Virtual memory management in chorus. In Proc. European Workshop on Process in Distributed Operating Systems and Distributed Systems Management, pages 45-59, 1990.
6. S. Mullender, G. van Rossum, A. Tanenbaum, R. van Renesse, and H. van Staveren. Amoeba: A distributed operating system for the 1990s. IEEE Computer, 23(5):44-53, 1990.
7. J. Liedtke. Improving IPC by kernel design. In Proc. 14th ACM Symposium on Operating Systems Principles (SOSP), December 1993.
8. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The Performance of µ-Kernel-Based Systems. In Proc. 16th ACM Symposium on Operating Systems Principles (SOSP), October 1997.
9. R. Adair, R. Bayles, L. Comeau, and R. Creasy. A virtual machine system for the 360/40. Technical Report 320-2007, IBM Corporation, Cambridge Scientific Center, May 1966.
10. R. Goldberg. Architectural principles for virtual computer systems. PhD thesis, Harvard University, 1972.
11. A. Whitaker, M. Shaw, and S. Gribble. Scale and performance in the Denali isolation kernel. In Proc. 5th Symposium on Operating System Design and Implementation (OSDI), December 2002.
12. B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proc. 2nd Symposium on Operating Systems Design and Implementation (OSDI), pages 137-151, October 1996.
13. J. Dike. User-mode Linux. In Proc. 5th Annual Linux Showcase and Conference, November 2001.
14. D. Engler, F. Kaashoek, and J. O'Toole Jr. Exokernel: an operating system architecture for application-level resource management. In Proc. 15th ACM Symposium on Operating Systems Principles (SOSP), December 1995.
15. I. M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D. Evers, R. Fairbairns, and E. Hyden. The design and implementation of an operating system to support distributed multimedia applications. 14(7):1280-1297, September 1996.
16. M. Young, A. Tevanian, R. F. Rashid, D. B. Golub, J. L. Eppinger, J. Chew, W. J. Bolosky, D. L. Black, and R. V. Baron. The duality of memory and communication in the implementation of a multiprocessor operating system. In Proc. 11th ACM Symposium on Operating Systems Principles (SOSP), 1987.
17. A. Warfield, R. Ross, K. Fraser, C. Limpach, and S. Hand. Parallax: Managing storage for a million machines. In Proc. 10th Workshop on Hot Topics in Operating Systems (HotOS X.
18. B. Clark, T. Deshane, E. Dow, S. Evanchik, M. Finlayson, J. Herne, and J. Matthews. Xen and the art of repeated research. In Proc. USENIX Annual Technical Conference, June 2004.
19. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Proc. ACM OASIS Workshop, 2004.
20. A. Warfield, K. Fraser, S. Hand, and T. Deegan. Facilitating the development of soft devices. In Proc. USENIX Annual Technical Conference, April 2005.
21. R. Spencer, S. Smalley, P. Loscocco, M. Hibler, D. Andersen, and J. Lepreau. The Flask security architecture: System support for diverse security policies. In Proc. Eighth USENIX Security Symposium, August 1999.
22. J. Shapiro, J. Smith, and D.Farber. EROS: a fast capability system. In Symposium on Operating Systems Principles, 1999.
23. C. Clark, K. Fraser, S. Hand, J. G. Hansen, E. Jul, C. Limpach, I. Pratt, and A. Warfield. Live migration of virtual machines. In Proc. USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2005.
24. G. Dunlap, S. King, S. Cinar, M. Basrai, and P. Chen. Revirt: enabling intrusion analysis through virtual-machine logging and replay. SIGOPS Oper. Syst. Rev., 36(SI):211-224, 2002.
25. S. King, G. Dunlap, and P. Chen. Debugging operating systems with time-traveling virtual machines. In Proc. USENIX Annual Technical Conference, 2005.
26. A. Whitaker, R. Cox, and S. Gribble. Configuration debugging as search: Finding the needle in the haystack. In Proc. 6th Symposium on Operating System Design and Implementation (OSDI), pages 77-90, December 2004.