Virtualizzazione: Xen. Tipi di virtualizzazione Singola immagine di SO (Virtuozo,…) –Usa container di risorse –Poco isolamento Virtualizzazione piena:VirtualBox,

Slides:



Advertisements
Similar presentations
Virtualization Dr. Michael L. Collard
Advertisements

Virtualization Technology
Status Report Ian Pratt University of Cambridge and Founder of XenSource Inc. Computer Laboratory.
Xen 3.0 and the Art of Virtualization
Xen and the Art of Virtualization Ian Pratt University of Cambridge and Founder of XenSource Inc. Computer Laboratory.
Xen and the Art of Virtualization Ian Pratt University of Cambridge and Founder of XenSource Inc. Computer Laboratory.
Xen 3.0 and the Art of Virtualization Ian Pratt XenSource Inc. and University of Cambridge Keir Fraser, Steve Hand, Christian Limpach and many others…
Virtualisation From the Bottom Up From storage to application.
XEN AND THE ART OF VIRTUALIZATION Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, lan Pratt, Andrew Warfield.
Live Migration of Virtual Machines Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian 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,
Live Migration of Virtual Machines Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, Andrew Warfield.
Copyright © Clifford Neuman - UNIVERSITY OF SOUTHERN CALIFORNIA - INFORMATION SCIENCES INSTITUTE USC CSci599 Trusted Computing Lecture Four –
Network Implementation for Xen and KVM Class project for E : Network System Design and Implantation 12 Apr 2010 Kangkook Jee (kj2181)
Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield.
Virtualization for Cloud Computing
LINUX Virtualization Running other code under LINUX.
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 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.
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.
An Introduction to Xen Prof. Chih-Hung Wu
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.
Chapter 5. Outline (2nd part)
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.
1 Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield.
Virtualization The XEN Approach. Virtualization 2 CS5204 – Operating Systems XEN: paravirtualization References and Sources Paul Barham, et.al., “Xen.
Benefits: Increased server utilization Reduced IT TCO Improved IT agility.
Xen Overview for Campus Grids Andrew Warfield University of Cambridge Computer Laboratory.
1 Outline for Today Objective –More power aware memory –Virtual Machines Announcements –These slides will be up after class (sometime). –Midterm rules:
Xen I/O Overview. Xen is a popular open-source x86 virtual machine monitor – full-virtualization – para-virtualization para-virtualization as a more efficient.
Virtualization Paul Krzyzanowski Distributed Systems Except as otherwise noted, the content of this presentation is licensed.
Xen and The Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt & Andrew Warfield.
Politecnico di Torino Dipartimento di Automatica ed Informatica TORSEC Group Performance of Xen’s Secured Virtual Networks Emanuele Cesena Paolo Carlo.
Nathanael Thompson and John Kelm
Outline for Today Announcements –1 st programming assignment coming soon. Objective of the lecture –OS and Virtual Machines.
Cloud Operating System Unit 09 Cloud OS Core Technology M. C. Chiang Department of Computer Science and Engineering National Sun Yat-sen University Kaohsiung,
Introduction to virtualization
Full and Para Virtualization
Lecture 12 Virtualization Overview 1 Dec. 1, 2015 Prof. Kyu Ho Park “Understanding Full Virtualization, Paravirtualization, and Hardware Assist”, White.
Protection of Processes Security and privacy of data is challenging currently. Protecting information – Not limited to hardware. – Depends on innovation.
CSE 451: Operating Systems Winter 2015 Module 25 Virtual Machine Monitors Mark Zbikowski Allen Center 476 © 2013 Gribble, Lazowska,
Virtual Machines (part 2) CPS210 Spring Papers  Xen and the Art of Virtualization  Paul Barham  ReVirt: Enabling Intrusion Analysis through Virtual.
Xen and the art of.. Open Source Virtualisation & Consolidation Kris Buytaert CTO, X-Tend
Xen 3.0 and the Art of Virtualization Ian Pratt Keir Fraser, Steven Hand, Christian Limpach, Andrew Warfield, Dan Magenheimer (HP), Jun Nakajima (Intel),
Virtualization Neependra Khare
Open Source Virtualisation and Consolidation. Whoami ● Senior Linux and Open Source Consultant/ X-Tend ● „Infrastructure Architect“ ● Linux since.
Open Source Virtualisation and Consolidation. Whoami ● Linux and Open Source Consultant ● „Infrastructure Architect“ ● Linux since 0.98 ● IANAKH ● Senior.
XEN – The Art of Virtualisation. So what is Virtualisation? ● Makes use of spare capacity ● Run multiple instances of OSes simultaneously ● Multitasking.
Xen and the Art of Virtualization
Virtualization for Cloud Computing
Virtualization.
Virtualization Technology
Xen and the Art of Virtualization
Presented by Yoon-Soo Lee
Virtualization Dr. Michael L. Collard
Xen and the Art of Virtualization
Virtualization overview
Xen: The Art of Virtualization
Running other code under LINUX
OS Virtualization.
Xen 3.0 and the Art of Virtualization
Xen and the Art of Virtualization
Xen and the Art of Virtualization
CSE 451: Operating Systems Autumn Module 24 Virtual Machine Monitors
Xen and the Art of Virtualization
Presentation transcript:

Virtualizzazione: Xen

Tipi di virtualizzazione Singola immagine di SO (Virtuozo,…) –Usa container di risorse –Poco isolamento Virtualizzazione piena:VirtualBox, Qemu, … –Esegue copie di SO completi –Poco efficiente Para-virtualizzazione (UML, Xen) –Esegue SO completi su architetture particolari (es: XEN/x86)

