Virtualization The XEN Approach. Virtualization 2 CS5204 – Operating Systems XEN: paravirtualization References and Sources Paul Barham, et.al., “Xen.

Slides:



Advertisements
Similar presentations
Status Report Ian Pratt University of Cambridge and Founder of XenSource Inc. Computer Laboratory.
Advertisements

Xen and the Art of Virtualization Ian Pratt University of Cambridge and Founder of XenSource Inc. Computer Laboratory.
XEN AND THE ART OF VIRTUALIZATION Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, lan Pratt, Andrew Warfield.
Embedded System Lab. Yoon Jun Kee Xen and the Art of Virtualization.
Bart Miller. Outline Definition and goals Paravirtualization System Architecture The Virtual Machine Interface Memory Management CPU Device I/O Network,
Xen and the Art of Virtualization A paper from the University of Cambridge, presented by Charlie Schluting For CS533 at Portland State University.
Xen and the Art of Virtualization University of Cambridge Presenter: Ashish Gupta.
Xen and the art of the virtualization Tao Yang CS708 19/04/07.
Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield.
1 I/O Management in Representative Operating Systems.
Virtual Machine Monitors CSE451 Andrew Whitaker. Hardware Virtualization Running multiple operating systems on a single physical machine Examples:  VMWare,
The Origin of the VM/370 Time-sharing system Presented by Niranjan Soundararajan.
Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt & Andrew Warfield.
1 Xen and the Art of Virtualization By Paul Barham, Boris Dragovic, Stevan Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield.
Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield.
Xen and the Art of Virtualization. Introduction  Challenges to build virtual machines Performance isolation  Scheduling priority  Memory demand  Network.
CSE598C Virtual Machines and Their Applications Operating System Support for Virtual Machines Coauthored by Samuel T. King, George W. Dunlap and Peter.
E Virtual Machines Lecture 4 Device Virtualization
Tanenbaum 8.3 See references
Zen and the Art of Virtualization Paul Barham, et al. University of Cambridge, Microsoft Research Cambridge Published by ACM SOSP’03 Presented by Tina.
Virtual Infrastructure in the Grid Kate Keahey Argonne National Laboratory.
Virtual Machines Xen and Terra Rajan Palanivel. Xen and Terra : Papers Xen and the art of virtualization. -Univ. of Cambridge Terra: A VM based platform.
Microkernels, virtualization, exokernels Tutorial 1 – CSC469.
Support for Smart NICs Ian Pratt. Outline Xen I/O Overview –Why network I/O is harder than block Smart NIC taxonomy –How Xen can exploit them Enhancing.
EECS 262a Advanced Topics in Computer Systems Lecture 19 Xen/Microkernels October 31 st, 2012 John Kubiatowicz and Anthony D. Joseph Electrical Engineering.
Benefits: Increased server utilization Reduced IT TCO Improved IT agility.
Xen Overview for Campus Grids Andrew Warfield University of Cambridge Computer Laboratory.
Performance Study on Virtual Machine Hypervisors.
Xen I/O Overview. Xen is a popular open-source x86 virtual machine monitor – full-virtualization – para-virtualization para-virtualization as a more efficient.
Xen I/O Overview.
Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt & Andrew Warfield.
Virtual Machine Monitors: Technology and Trends Jonathan Kaldor CS614 / F07.
Xen and The Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt & Andrew Warfield.
CS533 Concepts of Operating Systems Jonathan Walpole.
Nathanael Thompson and John Kelm
Outline for Today Announcements –1 st programming assignment coming soon. Objective of the lecture –OS and Virtual Machines.
Introduction to virtualization
Full and Para Virtualization
CSC 660: Advanced Operating SystemsSlide #1 CSC 660: Advanced OS Virtual Machines.
Xen and the Art of Virtualization
Protection of Processes Security and privacy of data is challenging currently. Protecting information – Not limited to hardware. – Depends on innovation.
OS Structures - Xen. Xen Key points Goal: extensibility akin to SPIN and Exokernel goals Main difference: support running several commodity operating.
CS 140 Lecture Notes: Virtual MachinesSlide 1 Process Abstraction Instruction Set Registers MMU I/O Devices Physical Memory Virtual Memory System Calls.
© 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Understanding Virtualization Overhead.
Advanced Operating Systems (CS 202) Virtualization March 7, 2016.
Memory Virtualization In Xen
Virtual Machines (part 2) CPS210 Spring Papers  Xen and the Art of Virtualization  Paul Barham  ReVirt: Enabling Intrusion Analysis through Virtual.
Workspace Management Services Kate Keahey Argonne National Laboratory.
Xen 3.0 and the Art of Virtualization Ian Pratt Keir Fraser, Steven Hand, Christian Limpach, Andrew Warfield, Dan Magenheimer (HP), Jun Nakajima (Intel),
Xen and the Art of Virtualization
Virtual Machine Monitors
Virtual Machines Disco and Xen (Lecture 10, cs262a)
Xen and the Art of Virtualization
Virtualization Part 1 – Concepts & XEN.
Presented by Yoon-Soo Lee
The Multikernel: A New OS Architecture for Scalable Multicore Systems
Xen: The Art of Virtualization
XenFS Sharing data in a virtualised environment
Modeling Architecture-OS Interactions using LQNS
Group 8 Virtualization of the Cloud
CS 140 Lecture Notes: Virtual Machines
OS Virtualization.
CS 140 Lecture Notes: Virtual Machines
Virtual Machines Disco and Xen (Lecture 10, cs262a)
Xen and the Art of Virtualization
CSE 451: Operating Systems Autumn Module 24 Virtual Machine Monitors
CS 140 Lecture Notes: Virtual Machines
Xen and the Art of Virtualization
CSE 451: Operating Systems Autumn Module 24 Virtual Machine Monitors
System Virtualization
Presentation transcript:

