Networks and Opera/ng Systems Chapter 21: Virtual Machine Monitors ( )

Size: px
Start display at page:

Download "Networks and Opera/ng Systems Chapter 21: Virtual Machine Monitors ( )"

Transcription

1 Networks and Opera/ng Systems Chapter 21: Virtual Machine Monitors ( ) Donald Kossmann & Torsten Hoefler Frühjahrssemester 2013 Systems Group Department of Computer Science ETH Zürich

2 Last /me: I/O Network stack implementa/on Network devices and network I/O Memory management in the I/O subsystem Performance issues Buffering Mul/ple queues and receive side scaling

3 This /me: Virtual Machine Monitors Basic defini/ons Why would you want one? Structure How does it work? CPU MMU Memory Devices Network Acknowledgement: Thanks to Steve Hand for some of the slides!

4 What is a Virtual Machine Monitor? Virtualizes an en/re (hardware) machine Contrast with OS processes Interface provided is illusion of real hardware Applica/ons are therefore complete Opera/ng Systems themselves Terminology: Guest Opera+ng Systems Old idea: IBM VM/CMS (1960s) Recently revived: VMware, Xen, Hyper V, kvm, etc.

5 VMMs and Hypervisors Creates illusion of hardware App App Guest opera/ng system VMM App App Guest opera/ng system VMM Hypervisor Some folks dis/nguish the Virtual Machine Monitor from the Hypervisor (we won t) Real hardware

6 Why would you want one? Diagrams: Server consolida/on (program assumes own machine) Performance isola/on Backward compa/bility Cloud compu/ng (unit of selling cycles) Something under the OS: replay, audi/ng, trusted compu/ng, rootkits

7 Running mul/ple OSes on one machine App App App App App App Applica/on compa/bility I use Ubuntu for almost everything, but I edit slides in PowerPoint Some people compile Barrelfish in a Debian VM over Windows 7 with Hyper V Hypervisor Real hardware Backward compa/bility Nothing beats a Windows 98 virtual machine for playing old computer games

8 Server consolida/on Applica/on Applica/on Hypervisor Real hardware Applica/on Many applica/ons assume they have the machine to themselves Each machine is mostly idle Consolidate servers onto a single physical machine

9 Resource isola/on Applica/on Applica/on Hypervisor Real hardware Applica/on Surprisingly, modern OSes do not have an abstrac/on for a single applica/on Performance isola/on can be cri/cal in some enterprises Use virtual machines as resource containers

10 Cloud compu/ng Applica/on Applica/on Applica/on Hypervisor Real hardware Applica/on Applica/on Hypervisor Real hardware Applica/on Applica/on Hypervisor Real hardware Applica/on Applica/on Hypervisor Real hardware Applica/on Applica/on Hypervisor Real hardware Applica/on Hypervisor Real hardware Selling compu/ng capacity on demand E.g. Amazon EC2, GoGrid, etc. Hypervisors decouple alloca+on of resources (VMs) from provisioning of infrastructure (physical machines)

11 Opera/ng System development Compiler Editor Visual Studio Hypervisor Real hardware Building and tes/ng a new OS without needing to reboot real hardware VMM omen gives you more informa/on about faults than real hardware anyway

12 Other cool applica/ons Tracer Applica/on Applica/on Hypervisor Real hardware Tracing Debugging Execu/on replay Lock step execu/on Live migra/on Rollback Specula/on Etc.

13 How does it all work? Note: a hypervisor is basically an OS With an unusual API Many func/ons quite similar: Mul/plexing resources Scheduling, virtual memory, device drivers Different: Crea/ng the illusion of hardware to applica/ons Guest OSes are less flexible in resource requirements

14 Hosted VMMs Applica/on Applica/on App App Guest opera/ng system Examples: VMware worksta/on Linux KVM Microsom Hyper V VMM Host opera/ng system Real hardware

15 Hypervisor based VMMs Console Mgmt. Console (Mgmt) opera/ng system App App Guest opera/ng system App App Guest opera/ng system Examples: VMware ESX IBM VM/CMS Xen VMM VMM VMM Hypervisor Real hardware

16 How to virtualize The CPU (s)? The MMU? Physical memory? Devices (disks, etc.)? The Network and?

17 Virtualizing the CPU A CPU architecture is strictly virtualizable if it can be perfectly emulated over itself, with all nonprivileged instruc/ons executed na/vely Privileged instruc/ons trap Kernel mode (i.e. the VMM) emulates instruc/on Guest s kernel mode is actually user mode Or another, extra privilege level (such as ring 1) Examples: IBM S/390, Alpha, PowerPC

18 Virtualizing the CPU A strictly virtualizable processor can execute a complete na/ve Guest OS Guest applica/ons run in user mode as before Guest kernel works exactly as before Problem: x86 architecture is not virtualizable About 20 instruc/ons are sensi/ve but not privileged Mostly segment loads and processor flag manipula/on

19 Non virtualizable x86: example PUSHF/POPF instruc/ons Push/pop condi/on code register Includes interrupt enable flag (IF) Unprivileged instruc/ons: fine in user space! IF is ignored by POPF in user mode, not in kernel mode VMM can t determine if Guest OS wants interrrupts disabled! Can t cause a trap on a (privileged) POPF Prevents correct func/oning of the Guest OS

20 Solu/ons 1. Emula/on: emulate all kernel mode code in somware Very slow par/cularly for I/O intensive workloads Used by, e.g., SomPC 2. Paravirtualiza8on: modify Guest OS kernel Replace with explicit trap instruc/on to VMM Also called a HyperCall (used for all kinds of things) Used by, e.g., Xen 3. Binary rewri/ng: Protect kernel instruc/on pages, trap to VMM on first IFetch Scan page for POPF instruc/ons and replace Restart instruc/on in Guest OS and con/nue Used by, e.g. VMware 4. Hardware support: Intel VT x, AMD V Extra processor mode causes POPF to trap

21 Virtualizing the MMU Hypervisor allocates memory to VMs Guest assumes control over all physical memory VMM can t let Guest OS to install mappings Defini/ons needed: Virtual address: a virtual address in the guest Physical address: as seen by the guest Machine address: real physical address As seen by the Hypervisor

