Lecture: intro

Overview

• prereq: CSE 451
• class structure
  • lectures (first half) & guest talks/paper discussions (second half)
  • exercises: lvisor/lv6, simplified from the Linux kernel
  • project
    • form groups (4-5)
    • proposal
    • meetings
    • milestone reports
    • final report
  • grading
• learn from technical manuals (e.g., Intel SDM) and open-source projects

Today’s plan

• watch virtualization

• read chapter 1 of the textbook

• virtual machines
  • language-level
  • OS-level
  • system-level
    • simulator
    • hypervisor: bare-metal (type 1), hosted (type 2)
  • why virtual machines
• virtualization
  • CPU, memory, I/O
  • approaches: sw, hw, paravirtualization
  • workflow: VM-exit & VM-entry (compared to OS)
• x86
  • Intel: virtual machine extensions (vmx)/VT-x, VT-d
  • AMD: secure virtual machien (svm)/AMD-V, AMD-Vi
  • nested paging & extended page tables (EPT)
  • MMU & IOMMU
  • root vs. non-root, host vs. guest