Virtualization The XEN Approach

Virtualization 2 CS5204 – Operating Systems XEN: paravirtualization References and Sources Paul Barham, et.al., “Xen and the Art of Virtualization,” Symposium on Operating Systems Principles 2003 (SOSP’03), October 19-22, 2003, Bolton Landing, New York. Presentation by Ian Pratt available at Computer Laboratory

Virtualization 3 CS5204 – Operating Systems Xen - Structure Employs paravirtualization strategy  Deals with machine architectures that cannot be virtualized  Requires modifications to guest OS  Allows optimizations “Domain 0”  has special access to control interface for platform management  Has back-end device drivers Xen VMM  entirely event driven  no internal threads Xen 3.0 Architecture

Virtualization 4 CS5204 – Operating Systems MMU Virtualizion : Shadow-Mode MMU Accessed & dirty bits Guest OS VMM Hardware guest writes guest reads Virtual → physical Virtual → Machine Updates

Virtualization 5 CS5204 – Operating Systems MMU Virtualization : Direct-Mode MMU Guest OS Xen VMM Hardware guest writes guest reads Virtual → Machine

Virtualization 6 CS5204 – Operating Systems Queued Update Interface (Xen 1.2) MMU Guest OS Xen VMM Hardware validation guest writes guest reads Virtual → Machine

Virtualization 7 CS5204 – Operating Systems Writeable Page Tables : 1 – write fault MMU Guest OS Xen VMM Hardware page fault first guest write guest reads Virtual → Machine

Virtualization 8 CS5204 – Operating Systems Writeable Page Tables : 2 - Unhook MMU Guest OS Xen VMM Hardware guest writes guest reads Virtual → Machine X

Virtualization 9 CS5204 – Operating Systems Writeable Page Tables : 3 - First Use MMU Guest OS Xen VMM Hardware page fault guest writes guest reads Virtual → Machine X

Virtualization 10 CS5204 – Operating Systems Writeable Page Tables : 4 – Re-hook MMU Guest OS Xen VMM Hardware validate guest writes guest reads Virtual → Machine

Virtualization 11 CS5204 – Operating Systems I/O Safe hardware interfaces  I/O Spaces Restricts access to I/O registers  Isolated Device Drive Driver isolated from VMM in its own “domain” (i.e., VM) Communication between domains via device channels Unified interfaces  Common interface for group of similar devices  Exposes raw device interface (e.g., for specialized devices like sound/video) Separate request/response from event notification I/O descriptor rings  Used to communicate I/O requests and responses  For bulk data transfer devices (DMA, network), buffer space allocated out of band by GuestOS  Descriptor contains unique identifier to allow out of order processing  Multiple requests can be added before hypercall made to begin processing  Event notification can be masked by GuestOS for its convenience

Virtualization 12 CS5204 – Operating Systems Device Channels Connects “front end” device drivers in GuestOS with “native” device driver Is an I/O descriptor ring Buffer page(s) allocated by GuestOS and “granted” to Xen Buffer page(s) is/are pinned to prevent page-out during I/O operation Pinning allows zero-copy data transfer

Virtualization 13 CS5204 – Operating Systems System Performance LXVU SPEC INT2000 (score) LXVU Linux build time (s) LXVU OSDB-OLTP (tup/s) LXVU SPEC WEB99 (score) Benchmark suite running on Linux (L), Xen (X), VMware Workstation (V), and UML (U) Benchmark suites  Spec INT200: compute intensive workload  Linux build time: extensive file I/O, scheduling, memory management  OSBD-OLTP: transaction processing workload, extensive synchronous disk I/O  Spec WEB99: web-like workload (file and network traffic) Fair comparison?

Virtualization 14 CS5204 – Operating Systems I/O Performance Systems  L: Linux  IO-S: Xen using IO-Space access  IDD: Xen using isolated device driver Benchmarks  Linux build time: file I/O, scheduling, memory management  PM: file system benchmark  OSDB-OLTP: transaction processing workload, extensive synchronous disk I/O  httperf: static document retrieval  SpecWeb99: web-like workload (file and network traffic)