22 Virtual/Physical/Machine Guest Virtual AS Guest Physical AS Machine Memory Guest 1: Guest 2: 5

23 MMU Virtualiza/on Cri/cal for performance, challenging to make fast, especially SMP Hot unplug unnecessary virtual CPUs Use mul/cast TLB flush paravirtualiza/ons etc Xen supports 3 MMU virtualiza/on modes 1. Direct ( Writable ) pagetables 2. Shadow pagetables 3. Hardware Assisted Paging OS Paravirtualiza/on compulsory for #1, op/onal (and very beneficial) for #2&3

24 Paravirtualiza/on approach Guest OS creates page tables the hardware uses VMM must validate all updates to page tables Requires modifica/ons to Guest OS Not quite enough VMM must check all writes to PTEs Write protect all PTEs to the Guest kernel Add a HyperCall to update PTEs Batch updates to avoid trap overhead OS is now aware of machine addresses Significant overhead!

25 Para Virtualizing the MMU Guest OSes allocate and manage own PTs Hypercall to change PT base VMM must validate PT updates before use Allows incremental updates, avoids revalida/on Valida/on rules applied to each PTE: 1. Guest may only map pages it owns* 2. Pagetable pages may only be mapped RO VMM traps PTE updates and emulates, or unhooks PTE page for bulk updates

26 Writeable Page Tables : 1 Write fault guest reads first guest write Virtual Machine Guest OS page fault VMM MMU Hardware

27 Writeable Page Tables : 2 Emulate? guest reads first guest write Virtual Machine Guest OS yes emulate? VMM MMU Hardware

28 Writeable Page Tables : 3 Unhook guest reads guest writes X Virtual Machine Guest OS VMM MMU Hardware

29 Writeable Page Tables : 4 First Use guest reads guest writes X Virtual Machine Guest OS page fault VMM MMU Hardware

30 Writeable Page Tables : 5 Re hook guest reads guest writes Virtual Machine Guest OS validate VMM MMU Hardware

31 Writeable page tables require paravirtualiza/on Guest Virtual AS Machine Memory Guest 1: Guests directly share Machine Memory 9 6 Guest 2: 5

32 Shadow Page Tables Guest OS sets up its own page tables Not used by the hardware! VMM maintains shadow page tables Map directly from Guest VAs to Machine Addresses Hardware switched whenever Guest reloads PTPR VMM must keep V M table consistent with Guest V P table and it s own P M table VMM write protects all guest page tables Write trap: apply write to shadow table as well Significant overhead!

33 Shadow Page Tables Guest Virtual AS Guest Physical AS Machine Memory Guest 1: Shadow page table mappings 9 6 Guest 2: 5

34 Shadow page tables guest reads Virtual Guest Physical guest writes Guest changes op/onal, but help with batching, knowing when to unshadow accessed and dirty bits Latest algorithms work remarkably well updates Virtual Machine Guest OS VMM Hardware MMU

35 Hardware support Nested page tables Rela/vely new in AMD (NPT) and Intel (EPT) hardware Two level transla/on of addresses in the MMU Hardware knows about: V P tables (in the Guest) P M tables (in the Hypervisor) Tagged TLBs to avoid expensive flush on a VM entry/ exit Very nice and easy to code to One reason kvm is so small Significant performance overhead

36 Memory alloca/on Guest OS is not expec/ng physical memory to change in size! Two problems: Hypervisor wants to overcommit RAM How to reallocate (machine) memory between VMs Phenomenon: Double Paging Hypervisor pages out memory GuestOS decides to page out physical frame (Unwivngly) faults it in via the Hypervisor, only to write it out again

37 Ballooning Technique to reclaim memory from a Guest Install a balloon driver in Guest kernel Can allocate and free kernel physical memory Just like any other part of the kernel Uses HyperCalls to return frames to the Hypervisor, and have them returned Guest OS is unware, simply allocates physical memory

38 Ballooning: taking RAM away from a VM Guest physical address space Balloon Balloon driver 1. VMM asks balloon driver for memory 2. Balloon driver asks Guest OS kernel for more frames inflates the balloon 3. Balloon driver sends physical frame numbers to VMM 4. VMM translates into machine address and claims the frames

39 Ballooning: taking RAM away from a VM Guest physical address space Physical memory claimed by balloon driver Balloon Balloon driver 1. VMM asks balloon driver for memory 2. Balloon driver asks Guest OS kernel for more frames inflates the balloon 3. Balloon driver sends physical frame numbers to VMM 4. VMM translates into machine addresses and claims the frames

40 Returning RAM to a VM Guest physical address space Balloon Balloon driver 1. VMM converts machine address into a physical address previously allocated by the balloon driver 2. VMM hands PFN to balloon driver 3. Balloon driver frees physical frame back to Guest OS kernel deflates the balloon

41 Virtualizing Devices Familiar by now: trap and emulate I/O space traps Protect memory and trap Device model : somware model of device in VMM Interrupts upcalls to Guest OS Emulate interrupt controller (APIC) in Guest Emulate DMA with copy into Guest PAS Significant performance overhead!

42 Paravirtualized devices Fake device drivers which communicate efficiently with VMM via hypercalls Used for block devices like disk controllers Network interfaces VMware tools is mostly about these Drama/cally beyer performance!

43 Networking Virtual network device in the Guest VM Hypervisor implements a som switch En/re virtual IP/Ethernet network on a machine Many different addressing op/ons Separate IP addresses Separate MAC addresses NAT Etc.

44 Where are the real drivers? 1. In the Hypervisor E.g. VMware ESX Problem: need to rewrite device drivers (new OS) 2. In the console OS Export virtual devices to other VMs 3. In driver domains Map hardware directly into a trusted VM Device Passthrough Run your favorite OS just for the device driver Use IOMMU hardware to protect other memory from driver VM 4. Use self virtualizing devices