Vantaggi Evita la sottoutilizzazione dei server Riduce il downtime grazie alla rilocazione Semplifica il load-balancing Rinforza le politiche di sicurezza

XEN: caratteristiche Secure isolation between VMs Resource control and QoS Only guest kernel needs to be ported –User-level apps and libraries run unmodified –Linux 2.4/2.6, NetBSD, FreeBSD, Plan9, Solaris Execution performance close to native Broad x86 hardware support Live Relocation of VMs between Xen nodes

Para-virtualizzazione Xen estende l’architettura x86 –Simile a x86, Xen è invocato per le operazioni con privilegi –Avoids binary rewriting –Minimize number of privilege transitions into Xen –Modifications relatively simple and self-contained Modify kernel to understand virtualised env. –Wall-clock time vs. virtual processor time Desire both types of alarm timer –Expose real resource availability Enables OS to optimise its own behaviour

Xen 3.0 Architecture Event Channel Virtual MMUVirtual CPU Control IF Hardware (SMP, MMU, physical memory, Ethernet, SCSI/IDE) Native Device Driver GuestOS (XenLinux) Device Manager & Control s/w VM0 Native Device Driver GuestOS (XenLinux) Unmodified User Software VM1 Front-End Device Drivers GuestOS (XenLinux) Unmodified User Software VM2 Front-End Device Drivers Unmodified GuestOS (WinXP)) Unmodified User Software VM3 Safe HW IF Xen Virtual Machine Monitor Back-End VT-x x86_32 x86_64 IA64 AGP ACPI PCI SMP

ring 3 x86_32 Xen reserves top of VA space Segmentation protects Xen from kernel System call speed unchanged Xen 3 now supports PAE for >4GB mem Kernel User 4GB 3GB 0GB Xen S S U ring 1 ring 0

x86_64 Large VA space makes life a lot easier, but: No segment limit support  Need to use page-level protection to protect hypervisor Kernel User Xen U S U Reserved

x86_64 Run user-space and kernel in ring 3 using different pagetables –Two PGD’s (PML4’s): one with user entries; one with user plus kernel entries System calls require an additional syscall/ret via Xen Per-CPU trampoline to avoid needing GS in Xen Kernel User Xen U S U syscall/sysret r3 r0 r3

Para-Virtualizing the MMU Guest OSes allocate and manage own PTs –Hypercall to change PT base Xen must validate PT updates before use –Allows incremental updates, avoids revalidation Validation rules applied to each PTE: 1. Guest may only map pages it owns* 2. Pagetable pages may only be mapped RO Xen traps PTE updates and emulates, or ‘unhooks’ PTE page for bulk updates

I/O Architecture Xen IO-Spaces delegate guest OSes protected access to specified h/w devices –Virtual PCI configuration space –Virtual interrupts –(Need IOMMU for full DMA protection) Devices are virtualised and exported to other VMs via Device Channels –Safe asynchronous shared memory transport –‘Backend’ drivers export to ‘frontend’ drivers –Net: use normal bridging, routing, iptables –Block: export any blk dev e.g. sda4,loop0,vg3 (Infiniband / Smart NICs for direct guest IO)

VT-x / (Pacifica) Enable Guest OSes to be run without para- virtualization modifications –E.g. legacy Linux, Windows XP/2003 CPU provides traps for certain privileged instrs Shadow page tables used to provide MMU virtualization Xen provides simple platform emulation –BIOS, Ethernet (ne2k), IDE emulation (Install paravirtualized drivers after booting for high- performance IO)

Native Device Drivers Control Panel (xm/xend) Front end Virtual Drivers Linux xen64 Xen Hypervisor Device Models Guest BIOS Unmodified OS Domain N Linux xen64 Callback / Hypercall VMExit Virtual Platform 0D Guest VM (VMX) (32-bit) Backend Virtual driver Native Device Drivers Domain 0 Event channel 0P 1/3P 3P I/O: PIT, APIC, PIC, IOAPICProcessorMemory Control InterfaceHypercallsEvent ChannelScheduler FE Virtual Drivers Guest BIOS Unmodified OS VMExit Virtual Platform Guest VM (VMX) (64-bit) FE Virtual Drivers 3D

VM Relocation : Motivation VM relocation enables: –High-availability Machine maintenance –Load balancing Statistical multiplexing gain Xen

Assumptions Networked storage –NAS: NFS, CIFS –SAN: Fibre Channel –iSCSI, network block dev –drdb network RAID Good connectivity –common L2 network –L3 re-routeing Xen Storage

Stage 0: pre-migration Stage 1: reservation Stage 2: iterative pre-copy Stage 3: stop-and-copy Stage 4: commitment Relocation Strategy VM active on host A Destination host selected (Block devices mirrored) Initialize container on target host Copy dirty pages in successive rounds Suspend VM on host A Redirect network traffic Synch remaining state Activate on host B VM state on host A released

Writable Working Set Pages that are dirtied must be re-sent –Super hot pages e.g. process stacks; top of page free list –Buffer cache –Network receive / disk buffers Dirtying rate determines VM down-time –Shorter iterations → less dirtying → …

Writable Working Set Set of pages written to by OS/application Pages that are dirtied must be re-sent –Hot pages E.g. process stacks Top of free page list (works like a stack) –Buffer cache –Network receive / disk buffers

XEN Ian Pratt Keir Fraser, Steven Hand, Christian Limpach, Andrew Warfield, Dan Magenheimer (HP), Jun Nakajima (Intel), Asit Mallick (Intel) -xen-fosdem.ppt Computer Laboratory