CS533 Concepts of Operating Systems Class 12 Micro-kernels (or Extensibility via Hardware-Based Protection)

Slides:



Advertisements
Similar presentations
Operating System Architecture and Distributed Systems
Advertisements

Improving IPC by Kernel Design Jochen Liedtke Slides based on a presentation by Rebekah Leslie.
Department of Computer Science and Engineering University of Washington Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski,
MICRO-KERNELS New Generation Innovation. The contents Traditional OS view & its problems. Micro-kernel : introduction to concept. First generation micro-kernels.
User-Level Interprocess Communication for Shared Memory Multiprocessors Bershad, B. N., Anderson, T. E., Lazowska, E.D., and Levy, H. M. Presented by Akbar.
Microkernels How to build a dependable, modular and secure operating system?
CS533 Concepts of Operating Systems Class 12 Extensibility via Software Based Protection.
CS533 Concepts of Operating Systems Class 13 Micro-kernels (cont.) Extensibility via Software Based Protection.
CS533 Concepts of Operating Systems Class 6 Micro-kernels Mach vs L3 vs L4.
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.
Figure 2.8 Compiler phases Compiling. Figure 2.9 Object module Linking.
CS533 Concepts of Operating Systems Class 12 Micro-kernels (or Extensibility via Hardware-Based Protection)
CS533 Concepts of Operating Systems Class 14 Virtualization.
CS533 Concepts of Operating Systems Class 7 System Structuring using Layers and Micro-kernels.
35 Advanced Operating Systems Kernels and kernel services.
CS533 Concepts of Operating Systems Class 4 Remote Procedure Call.
Operating System Structure. Announcements Make sure you are registered for CS 415 First CS 415 project is up –Initial design documents due next Friday,
USER LEVEL INTERPROCESS COMMUNICATION FOR SHARED MEMORY MULTIPROCESSORS Presented by Elakkiya Pandian CS 533 OPERATING SYSTEMS – SPRING 2011 Brian N. Bershad.
Microkernels: Mach and L4
CS533 Concepts of Operating Systems Class 6 Micro-kernels Extensibility via Hardware or Software Based Protection.
MicrokernelsCS-502 (EMC) Fall Microkernels CS-502, Operating Systems Fall 2009 (EMC) (Slides include materials from Modern Operating Systems, 3 rd.
User-Level Interprocess Communication for Shared Memory Multiprocessors Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy Presented.
CS533 Concepts of Operating Systems Class 15 Virtualization.
CS533 Concepts of Operating Systems Class 4 Remote Procedure Call.
CS533 Concepts of Operating Systems Class 9 Micro-Kernel Based OSs.
Slide 3-1 Copyright © 2004 Pearson Education, Inc. Operating Systems: A Modern Perspective, Chapter 3 Operating System Organization.
CS533 Concepts of Operating Systems Class 11 Micro-kernels Extensibility via Hardware Based Protection.
CS510 Concurrent Systems Jonathan Walpole. Lightweight Remote Procedure Call (LRPC)
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?
Microkernels, virtualization, exokernels Tutorial 1 – CSC469.
UNIX System Administration OS Kernal Copyright 2002, Dr. Ken Hoganson All rights reserved. OS Kernel Concept Kernel or MicroKernel Concept: An OS architecture-design.
CS533 Concepts of Operating Systems Jonathan Walpole.
CS533 Concepts of Operating Systems Jonathan Walpole.
Chapter 2: Operating-System Structures. 2.2 Silberschatz, Galvin and Gagne ©2005 Operating System Concepts – 7 th Edition, Jan 14, 2005 Operating System.
Architecture Support for OS CSCI 444/544 Operating Systems Fall 2008.
“Operating Systems Concepts, Sixth Edition” by Abraham Silberschatz, Peter Baer Galvin, and Greg Gagne Presented by Karl Matthias Portland State University.
Heterogeneous Multikernel OS Yauhen Klimiankou BSUIR
The Performance of Microkernel-Based Systems
The Performance of Micro-Kernel- Based Systems H. Haertig, M. Hohmuth, J. Liedtke, S. Schoenberg, J. Wolter Presentation by: Seungweon Park.
Lightweight Remote Procedure Call BRIAN N. BERSHAD, THOMAS E. ANDERSON, EDWARD D. LASOWSKA, AND HENRY M. LEVY UNIVERSTY OF WASHINGTON "Lightweight Remote.
The Mach System Abraham Silberschatz, Peter Baer Galvin, Greg Gagne Presentation By: Agnimitra Roy.
CS533 - Concepts of Operating Systems 1 The Mach System Presented by Catherine Vilhauer.
A. Frank - P. Weisberg Operating Systems Structure of Operating Systems.
1.1 Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition Lecture 2: OS Structures (Chapter 2.7)
Examples of Operating Systems.
The Mach System Silberschatz et al Presented By Anjana Venkat.
The Performance of Micro-Kernel- Based Systems H. Haertig, M. Hohmuth, J. Liedtke, S. Schoenberg, J. Wolter Presentation by: Tim Hamilton.
Operating-System Structures
Microkernel Systems - Jatin Lodhia. What is Microkernel A microkernel is a minimal computer operating system kernel which, in its purest form, provides.
CENG334 Introduction to Operating Systems 1 Erol Sahin Dept of Computer Eng. Middle East Technical University Ankara, TURKEY URL:
CS533 Concepts of Operating Systems Jonathan Walpole.
Computer System Structures
The Mach System Sri Ramkrishna.
CS533 Concepts of Operating Systems
Operating System Structure
Mach Kernel Kris Ambrose Kris Ambrose 2003.
CS533 Concepts of Operating Systems Class 12
CS533 Concepts of Operating Systems Class 15
CS533 Concepts of Operating Systems Class 14
Presented by: SHILPI AGARWAL
CS533 Concepts of Operating Systems Class 13
CS533 Concepts of Operating Systems Class 15
CS533 Concepts of Operating Systems Class 6
Outline Operating System Organization Operating System Examples
CS533 Concepts of Operating Systems Class 11
CS533 Concepts of Operating Systems Class 13
Operating Systems Structure
CS533 Concepts of Operating Systems Class 13
Presentation transcript:

CS533 Concepts of Operating Systems Class 12 Micro-kernels (or Extensibility via Hardware-Based Protection)

CS533 - Concepts of Operating Systems 2 Questions  What is the motivation for modular operating systems? o Does this imply modules with hardware protection? o.. and what do I mean by hardware protection for modules?  What is the motivation for using hardware protection at module boundaries? o Does this imply message passing across module boundaries? o … what other alternatives do you have?  What is the motivation for using message-passing for inter-module communication?

CS533 - Concepts of Operating Systems 3 Questions  What is the structure of a pure emulation library- based OS above a micro-kernel? o How are system calls handled?  What is the structure of a single-server based OS above a micro-kernel? o How are system calls handled?  What is the structure of a multi-server based OS above a micro-kernel? o How are system calls handled?

CS533 - Concepts of Operating Systems 4 Questions  What are the main sources of overhead in micro- kernel based OSs compared to monolithic OSs?  How does L3 address these overheads? o Do these optimizations completely solve the problem?  What is the difference between L4 IPC and a protected control transfer (PCT)? o Would you expect a lot of difference in performance following extreme optimization of both?  What minimal abstractions should a kernel provide?

CS533 - Concepts of Operating Systems 5 Questions  What is extensibility and how does micro-kernel- based OS structure help? o What other approaches are there?