45 Xen 3.x Architecture VM0 Device Manager & Control s/w VM1 Unmodified User Somware VM2 Unmodified User Somware VM3 Unmodified User Somware GuestOS (XenLinux) Virtual switch GuestOS (XenLinux) SMP GuestOS (XenLinux) Unmodified GuestOS (WinXP) Na/ve Device Drivers Front End Device Drivers Front End Device Drivers Front End Device Drivers Control IF Safe HW IF Event Channel Virtual CPU Xen Virtual Machine Monitor Virtual MMU Hardware (SMP, MMU, physical memory, Ethernet, SCSI/IDE) Thanks to Steve Hand for some of these diagrams

46 Remember this card?

47 SR IOV Single Root I/O Virtualiza/on Key idea: dynamically create new PCIe devices Physical Func/on (PF): original device, full func/onality Virtual Func/on (VF): extra device, limited fun/onality VFs created/destroyed via PF registers For networking: Par//ons a network card s resources With direct assignment can implement passthrough

48 SR IOV in ac/on VM VM VM VM VM VSwitch VF driver VF driver VF driver VNIC drvr PF driver VMM IOMMU PCIe Virtual func/on Virtual func/on Virtual func/on Physical func/on Virtual ethernet bridge/switch, packet classifier SR IOV NIC LAN

49 Self virtualizing devices Can dynamically create up to 2048 dis/nct PCI devices on demand! Hypervisor can create a virtual NIC for each VM Somswitch driver programs master NIC to demux packets to each virtual NIC PCI bus is virtualized in each VM Each Guest OS appears to have real NIC, talks direct to the real hardware

50 Next Week Reliable storage OS Research/Future

CSE 120 Principles of Operating Systems

CSE 120 Principles of Operating Systems CSE 120 Principles of Operating Systems Spring 2018 Lecture 16: Virtual Machine Monitors Geoffrey M. Voelker Virtual Machine Monitors 2 Virtual Machine Monitors Virtual Machine Monitors (VMMs) are a hot

More information

We ve seen lots of examples of virtualization. This is another: a virtual machine monitor. A VMM virtualizes an entire hardware machine.

We ve seen lots of examples of virtualization. This is another: a virtual machine monitor. A VMM virtualizes an entire hardware machine. Chapter 22 Virtualization We ve seen lots of examples of virtualization. This is another: a virtual machine monitor. A VMM virtualizes an entire hardware machine. We can contrast this OS processes and

More information

Spring 2017 :: CSE 506. Introduction to. Virtual Machines. Nima Honarmand

Spring 2017 :: CSE 506. Introduction to. Virtual Machines. Nima Honarmand Introduction to Virtual Machines Nima Honarmand Virtual Machines & Hypervisors Virtual Machine: an abstraction of a complete compute environment through the combined virtualization of the processor, memory,

More information

Virtual Machine Monitors (VMMs) are a hot topic in

Virtual Machine Monitors (VMMs) are a hot topic in CSE 120 Principles of Operating Systems Winter 2007 Lecture 16: Virtual Machine Monitors Keith Marzullo and Geoffrey M. Voelker Virtual Machine Monitors Virtual Machine Monitors (VMMs) are a hot topic

More information

Xen and the Art of Virtualiza2on

Xen and the Art of Virtualiza2on Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian PraF, Andrew Warfield University of Cambridge Computer Laboratory Kyle SchuF CS 5204 Virtualiza2on Abstrac2on

More information

CS370: Operating Systems [Spring 2017] Dept. Of Computer Science, Colorado State University

CS370: Operating Systems [Spring 2017] Dept. Of Computer Science, Colorado State University Frequently asked questions from the previous class survey CS 370: OPERATING SYSTEMS [VIRTUALIZATION] Shrideep Pallickara Computer Science Colorado State University Difference between physical and logical

More information

What is KVM? KVM patch. Modern hypervisors must do many things that are already done by OSs Scheduler, Memory management, I/O stacks

What is KVM? KVM patch. Modern hypervisors must do many things that are already done by OSs Scheduler, Memory management, I/O stacks LINUX-KVM The need for KVM x86 originally virtualization unfriendly No hardware provisions Instructions behave differently depending on privilege context(popf) Performance suffered on trap-and-emulate

More information

Virtualization. Starting Point: A Physical Machine. What is a Virtual Machine? Virtualization Properties. Types of Virtualization

Virtualization. Starting Point: A Physical Machine. What is a Virtual Machine? Virtualization Properties. Types of Virtualization Starting Point: A Physical Machine Virtualization Based on materials from: Introduction to Virtual Machines by Carl Waldspurger Understanding Intel Virtualization Technology (VT) by N. B. Sahgal and D.

More information

Virtualization. ! Physical Hardware Processors, memory, chipset, I/O devices, etc. Resources often grossly underutilized

Virtualization. ! Physical Hardware Processors, memory, chipset, I/O devices, etc. Resources often grossly underutilized Starting Point: A Physical Machine Virtualization Based on materials from: Introduction to Virtual Machines by Carl Waldspurger Understanding Intel Virtualization Technology (VT) by N. B. Sahgal and D.

More information

Virtualization. Introduction. Why we interested? 11/28/15. Virtualiza5on provide an abstract environment to run applica5ons.

Virtualization. Introduction. Why we interested? 11/28/15. Virtualiza5on provide an abstract environment to run applica5ons. Virtualization Yifu Rong Introduction Virtualiza5on provide an abstract environment to run applica5ons. Virtualiza5on technologies have a long trail in the history of computer science. Why we interested?

More information

Module 1: Virtualization. Types of Interfaces

Module 1: Virtualization. Types of Interfaces Module 1: Virtualization Virtualization: extend or replace an existing interface to mimic the behavior of another system. Introduced in 1970s: run legacy software on newer mainframe hardware Handle platform

More information

Virtualiza)on. COMS W4118 Prof. Kaustubh R. Joshi hep://

Virtualiza)on. COMS W4118 Prof. Kaustubh R. Joshi hep:// Virtualiza)on COMS W4118 Prof. Kaustubh R. Joshi krj@cs.columbia.edu hep://www.cs.columbia.edu/~krj/os References: Opera)ng Systems Concepts (9e), Linux Kernel Development, previous W4118s Copyright no2ce:

More information

Hardware- assisted Virtualization

Hardware- assisted Virtualization Hardware- assisted Virtualization Pra$k Shah (pcshah) Rohan Pa$l (rspa$l) 15-612 Opera,ng System Prac,cum Carnegie Mellon University 1 Agenda Introduc)on to VT- x CPU virtualiza)on with VT- x VMX VMX Transi$ons

