Explains message passing as a synchronization mechanism for serialization problems. Demonstrates how thread communication through messages ensures event ordering and uses timeline analysis to prove sequential execution in multithreaded programs.
Introduces synchronization concepts in concurrent systems, distinguishing between serialization and mutual exclusion. Covers execution models in parallel and multithreaded systems, explaining how synchronization constraints enforce event ordering without universal clocks.
Techniques for Live Migration of Virtual Machines
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.
Memory Virtualization Techniques
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.
Input/Output Virtualization Techniques
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.