CS533 Concepts of Operating Systems Class 13 Micro-kernels (cont.) Extensibility via Software Based Protection.

Slides:

Advertisements

Similar presentations

Information Security Domains Computer Operations Security By: Shafi Alassmi Instructor: Francis G. Date: Sep 22, 2010.

Advertisements

MicroKernel Pattern Presented by Sahibzada Sami ud din Kashif Khurshid.

CS533 Concepts of Operating Systems Class 14 Virtualization and Exokernels.

Department of Computer Science and Engineering University of Washington Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski,

EXTENSIBILITY, SAFETY AND PERFORMANCE IN THE SPIN OPERATING SYSTEM B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers,

Extensibility, Safety and Performance in the SPIN Operating System Presented by Allen Kerr.

University of Southern California Center for Systems and Software Engineering Risk Calculation Case Studies CS 510 Software Engineering Supannika Koolmanojwong.

Extensibility, Safety and Performance in the SPIN Operating System Department of Computer Science and Engineering, University of Washington Brian N. Bershad,

CS533 Concepts of Operating Systems Class 12 Extensibility via Software Based Protection.

1 Threads, SMP, and Microkernels Chapter 4. 2 Process: Some Info. Motivation for threads! Two fundamental aspects of a “process”: Resource ownership Scheduling.

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.

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.

Extensibility, Safety and Performance in the SPIN Operating System Bershad et al Presentation by norm Slides shamelessly “borrowed” from Stefan Savage’s.

CS533 Concepts of Operating Systems Class 14 Virtualization.

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,

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 1 CS533 Concepts of Operating Systems Class 8 Synchronization on Multiprocessors.

CS533 Concepts of Operating Systems Class 6 Micro-kernels Extensibility via Hardware or Software Based Protection.

A. Frank - P. Weisberg Operating Systems Structure of Operating Systems.

User-Level Interprocess Communication for Shared Memory Multiprocessors Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy Presented.

Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition Chapter 2: Operating-System Structures Modified from the text book.

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.

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?

Extensibility, Safety and Performance in the SPIN Operating System Ashwini Kulkarni Operating Systems Winter 2006.

Operating System 4 THREADS, SMP AND MICROKERNELS

Chapter 2: Operating-System Structures. 2.2 Silberschatz, Galvin and Gagne ©2005 Operating System Concepts – 7 th Edition, Jan 14, 2005 Operating System.

Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Chapter 2: Operating-System Structures.

Architecture Support for OS CSCI 444/544 Operating Systems Fall 2008.

1 Threads, SMP, and Microkernels Chapter 4. 2 Focus and Subtopics Focus: More advanced concepts related to process management : Resource ownership vs.

CS533 Concepts of Operating Systems Jonathan Walpole.

Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Chapter 2: Operating-System Structures.

Silberschatz, Galvin and Gagne ©2013 Operating System Concepts – 9 th Edition Chapter 2: Operating-System Structures.

ICT Information and Communication Technology. Two parts : Core (Compulsory) part Elective part.

The Performance of Micro-Kernel- Based Systems H. Haertig, M. Hohmuth, J. Liedtke, S. Schoenberg, J. Wolter Presentation by: Seungweon Park.

Threads, SMP, and Microkernels Chapter 4. Process Resource ownership - process is allocated a virtual address space to hold the process image Scheduling/execution-

Embedded System Lab. 김해천 The TURBO Diaries: Application-controlled Frequency Scaling Explained.

Efficient Software-Based Fault Isolation Robert Wahbe, Steven Lucco Thomas E. Anderson, Susan L. Graham J. Garrett Morris, presenter.

EXTENSIBILITY, SAFETY AND PERFORMANCE IN THE SPIN OPERATING SYSTEM

1 Threads, SMP, and Microkernels Chapter Multithreading Operating system supports multiple threads of execution within a single process MS-DOS.

Operating System 4 THREADS, SMP AND MICROKERNELS.

A. Frank - P. Weisberg Operating Systems Structure of Operating Systems.

Efficient Software-Based Fault Isolation By Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham Presented by Pehr Collins.

Agenda OS design and implementation Simple structure

Language Implementation Methods David Woolbright.

Chapter 2. System Structures

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.

Operating System Structure

D I s , a ·.... l8l8.

Chapter 2: Operating-System Structures

Operating System 4 THREADS, SMP AND MICROKERNELS

CS533 Concepts of Operating Systems Class 12

CS533 Concepts of Operating Systems Class 14

CS533 Concepts of Operating Systems Class 16

' 1 A ./.\.l+./.\.l

CS533 Concepts of Operating Systems Class 13

CS533 Concepts of Operating Systems Class 6

CS533 Concepts of Operating Systems Class 13

CS533 Concepts of Operating Systems Class 13

Operating Systems Structure

Advanced Operating Systems (CS 202) Operating System Structure

Presentation transcript:

CS533 Concepts of Operating Systems Class 13 Micro-kernels (cont.) Extensibility via Software Based Protection

CS533 - Concepts of Operating Systems 2 Questions  Why does Sandboxing slow down normal execution?  Why does it speed up inter-module communication compared to Mach?  What is a jump-table and why is it needed?  On balance is Sandboxing a win or loss? o compared to Mach? o compared to L3/L4?

CS533 - Concepts of Operating Systems 3 Questions  What exactly is a protection domain in SPIN?  How are module boundaries implemented in SPIN? o What implications does this have for kernel extensions?  How does extension code invoke SPIN’s core services, or code in other modules?  How do SPIN’s core services compare to those of micro-kernels?

CS533 - Concepts of Operating Systems 4 Questions  Does the SPIN approach slow down normal execution?  How does it speed up inter-module communication?  On balance is it a win or loss? o compared to Mach? o compared to L3/L4? o compared to Sandboxing?