More information

Virtualization. Pradipta De

Virtualization. Pradipta De Virtualization Pradipta De pradipta.de@sunykorea.ac.kr Today s Topic Virtualization Basics System Virtualization Techniques CSE506: Ext Filesystem 2 Virtualization? A virtual machine (VM) is an emulation

More information

Virtualization. Dr. Yingwu Zhu

Virtualization. Dr. Yingwu Zhu Virtualization Dr. Yingwu Zhu Virtualization Definition Framework or methodology of dividing the resources of a computer into multiple execution environments. Types Platform Virtualization: Simulate a

More information

CHAPTER 16 - VIRTUAL MACHINES

CHAPTER 16 - VIRTUAL MACHINES CHAPTER 16 - VIRTUAL MACHINES 1 OBJECTIVES Explore history and benefits of virtual machines. Discuss the various virtual machine technologies. Describe the methods used to implement virtualization. Show

More information

Chapter 5 C. Virtual machines

Chapter 5 C. Virtual machines Chapter 5 C Virtual machines Virtual Machines Host computer emulates guest operating system and machine resources Improved isolation of multiple guests Avoids security and reliability problems Aids sharing

More information

Virtual Machines. Jinkyu Jeong Computer Systems Laboratory Sungkyunkwan University

Virtual Machines. Jinkyu Jeong Computer Systems Laboratory Sungkyunkwan University Virtual Machines Jinkyu Jeong (jinkyu@skku.edu) Computer Systems Laboratory Sungkyunkwan University http://csl.skku.edu Today's Topics History and benefits of virtual machines Virtual machine technologies

More information

CS370 Operating Systems

CS370 Operating Systems CS370 Operating Systems Colorado State University Yashwant K Malaiya Fall 2017 Lecture 27 Virtualization Slides based on Various sources 1 1 Virtualization Why we need virtualization? The concepts and

More information

Advanced Operating Systems (CS 202) Virtualization

Advanced Operating Systems (CS 202) Virtualization Advanced Operating Systems (CS 202) Virtualization Virtualization One of the natural consequences of the extensibility research we discussed What is virtualization and what are the benefits? 2 Virtualization

More information

The Challenges of X86 Hardware Virtualization. GCC- Virtualization: Rajeev Wankar 36

The Challenges of X86 Hardware Virtualization. GCC- Virtualization: Rajeev Wankar 36 The Challenges of X86 Hardware Virtualization GCC- Virtualization: Rajeev Wankar 36 The Challenges of X86 Hardware Virtualization X86 operating systems are designed to run directly on the bare-metal hardware,

More information

COMPUTER ARCHITECTURE. Virtualization and Memory Hierarchy

COMPUTER ARCHITECTURE. Virtualization and Memory Hierarchy COMPUTER ARCHITECTURE Virtualization and Memory Hierarchy 2 Contents Virtual memory. Policies and strategies. Page tables. Virtual machines. Requirements of virtual machines and ISA support. Virtual machines:

More information

Virtual Machines. Part 2: starting 19 years ago. Operating Systems In Depth IX 1 Copyright 2018 Thomas W. Doeppner. All rights reserved.

Virtual Machines. Part 2: starting 19 years ago. Operating Systems In Depth IX 1 Copyright 2018 Thomas W. Doeppner. All rights reserved. Virtual Machines Part 2: starting 19 years ago Operating Systems In Depth IX 1 Copyright 2018 Thomas W. Doeppner. All rights reserved. Operating Systems In Depth IX 2 Copyright 2018 Thomas W. Doeppner.

More information

Virtualization. Operating Systems, 2016, Meni Adler, Danny Hendler & Amnon Meisels

Virtualization. Operating Systems, 2016, Meni Adler, Danny Hendler & Amnon Meisels Virtualization Operating Systems, 2016, Meni Adler, Danny Hendler & Amnon Meisels 1 What is virtualization? Creating a virtual version of something o Hardware, operating system, application, network, memory,

More information

references Virtualization services Topics Virtualization

references Virtualization services Topics Virtualization references Virtualization services Virtual machines Intel Virtualization technology IEEE xplorer, May 2005 Comparison of software and hardware techniques for x86 virtualization ASPLOS 2006 Memory resource

More information

Virtual Virtual Memory

