Rethinking the design of virtual machine monitors

Computer

Volumn 38, Issue 5, 2005, Pages 57-62

  Whitaker, Andrew ^a   Cox, Richard S ^a   Shaw, Marianne ^a   Gribble, Steven D ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; INPUT OUTPUT PROGRAMS; INTERFACES (COMPUTER); LEGACY SYSTEMS; SYSTEMS ENGINEERING; TIME SHARING PROGRAMS;

HARDWARE INTERPOSITION; PARAVIRTUALIZATION; VIRTUAL MACHINE MONITORS;

SOFTWARE ENGINEERING;

EID: 20344391681     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2005.169     Document Type: Article

References (10)

1. R.J. Creasy, "The Origin of the VM/370 Time-Sharing System," IBM J. Research and Development, vol. 25, no. 5, 1981, pp. 483-490.
2. P.A. Karger et al., "A Retrospective on the VAX VMM Security Kernel," IEEE Trans. Software Engineering, Nov. 1991, pp. 1147-1165.
3. P. Barham et al., "Xen and the Art of Virtualization," Proc. 19th Symp. Operating System Principles (SOSP 2003), ACM Press, 2003, pp. 164-177.
4. A. Whitaker, M. Shaw, and S.D. Gribble, "Scale and Performance in the Denali Isolation Kernel," Proc. 5th Symp. Operating Systems Design and Implementation (OSDI 02), Usenix, 2002, pp. 195-209.
5. J.S. Robin and C.E. Irvine, "Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor," Proc. 9th Usenix Security Symp., Usenix, 2000, pp. 129-144.
6. G.J. Popek and R.P. Goldberg, "Formal Requirements for Virtualizable Third-Generation Architectures," Comm. ACM, July 1974, pp. 412-421.
7. A.J. Whitaker, "Building Robust Systems with Virtual Machine Monitors," Univ. Washington Generals Examination, 2004; www.cs.washington.edu/homes/andrew/papers/general.pdf.
8. G.W. Dunlap et al., "Enabling Intrusion Analysis through Virtual Machine Logging and Replay," Proc. 2002 Symp. Operating Systems Design and Implementation (OSDI 02), Usenix, 2002, pp. 211-224.
9. T.C. Bressoud and F.B. Schneider, "Hypervisor-Based Fault Tolerance," ACM Trans. Computer Systems, vol. 14, no. 1, 1996, pp. 80-107.
10. A. Whitaker et al., "Constructing Services with Interposable Virtual Hardware," Proc. 1st Symp. Network Systems Design and Implementation, Usenix, 2004, pp. 169-182.