Virtualisation: Further Readings

System-level Virtualisation

• Popek and Goldberg, Formal Requirements for Virtualizable Third Generation Architectures. The foundational paper upon which the “Theory of Virtualisation” part of the unit is built.
• Barham et al., Xen and the Art of Virtualization. Xen’s paper, seminal work on paravirtualisation.
• Bugnion et al., Disco: Running Commodity Operating Systems on Scalable Multiprocessors. Another seminal work.
• Clark et al., Live Migration of Virtual Machines. Seminal work on VM migration.
• Kivity et al., kvm: the Linux Virtual Machine Monitor. KVM’s paper.
• (book) Bugnion et al., Hardware and Software Support for Virtualization. Book which inspired much of this week’s content.

Containers

• Banga et al., Resource Containers: A New Facility for Resource Management in Server Systems.
• Soltesz et al., Container-based Operating System Virtualization: A Scalable, High-performance Alternative to Hypervisors.
• Heo, Control Group v2.
• Kerrisk, Namespaces in operation.

Unikernels

• Madhavapeddy et al., Unikernels: Library Operating Systems for the Cloud. Seminal unikernel paper.
• Kivity et al., OSv—Optimizing the Operating System for Virtual Machines. OSv’s paper.
• Kuenzer et al., Unikraft: fast, specialized unikernels the easy way. Unikraft’s paper.
• Olivier et al., A Binary-Compatible Unikernel. Pierre’s work on unikernels and application compatibility.
• More unikernel papers here.