create new tag
view all tags

CSE 60641 - Graduate Operating Systems - Lecture 25

Date November 25th, 2014
Topic Formal Definitions of VMs
Description Popek / Goldberg formulation with regards to the foundational properties of a VM


  • Robert Goldberg, "Survey of Virtual Machine Research", IEEE Computer, June 1974.
  • Gerald Popek and Robert Goldberg, "Formal Requirements for Virtualizable Third Generation Architectures", Communications of the ACM, July 1974.


  • Interim Draft, Due November 25th, 10 PM
    • Extra Credit - Due Monday @ 10 PM

Key Points

  • What are the key tradeoffs with respect to VM design?
  • Define privileged and unprivileged operations.
  • What are the key fundamentals / properties for VMs?
  • Describe using formal notation different VM frameworks.

Upcoming Lectures

Edit | Attach | Watch | Print version | History: r1 | Backlinks | Raw View | More topic actions
Topic revision: r1 - 2014-11-24 - AaronStriegel
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback