Mechanismy virtualizace běhu operačních systémů
| Název práce v češtině: | Mechanismy virtualizace běhu operačních systémů |
|---|---|
| Název v anglickém jazyce: | Mechanisms for operating system virtualization |
| Akademický rok vypsání: | 2005/2006 |
| Typ práce: | diplomová práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra softwarového inženýrství (32-KSI) |
| Vedoucí / školitel: | RNDr. Jakub Yaghob, Ph.D. |
| Řešitel: | Mgr. Martin Děcký, Ph.D. - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 01.11.2005 |
| Datum zadání: | 01.11.2005 |
| Datum a čas obhajoby: | 11.09.2006 00:00 |
| Datum odevzdání elektronické podoby: | 11.09.2006 |
| Datum proběhlé obhajoby: | 11.09.2006 |
| Oponenti: | prof. Ing. Petr Tůma, Dr. |
| Zásady pro vypracování |
| 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ů 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, Pacifica) a její využití.
Praktická demonstrace soft-partitioningu (rozdělení operačního systému na samostatné kontexty na úrovni kernelu) na kernelu SPARTAN. |
| Seznam odborné literatury |
| [1] Intel Virtualization Technology Specification for the IA-32 Intel
Architecture ftp://download.intel.com/technology/computing/vptech/C97063-002.pdf [2] Intel Virtualization Technology for the Intel Itanium Architecture ftp://download.intel.com/technology/computing/vptech/30594202.pdf [3] John Scott Robin, Cynthia E. Irvine: Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor http://www.cs.nps.navy.mil/people/faculty/irvine/publications/ /2000/VMM-usenix00-0611.pdf [4] Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield: Xen and the Art of Virtualization http://www.cl.cam.ac.uk/Research/SRG/netos/papers/2003-xensosp.pdf [5] QEMU, a Fast and Portable Dynamic Translator http://www.usenix.org/publications/library/proceedings/usenix05/ /tech/freenix/bellard.html [6] An Introduction to Virtualization http://www.kernelthread.com/publications/virtualization/ [7] Reiner Sailer, Trent Jaeger, Enriquillo Valdez, Ronald Perez, Stefan Berger, John Linwood Griffin, Leendert van Doorn: Building a MAC-based Security Architecture for the Xen Opensource Hypervisor (IBM Research) [8] Reiner Sailer, Enriquillo Valdez, Trent Jaeger, Ronald Perez, Leendert van Doorn, John Linwood Griffin, Stefan Berger: Secure Hypervisor Approach to Trusted Virtualized Systems (IBM Research) |