Mechanismy virtualizace běhu operačních systémů

Abstract

Přehled a taxonomie technologií, které se použvají pro virtualizaci běhu operačních systémů (spouštění více operačních systémů nebo více oddělených kontext u operačního systému současně na jednom počítači), jejich porovnání co se týče rychlosti, bezpečnosti, determinismu, míry izolace, accountingu, podporovaných platforem, emulace hardwaru apod. Inherentní problémy virtualizace (závislost na platformě, SMP, virtuální hardware). Emulace, simulace, virtuální stroje, paravirtualizace, partitioning. Přehled běžně dostupných virtualizačních produktů (Bochs, QEMU, Simics, VMware, Virtual PC, Virtual Server, OpenVZ, Denali, Mac on Linux, PearPC, Plex86, Xen, TRANGO, UML, Linux VServer, FreeBSD Jails, Solaris Zones) a jejich srovnání. Hardwarová podpora virtualizace (Power Hypervisor, V86, Vanderpool, Paciffica) a její využití. Praktická demonstrace soft-partitioningu (rozdělení operačního systému na samostatné kontexty na úrovni kernelu) na kernelu SPARTAN.

Overview and taxonomy of the technologies used for virtualizing the execution of operating systems (running multiple operating systems or multiple separated operating system contexts simultaneously on a single computer), comparsion of the speed, security, determinism, level of isolation, accounting posibilities, supported platforms, level of hardware emulation, etc. Inherent problems of virtualization (platform dependency, SMP, virtual hardware). Emulation, simulation, virtual machines, paravirtualization, partitioning. Overview of commonly available virtualization products (Bochs, QEMU, Simics, VMware, Virtual PC, Virtual Server, OpenVZ, Denali, Mac on Linux, PearPC, Plex86, Xen, TRANGO, UML, Linux VServer, FreeBSD Jails, Solaris Zones) and their comparsion. Hardware assisted virtualization (Power Hypervisor, V86, Vanderpool, Paciffica) and their usage. Practical demonstration of soft-partitioning (parcelling of the operating system into separate kernel contexts) on SPARTAN kernel.