SPLVM Virtualized System Meetup

Host: Mossaka

  1. Community hosted meetup for discussing anything related to distributed systems, operating systems, database, and networking. Currently focusing on virtualization, tracking course UCSD CSE 291.
  2. Schedule
  3. Biweekly Zoom meeting on Monday at 5pm PDT
  4. Code of Conduct
  5. Please use “Raise Hands” feature on Zoom
  6. Welcome to unmute or comment in chat at ANY TIME!

Untitled

Untitled

Domain 0: this controls Xen and all the VMs added to the machine.

1970s. first gen VMM

1990s: x86 dominates the platform

1999: virtualize x86 for the first time by VMWare

2006: x86 hardware support by Intel and AMD

The Popek and Goldberg virtualization requirements

  1. Fidelity. A program running under the VMM should exhibit a behaviour essentially identical to that running on the machine directly
  2. Safety. The VMM must be in complete control of the virtualized resources (ensures the hypervisor can enforce resource isolation and manage allocation of CPUs, memory and I/O)
  3. Performance. A dominant fraction of machine instructions must be executed without VMM intervention.

Theorem 1: For any conventional third-generation computer, a VMM may be constructed if the set of sensitive instructions for that computer is a subset of the set of privileged instructions.

This theorem essentially says that any ISA instruction that modifies hardware must trigger an exception and traps into hypervisor. Instr that are not privileged can be executed without hypervisor intervention.

x86… why can’t we use trap-and-emulate on it?

popf