Discusses methods for live migration of VMs across physical hosts without downtime. Covers pre-copy and post-copy migration techniques, page dirtying tracking, network and disk assumptions, impact on application performance, and challenges in maintaining state consistency.
This document explains memory virtualization, including hardware support via MMU, nested paging, shadow page tables, and techniques for managing guest physical memory with hypervisor involvement ensuring address translation and isolation in VM environments.
This paper discusses IO virtualization concepts allowing VMs to share physical IO devices safely and efficiently. Topics include emulated devices, paravirtualized drivers, direct device assignment (passthrough), and hypervisor support needed for isolating and multiplexing IO hardware.
This lecture introduces hardware-assisted CPU virtualization with KVM/QEMU, describes Intel VT-x/AMD-V features, role of VMX, KVM and QEMU architecture, the VMCS structure for CPU state switching, how guest VMs are managed, and integration of management tools like libvirt and virt-manager.
This document covers full virtualization using software approaches on x86, with VMWare as a primary case. It explains trap-and-emulate, binary translation for sensitive instructions, world-switching between host/guest contexts, role of translation caches, segmentation for protection, and comparisons with hardware virtualization.