Virtual Virtual Memory Virtual Virtual Memory Jason Power 3/20/2015 With contributions from Jayneel Gandhi and Lena Olson 4/17/2015 UNIVERSITY OF WISCONSIN 1 Virtual Machine History 1970 s: VMMs 1997: Disco 1999: VMWare (binary

More information

COS 318: Operating Systems. Virtual Machine Monitors

COS 318: Operating Systems. Virtual Machine Monitors COS 318: Operating Systems Virtual Machine Monitors Prof. Margaret Martonosi Computer Science Department Princeton University http://www.cs.princeton.edu/courses/archive/fall11/cos318/ Announcements Project

More information

Virtualization with XEN. Trusted Computing CS599 Spring 2007 Arun Viswanathan University of Southern California

Virtualization with XEN. Trusted Computing CS599 Spring 2007 Arun Viswanathan University of Southern California Virtualization with XEN Trusted Computing CS599 Spring 2007 Arun Viswanathan University of Southern California A g e n d a Introduction Virtualization approaches Basic XEN Architecture Setting up XEN Bootstrapping

More information

Server Virtualization Approaches

Server Virtualization Approaches Server Virtualization Approaches Virtual Machine Applications Emulation Replication Composition Emulation: Mix-and-match cross-platform portability Replication: Multiple VMs on single platform Composition:

More information

Introduction to Virtual Machines. Carl Waldspurger (SB SM 89 PhD 95) VMware R&D

Introduction to Virtual Machines. Carl Waldspurger (SB SM 89 PhD 95) VMware R&D Introduction to Virtual Machines Carl Waldspurger (SB SM 89 PhD 95) VMware R&D Overview Virtualization and VMs Processor Virtualization Memory Virtualization I/O Virtualization Typesof Virtualization Process

More information

CSCE 410/611: Virtualization!

CSCE 410/611: Virtualization! CSCE 410/611: Virtualization! Definitions, Terminology! Why Virtual Machines?! Mechanics of Virtualization! Virtualization of Resources (Memory)! Some slides made available Courtesy of Gernot Heiser, UNSW.!

More information

Background. IBM sold expensive mainframes to large organizations. Monitor sits between one or more OSes and HW

Background. IBM sold expensive mainframes to large organizations. Monitor sits between one or more OSes and HW Virtual Machines Background IBM sold expensive mainframes to large organizations Some wanted to run different OSes at the same time (because applications were developed on old OSes) Solution: IBM developed

More information

CS 350 Winter 2011 Current Topics: Virtual Machines + Solid State Drives

CS 350 Winter 2011 Current Topics: Virtual Machines + Solid State Drives CS 350 Winter 2011 Current Topics: Virtual Machines + Solid State Drives Virtual Machines Resource Virtualization Separating the abstract view of computing resources from the implementation of these resources

More information

The Architecture of Virtual Machines Lecture for the Embedded Systems Course CSD, University of Crete (April 29, 2014)

The Architecture of Virtual Machines Lecture for the Embedded Systems Course CSD, University of Crete (April 29, 2014) The Architecture of Virtual Machines Lecture for the Embedded Systems Course CSD, University of Crete (April 29, 2014) ManolisMarazakis (maraz@ics.forth.gr) Institute of Computer Science (ICS) Foundation

More information

Lecture 5: February 3

Lecture 5: February 3 CMPSCI 677 Operating Systems Spring 2014 Lecture 5: February 3 Lecturer: Prashant Shenoy Scribe: Aditya Sundarrajan 5.1 Virtualization Virtualization is a technique that extends or replaces an existing

More information

OS Virtualization. Why Virtualize? Introduction. Virtualization Basics 12/10/2012. Motivation. Types of Virtualization.

OS Virtualization. Why Virtualize? Introduction. Virtualization Basics 12/10/2012. Motivation. Types of Virtualization. Virtualization Basics Motivation OS Virtualization CSC 456 Final Presentation Brandon D. Shroyer Types of Virtualization Process virtualization (Java) System virtualization (classic, hosted) Emulation

More information

Dr. Song Fu 3/22/2010

Dr. Song Fu 3/22/2010 CSE 589/489 Virtualization Security Dr. Song Fu song@cs.nmt.edunmt http://www.cs.nmt.edu/~song/ song/ 3/22/2010 Outline Overview of computer systems Why virtualization Virtualization techniques Virtual

More information

Lecture 7. Xen and the Art of Virtualization. Paul Braham, Boris Dragovic, Keir Fraser et al. 16 November, Advanced Operating Systems

Lecture 7. Xen and the Art of Virtualization. Paul Braham, Boris Dragovic, Keir Fraser et al. 16 November, Advanced Operating Systems Lecture 7 Xen and the Art of Virtualization Paul Braham, Boris Dragovic, Keir Fraser et al. Advanced Operating Systems 16 November, 2011 SOA/OS Lecture 7, Xen 1/38 Contents Virtualization Xen Memory CPU

More information

24-vm.txt Mon Nov 21 22:13: Notes on Virtual Machines , Fall 2011 Carnegie Mellon University Randal E. Bryant.

24-vm.txt Mon Nov 21 22:13: Notes on Virtual Machines , Fall 2011 Carnegie Mellon University Randal E. Bryant. 24-vm.txt Mon Nov 21 22:13:36 2011 1 Notes on Virtual Machines 15-440, Fall 2011 Carnegie Mellon University Randal E. Bryant References: Tannenbaum, 3.2 Barham, et al., "Xen and the art of virtualization,"

More information

System Virtual Machines

System Virtual Machines System Virtual Machines Outline Need and genesis of system Virtual Machines Basic concepts User Interface and Appearance State Management Resource Control Bare Metal and Hosted Virtual Machines Co-designed

More information

DISCO and Virtualization

DISCO and Virtualization DISCO and Virtualization 1. Announcements: a. Project now due Friday at 9 pm b. Class moving to CS 1325 starting Thursday. 2. Questions from reviews: a. NFS scalability bottleneck? i. Yes, other things

More information

Knut Omang Ifi/Oracle 6 Nov, 2017

Knut Omang Ifi/Oracle 6 Nov, 2017 Software and hardware support for Network Virtualization part 1 Knut Omang Ifi/Oracle 6 Nov, 2017 1 Motivation Goal: Introduction to challenges in providing fast networking to virtual machines Prerequisites:

More information

CSCE 410/611: Virtualization

CSCE 410/611: Virtualization CSCE 410/611: Virtualization Definitions, Terminology Why Virtual Machines? Mechanics of Virtualization Virtualization of Resources (Memory) Some slides made available Courtesy of Gernot Heiser, UNSW.

More information

Virtual Machine Virtual Machine Types System Virtual Machine: virtualize a machine Container: virtualize an OS Program Virtual Machine: virtualize a process Language Virtual Machine: virtualize a language

More information

Virtual Machines. To do. q VM over time q Implementation methods q Hardware features supporting VM q Next time: Midterm?

Virtual Machines. To do. q VM over time q Implementation methods q Hardware features supporting VM q Next time: Midterm? Virtual Machines To do q VM over time q Implementation methods q Hardware features supporting VM q Next time: Midterm? *Partially based on notes from C. Waldspurger, VMware, 2010 and Arpaci-Dusseau s Three

More information

Virtualisation: The KVM Way. Amit Shah

Virtualisation: The KVM Way. Amit Shah Virtualisation: The KVM Way Amit Shah amit.shah@qumranet.com foss.in/2007 Virtualisation Simulation of computer system in software Components Processor Management: register state, instructions, exceptions

More information

VIRTUALIZATION: IBM VM/370 AND XEN

VIRTUALIZATION: IBM VM/370 AND XEN 1 VIRTUALIZATION: IBM VM/370 AND XEN CS6410 Hakim Weatherspoon IBM VM/370 Robert Jay Creasy (1939-2005) Project leader of the first full virtualization hypervisor: IBM CP-40, a core component in the VM

More information

[537] Virtual Machines. Tyler Harter

[537] Virtual Machines. Tyler Harter [537] Virtual Machines Tyler Harter Outline Machine Virtualization Overview CPU Virtualization (Trap-and-Emulate) CPU Virtualization (Modern x86) Memory Virtualization Performance Challenges Outline Machine

More information

Virtualization and memory hierarchy

Virtualization and memory hierarchy Virtualization and memory hierarchy Computer Architecture J. Daniel García Sánchez (coordinator) David Expósito Singh Francisco Javier García Blas ARCOS Group Computer Science and Engineering Department

More information

Intel s Virtualization Extensions (VT-x) So you want to build a hypervisor?

Intel s Virtualization Extensions (VT-x) So you want to build a hypervisor? Intel s Virtualization Extensions (VT-x) So you want to build a hypervisor? Mr. Jacob Torrey May 13, 2014 Dartmouth College 153 Brooks Road, Rome, NY 315.336.3306 http://ainfosec.com @JacobTorrey torreyj@ainfosec.com

More information

Virtual Machine Security

Virtual Machine Security Virtual Machine Security CSE443 - Spring 2012 Introduction to Computer and Network Security Professor Jaeger www.cse.psu.edu/~tjaeger/cse443-s12/ 1 Operating System Quandary Q: What is the primary goal

More information

Nested Virtualization and Server Consolidation

Nested Virtualization and Server Consolidation Nested Virtualization and Server Consolidation Vara Varavithya Department of Electrical Engineering, KMUTNB varavithya@gmail.com 1 Outline Virtualization & Background Nested Virtualization Hybrid-Nested

More information

Opera&ng Systems ECE344

Opera&ng Systems ECE344 Opera&ng Systems ECE344 Lecture 8: Paging Ding Yuan Lecture Overview Today we ll cover more paging mechanisms: Op&miza&ons Managing page tables (space) Efficient transla&ons (TLBs) (&me) Demand paged virtual

More information

Virtualization. ...or how adding another layer of abstraction is changing the world. CIS 399: Unix Skills University of Pennsylvania.

Virtualization. ...or how adding another layer of abstraction is changing the world. CIS 399: Unix Skills University of Pennsylvania. Virtualization...or how adding another layer of abstraction is changing the world. CIS 399: Unix Skills University of Pennsylvania April 6, 2009 (CIS 399 Unix) Virtualization April 6, 2009 1 / 22 What

More information

Virtualization. Adam Belay

Virtualization. Adam Belay Virtualization Adam Belay What is a virtual machine Simulation of a computer Running as an application on a host computer Accurate Isolated Fast Why use a virtual machine? To run multiple

More information

Networks and Operating Systems Chapter 11: Introduction to Operating Systems

Networks and Operating Systems Chapter 11: Introduction to Operating Systems Systems Group Department of Computer Science ETH Zürich Networks and Operating Systems Chapter 11: Introduction to Operating Systems (252-0062-00) Donald Kossmann & Torsten Hoefler Frühjahrssemester 2012

More information

Networks and Opera/ng Systems Chapter 19: I/O Subsystems

Networks and Opera/ng Systems Chapter 19: I/O Subsystems Networks and Opera/ng Systems Chapter 19: I/O Subsystems (252 0062 00) Donald Kossmann & Torsten Hoefler Frühjahrssemester 2013 Systems Group Department of Computer Science ETH Zürich Last /me: File System

More information

CprE Virtualization. Dr. Yong Guan. Department of Electrical and Computer Engineering & Information Assurance Center Iowa State University

CprE Virtualization. Dr. Yong Guan. Department of Electrical and Computer Engineering & Information Assurance Center Iowa State University Virtualization Dr. Yong Guan Department of Electrical and Computer Engineering & Information Assurance Center Iowa State University Outline for Today s Talk Introduction Virtualization Technology Applications

More information

Cloud Computing Virtualization

Cloud Computing Virtualization Cloud Computing Virtualization Anil Madhavapeddy anil@recoil.org Contents Virtualization. Layering and virtualization. Virtual machine monitor. Virtual machine. x86 support for virtualization. Full and

More information

Introduction to Cloud Computing and Virtualization. Mayank Mishra Sujesha Sudevalayam PhD Students CSE, IIT Bombay

Introduction to Cloud Computing and Virtualization. Mayank Mishra Sujesha Sudevalayam PhD Students CSE, IIT Bombay Introduction to Cloud Computing and Virtualization By Mayank Mishra Sujesha Sudevalayam PhD Students CSE, IIT Bombay Talk Layout Cloud Computing Need Features Feasibility Virtualization of Machines What

More information

CHAPTER 16 - VIRTUAL MACHINES

CHAPTER 16 - VIRTUAL MACHINES CHAPTER 16 - VIRTUAL MACHINES 1 OBJECTIVES Explore history and bene ts of virtual machines. Discuss the various virtual machine technologies. Describe the methods used to implement virtualization. Show

More information

CS 550 Operating Systems Spring Introduction to Virtual Machines

CS 550 Operating Systems Spring Introduction to Virtual Machines CS 550 Operating Systems Spring 2018 Introduction to Virtual Machines 1 How to share a physical computer Operating systems allows multiple processes/applications to run simultaneously Via process/memory

More information

Multiprocessor Scheduling. Multiprocessor Scheduling

Multiprocessor Scheduling. Multiprocessor Scheduling Multiprocessor Scheduling Will consider only shared memory multiprocessor or multi-core CPU Salient features: One or more caches: cache affinity is important Semaphores/locks typically implemented as spin-locks:

More information

CS370 Operating Systems

CS370 Operating Systems CS370 Operating Systems Colorado State University Yashwant K Malaiya Spring 2018 Lecture 26 Virtualization Slides based on Text by Silberschatz, Galvin, Gagne Various sources 1 1 Virtualization Why we

More information

Fast access ===> use map to find object. HW == SW ===> map is in HW or SW or combo. Extend range ===> longer, hierarchical names

Fast access ===> use map to find object. HW == SW ===> map is in HW or SW or combo. Extend range ===> longer, hierarchical names Fast access ===> use map to find object HW == SW ===> map is in HW or SW or combo Extend range ===> longer, hierarchical names How is map embodied: --- L1? --- Memory? The Environment ---- Long Latency

More information

Virtualization. Virtualization

Virtualization. Virtualization Virtualization Virtualization Memory virtualization Process feels like it has its own address space Created by MMU, configured by OS Storage virtualization Logical view of disks connected to a machine

More information

Micro VMMs and Nested Virtualization

Micro VMMs and Nested Virtualization Micro VMMs and Nested Virtualization For the TCE 4th summer school on computer security, big data and innovation Baruch Chaikin, Intel 9 September 2015 Agenda Virtualization Basics The Micro VMM Nested

More information

Fast access ===> use map to find object. HW == SW ===> map is in HW or SW or combo. Extend range ===> longer, hierarchical names

Fast access ===> use map to find object. HW == SW ===> map is in HW or SW or combo. Extend range ===> longer, hierarchical names Fast access ===> use map to find object HW == SW ===> map is in HW or SW or combo Extend range ===> longer, hierarchical names How is map embodied: --- L1? --- Memory? The Environment ---- Long Latency

More information

System Virtual Machines

System Virtual Machines System Virtual Machines Outline Need and genesis of system Virtual Machines Basic concepts User Interface and Appearance State Management Resource Control Bare Metal and Hosted Virtual Machines Co-designed

More information

Virtual Machines Disco and Xen (Lecture 10, cs262a) Ion Stoica & Ali Ghodsi UC Berkeley February 26, 2018

Virtual Machines Disco and Xen (Lecture 10, cs262a) Ion Stoica & Ali Ghodsi UC Berkeley February 26, 2018 Virtual Machines Disco and Xen (Lecture 10, cs262a) Ion Stoica & Ali Ghodsi UC Berkeley February 26, 2018 Today s Papers Disco: Running Commodity Operating Systems on Scalable Multiprocessors, Edouard

More information

Distributed Systems COMP 212. Lecture 18 Othon Michail

Distributed Systems COMP 212. Lecture 18 Othon Michail Distributed Systems COMP 212 Lecture 18 Othon Michail Virtualisation & Cloud Computing 2/27 Protection rings It s all about protection rings in modern processors Hardware mechanism to protect data and

More information

Data Path acceleration techniques in a NFV world

Data Path acceleration techniques in a NFV world Data Path acceleration techniques in a NFV world Mohanraj Venkatachalam, Purnendu Ghosh Abstract NFV is a revolutionary approach offering greater flexibility and scalability in the deployment of virtual

More information

Today s Objec4ves. Data Center. Virtualiza4on Cloud Compu4ng Amazon Web Services. What did you think? 10/23/17. Oct 23, 2017 Sprenkle - CSCI325

Today s Objec4ves. Data Center. Virtualiza4on Cloud Compu4ng Amazon Web Services. What did you think? 10/23/17. Oct 23, 2017 Sprenkle - CSCI325 Today s Objec4ves Virtualiza4on Cloud Compu4ng Amazon Web Services Oct 23, 2017 Sprenkle - CSCI325 1 Data Center What did you think? Oct 23, 2017 Sprenkle - CSCI325 2 1 10/23/17 Oct 23, 2017 Sprenkle -

More information

CS 5600 Computer Systems. Lecture 11: Virtual Machine Monitors

CS 5600 Computer Systems. Lecture 11: Virtual Machine Monitors CS 5600 Computer Systems Lecture 11: Virtual Machine Monitors History In the 70s, there were dozens of OSes Unlike today, where Windows and Android dominate This created many problems Upgrading hardware

More information

CLOUD COMPUTING IT0530. G.JEYA BHARATHI Asst.Prof.(O.G) Department of IT SRM University

CLOUD COMPUTING IT0530. G.JEYA BHARATHI Asst.Prof.(O.G) Department of IT SRM University CLOUD COMPUTING IT0530 G.JEYA BHARATHI Asst.Prof.(O.G) Department of IT SRM University What is virtualization? Virtualization is way to run multiple operating systems and user applications on the same

More information

Support for Smart NICs. Ian Pratt

Support for Smart NICs. Ian Pratt 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 Network device channel NetChannel2 proposal I/O Architecture

More information

Linux and Xen. Andrea Sarro. andrea.sarro(at)quadrics.it. Linux Kernel Hacking Free Course IV Edition

Linux and Xen. Andrea Sarro. andrea.sarro(at)quadrics.it. Linux Kernel Hacking Free Course IV Edition Linux and Xen Andrea Sarro andrea.sarro(at)quadrics.it Linux Kernel Hacking Free Course IV Edition Andrea Sarro (andrea.sarro(at)quadrics.it) Linux and Xen 07/05/2008 1 / 37 Introduction Xen and Virtualization

More information

Virtualization, Xen and Denali

Virtualization, Xen and Denali Virtualization, Xen and Denali Susmit Shannigrahi November 9, 2011 Susmit Shannigrahi () Virtualization, Xen and Denali November 9, 2011 1 / 70 Introduction Virtualization is the technology to allow two

More information

Unit 5: Distributed, Real-Time, and Multimedia Systems

Unit 5: Distributed, Real-Time, and Multimedia Systems Unit 5: Distributed, Real-Time, and Multimedia Systems Unit Overview Unit 5 provides an extension to the core topics of operating systems. It introduces distributed systems and special-purpose operating

More information

CSC 5930/9010 Cloud S & P: Virtualization

CSC 5930/9010 Cloud S & P: Virtualization CSC 5930/9010 Cloud S & P: Virtualization Professor Henry Carter Fall 2016 Recap Network traffic can be encrypted at different layers depending on application needs TLS: transport layer IPsec: network

More information

Mission-Critical Enterprise Linux. April 17, 2006

Mission-Critical Enterprise Linux. April 17, 2006 Mission-Critical Enterprise Linux April 17, 2006 Agenda Welcome Who we are & what we do Steve Meyers, Director Unisys Linux Systems Group (steven.meyers@unisys.com) Technical Presentations Xen Virtualization

More information

I/O virtualization. Jiang, Yunhong Yang, Xiaowei Software and Service Group 2009 虚拟化技术全国高校师资研讨班

I/O virtualization. Jiang, Yunhong Yang, Xiaowei Software and Service Group 2009 虚拟化技术全国高校师资研讨班 I/O virtualization Jiang, Yunhong Yang, Xiaowei 1 Legal Disclaimer INFORMATION IN THIS DOCUMENT IS PROVIDED IN CONNECTION WITH INTEL PRODUCTS. NO LICENSE,

More information

Lecture 3 Memory Virtualization Larry Rudolph

Lecture 3 Memory Virtualization Larry Rudolph Lecture 3 Memory Virtualization Larry Rudolph Traditional Address Spaces In a traditional system there are typically two address spaces (1) the physical address space (PAS), i.e. the DRAM of the machine,

More information

Advanced Systems Security: Virtual Machine Systems

Advanced Systems Security: Virtual Machine Systems Systems and Internet Infrastructure Security Network and Security Research Center Department of Computer Science and Engineering Pennsylvania State University, University Park PA Advanced Systems Security:

More information

Operating Systems 4/27/2015

Operating Systems 4/27/2015 Virtualization inside the OS Operating Systems 24. Virtualization Memory virtualization Process feels like it has its own address space Created by MMU, configured by OS Storage virtualization Logical view

More information

Virtual machine architecture and KVM analysis D 陳彥霖 B 郭宗倫

Virtual machine architecture and KVM analysis D 陳彥霖 B 郭宗倫 Virtual machine architecture and KVM analysis D97942011 陳彥霖 B96902030 郭宗倫 Virtual machine monitor serves as an interface between hardware and software; no matter what kind of hardware under, software can

More information

CSE543 - Computer and Network Security Module: Virtualization

CSE543 - Computer and Network Security Module: Virtualization CSE543 - Computer and Network Security Module: Virtualization Professor Trent Jaeger CSE543 - Introduction to Computer and Network Security 1 Operating System Quandary Q: What is the primary goal of system

More information

Caching and Demand- Paged Virtual Memory

Caching and Demand- Paged Virtual Memory Caching and Demand- Paged Virtual Memory Defini8ons Cache Copy of data that is faster to access than the original Hit: if cache has copy Miss: if cache does not have copy Cache block Unit of cache storage

More information

Xen and the Art of Virtualization

Xen and the Art of Virtualization Xen and the Art of Virtualization Paul Barham,, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer,, Ian Pratt, Andrew Warfield University of Cambridge Computer Laboratory Presented

More information

vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008

vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008 vnetwork Future Direction Howie Xu, VMware R&D November 4, 2008 Virtual Datacenter OS from VMware Infrastructure vservices and Cloud vservices Existing New - roadmap Virtual Datacenter OS from VMware Agenda

More information

Shadow2. Xen Technical Summit, Summer Tim Deegan (XenSource) & Michael Fetterman (U of Cambridge, Intel) Guilty parties:

Shadow2. Xen Technical Summit, Summer Tim Deegan (XenSource) & Michael Fetterman (U of Cambridge, Intel) Guilty parties: Shadow2 Xen Technical Summit, Summer 2006 Guilty parties: Tim Deegan (XenSource) & Michael Fetterman (U of Cambridge, Intel) R Shadow2 Full replacement for the old (shadow1) code. As of about two weeks

More information

COSC6376 Cloud Computing Lecture 14: CPU and I/O Virtualization

COSC6376 Cloud Computing Lecture 14: CPU and I/O Virtualization COSC6376 Cloud Computing Lecture 14: CPU and I/O Virtualization Instructor: Weidong Shi (Larry), PhD Computer Science Department University of Houston Outline CPU Virtualization I/O Virtualization Types

More information

Extended Page Tables (EPT) A VMM must protect host physical memory Multiple guest operating systems share the same host physical memory VMM typically implements protections through page-table shadowing

More information

SR-IOV support in Xen. Yaozu (Eddie) Dong Yunhong Jiang Kun (Kevin) Tian

SR-IOV support in Xen. Yaozu (Eddie) Dong Yunhong Jiang Kun (Kevin) Tian SR-IOV support in Xen Yaozu (Eddie) Dong (Eddie.Dong@intel.com) Yunhong Jiang Kun (Kevin) Tian Agenda SR-IOV specification overview Xen/SR-IOV architecture Discussions 2 SR-IOV specification overview Start

More information

Today s Papers. Virtual Machines Background. Why Virtualize? EECS 262a Advanced Topics in Computer Systems Lecture 19

Today s Papers. Virtual Machines Background. Why Virtualize? EECS 262a Advanced Topics in Computer Systems Lecture 19 EECS 262a Advanced Topics in Computer Systems Lecture 19 Xen/Microkernels November 5 th, 2014 John Kubiatowicz Electrical Engineering and Computer Sciences University of California, Berkeley Today s Papers

More information

Intel Virtualization Technology Roadmap and VT-d Support in Xen

Intel Virtualization Technology Roadmap and VT-d Support in Xen Intel Virtualization Technology Roadmap and VT-d Support in Xen Jun Nakajima Intel Open Source Technology Center Legal Disclaimer INFORMATION IN THIS DOCUMENT IS PROVIDED IN CONNECTION WITH INTEL PRODUCTS.

More information

The Missing Piece of Virtualization. I/O Virtualization on 10 Gb Ethernet For Virtualized Data Centers

The Missing Piece of Virtualization. I/O Virtualization on 10 Gb Ethernet For Virtualized Data Centers The Missing Piece of Virtualization I/O Virtualization on 10 Gb Ethernet For Virtualized Data Centers Agenda 10 GbE Adapters Built for Virtualization I/O Throughput: Virtual & Non-Virtual Servers Case

More information

Disco. CS380L: Mike Dahlin. September 13, This week: Disco and Exokernel. One lesson: If at first you don t succeed, try try again.

Disco. CS380L: Mike Dahlin. September 13, This week: Disco and Exokernel. One lesson: If at first you don t succeed, try try again. Disco CS380L: Mike Dahlin September 13, 2007 Disco: A bad idea from the 70 s, and it s back! Mendel Rosenblum (tongue in cheek) 1 Preliminaries 1.1 Review 1.2 Outline 1.3 Preview This week: Disco and Exokernel.

More information