CS533 Concepts of Operating Systems Class 14 Virtualization.

Slides:



Advertisements
Similar presentations
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines J. LeVasseur V. Uhlig J. Stoess S. G¨otz University of Karlsruhe,
Advertisements

CS533 Concepts of Operating Systems Class 14 Virtualization and Exokernels.
EXTENSIBILITY, SAFETY AND PERFORMANCE IN THE SPIN OPERATING SYSTEM B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers,
CS533 Concepts of Operating Systems Class 12 Extensibility via Software Based Protection.
CS533 Concepts of Operating Systems Class 5 Integrated Task and Stack Management.
CS533 Concepts of Operating Systems Class 13 Micro-kernels (cont.) Extensibility via Software Based Protection.
CS533 Concepts of Operating Systems Class 20 Summary.
CS533 Concepts of Operating Systems Class 7 Virtualization and Exokernels.
CS533 Concepts of Operating Systems Class 5 System Structuring using Layers & Micro-Kernel Based OSs.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors Bugnion et al. Presented by: Ahmed Wafa.
Extensibility, Safety and Performance in the SPIN Operating System Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski,
CS533 Concepts of Operating Systems Class 12 Micro-kernels (or Extensibility via Hardware-Based Protection)
CS533 Concepts of Operating Systems Class 16 Exokernel.
CS533 Concepts of Operating Systems Class 7 System Structuring using Layers and Micro-kernels.
Operating System Structure. Announcements Make sure you are registered for CS 415 First CS 415 project is up –Initial design documents due next Friday,
Disco Running Commodity Operating Systems on Scalable Multiprocessors.
Extensibility, Safety and Performance in the SPIN Operating System Dave Camarillo.
CS533 Concepts of Operating Systems Class 12 Micro-kernels (or Extensibility via Hardware-Based Protection)
Microkernels: Mach and L4
Figure 1.1 Interaction between applications and the operating system.
CS533 Concepts of Operating Systems Class 6 Micro-kernels Extensibility via Hardware or Software Based Protection.
Introduction Operating Systems’ Concepts and Structure Lecture 1 ~ Spring, 2008 ~ Spring, 2008TUCN. Operating Systems. Lecture 1.
CS533 Concepts of Operating Systems Class 15 Virtualization.
CS533 Concepts of Operating Systems Class 9 Micro-Kernel Based OSs.
CS533 Concepts of Operating Systems Class 11 Micro-kernels Extensibility via Hardware Based Protection.
DISTRIBUTED COMPUTING
CIS 700 Machine Virtualization Autumn 2004.
Stack Management Each process/thread has two stacks  Kernel stack  User stack Stack pointer changes when exiting/entering the kernel Q: Why is this necessary?
Virtualization Concept. Virtualization  Real: it exists, you can see it.  Transparent: it exists, you cannot see it  Virtual: it does not exist, you.
Microkernels, virtualization, exokernels Tutorial 1 – CSC469.
Disco : Running commodity operating system on scalable multiprocessor Edouard et al. Presented by Jonathan Walpole (based on a slide set from Vidhya Sivasankaran)
CS533 Concepts of Operating Systems Jonathan Walpole.
CS533 Concepts of Operating Systems Jonathan Walpole.
Virtualization Concepts Presented by: Mariano Diaz.
Kernel, processes and threads Windows and Linux. Windows Architecture Operating system design Modified microkernel Layered Components HAL Interacts with.
CS533 Concepts of Operating Systems Jonathan Walpole.
Advanced Design and System Patterns The Microkernel Pattern.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors Edouard et al. Madhura S Rama.
 Virtual machine systems: simulators for multiple copies of a machine on itself.  Virtual machine (VM): the simulated machine.  Virtual machine monitor.
Operating Systems Lecture November 2015© Copyright Virtual University of Pakistan 2 Agenda for Today Review of previous lecture Hardware (I/O, memory,
Disco : Running commodity operating system on scalable multiprocessor Edouard et al. Presented by Vidhya Sivasankaran.
The Mach System Abraham Silberschatz, Peter Baer Galvin, Greg Gagne Presentation By: Agnimitra Roy.
Operating Systems Structure what is the organizational principle?
CS 346 – Chapter 2 OS services –OS user interface –System calls –System programs How to make an OS –Implementation –Structure –Virtual machines Commitment.
A. Frank - P. Weisberg Operating Systems Structure of Operating Systems.
Examples of Operating Systems.
Full and Para Virtualization
Introduction Why are virtual machines interesting?
Protection of Processes Security and privacy of data is challenging currently. Protecting information – Not limited to hardware. – Depends on innovation.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors Presented by: Pierre LaBorde, Jordan Deveroux, Imran Ali, Yazen Ghannam, Tzu-Wei.
CS533 Concepts of Operating Systems Jonathan Walpole.
Distributed Computing Systems CSCI 6900/4900. Review Definition & characteristics of distributed systems Distributed system organization Design goals.
Background Computer System Architectures Computer System Software.
Lecture 13: Virtual Machines
Introduction to Operating Systems Concepts
Computer System Structures
Computer System Structures
Operating System Structures
CS490 Windows Internals Quiz 2 09/27/2013.
Chapter 3: Windows7 Part 1.
Mach Kernel Kris Ambrose Kris Ambrose 2003.
Virtualization Techniques
Operating Systems Lecture 3.
CS533 Concepts of Operating Systems Class 15
CS533 Concepts of Operating Systems Class 15
CS533 Concepts of Operating Systems Class 6
Outline Operating System Organization Operating System Examples
Operating Systems Structure
Xen and the Art of Virtualization
CS533 Concepts of Operating Systems Class 15
Presentation transcript:

CS533 Concepts of Operating Systems Class 14 Virtualization

CS533 - Concepts of Operating Systems 2 Questions  Is Disco a micro-kernel?  Is it a minimal kernel running in privileged mode?  Does it run OS code at user level?  Does it support modularization of OS code?  What granularity are the modules?  How does it implement protection?  Is virtualization a sandboxing technique?  How does it implement inter-module communication?  Does it support extensibility?  What abstractions does it export to its clients? o What system call interface does it export?

CS533 - Concepts of Operating Systems 3 Questions  At what granularity do VM monitors support multitasking? o How does this differ from conventional multitasking? o How do virtualized CPUs differ from threads/processes? o How do virtualized CPUs differ from scheduler activations?

CS533 - Concepts of Operating Systems 4 Questions  Do micro-kernels do virtualization?  Is a micro-kernel’s use of trap redirection for application binary compatibility the same as a virtual machine approach?  What else is needed for complete virtualization of a machine, such that an OS binary can run on it?

Questions  What characteristics would make a hardware architecture “difficult” to virtualize?  What characteristics would make a hardware architecture “expensive” to virtualize?  What hardware support would be useful for virtualization?  Does virtualization hide any critical characteristics of the real hardware?

Questions  How does virtualization help scalability? o Aren’t we just adding a level of indirection to the same hardware/software base that would not scale?  Why not just use a network of small cheap machines? o What is the advantage of pretending a large shared memory machine is a network of independent machines?