虚拟化技术VirualizationTechnique.docxVIP

虛擬化技術Virtualization Technique Hardware Support Virtualization ARM’s Virtualization Extension Agenda Review on system virtualization Definition of Virtual Machine Monitor Problems when we try to implement VMM Software solution Hardware solution Overview of ARM architecture Brief introduction of ARM architecture Security Extension Virtualization Extension Agenda Support for CPU virtualization Support for Sensitive Instruction Native-run Emulation support Support for multiple Vector Table Vector Table Base Address Registers Hypervisor Call New entry(0x14) on vector table Agenda Support for Memory virtualization Intermediate Physical Address VMID Support for I/O virtualization Virtual GIC Case study: Citrix Xen for ARM Cortex-A15 Review on system virtualization Definition of VMM A virtual machine monitor can be constructed if the set of sensitive instructions is a subset of the set of privileged instructions Proof shows Equivalence by interpreting privileged instructions and executing remaining instructions natively Resource control by having all instructions that change resources trap to the VMM Efficiency by executing all non-privileged instructions directly on hardware A key aspect of the theorem is that it is easy to check Implement models of VMM Type-I Type-II Problems in implementation CPU virtualization Non-virtualizable CPU Vector table issue Memory virtualization Translation from GVA to HPA I/O virtualization Emulate various I/O devices Software Solution CPU virtualization Non-virtualizable CPU → Patch GOS / Dynamic Binary Translation Vector table issue → Modify host’s VT to deliver interrupts to host or guests Memory virtualization Translation from GVA to HPA → Implement by software and save the translated result in Shadow Page Table I/O virtualization Emulate various I/O devices → Emulated by Software (like QEMU) Disadvantage of software solution CPU virtualization Patch GOS → You need source code. It’s non-portable. Dynamic Binary Translation → Slow down t