CS533 Concepts of Operating Systems Class 13

Slides:

Advertisements

Similar presentations

MicroKernel Pattern Presented by Sahibzada Sami ud din Kashif Khurshid.

Advertisements

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.

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.

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

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.

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.

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 9 Micro-Kernel Based OSs.

CS533 Concepts of Operating Systems Class 11 Micro-kernels Extensibility via Hardware Based Protection.

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

CS533 Concepts of Operating Systems Jonathan Walpole.

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

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.

Language Implementation Methods David Woolbright.

Efficient software-based fault isolation Robert Wahbe, Steven Lucco, Thomas Anderson & Susan Graham Presented by: Stelian Coros.

CS533 Concepts of Operating Systems Jonathan Walpole.

Efficient Software-Based Fault Isolation

Chapter 2: Operating-System Structures

Kernel Design & Implementation

CS 6560: Operating Systems Design

The Zebra Distributed routing software

Midterm Review David Ferry, Chris Gill

Presentation by Omar Abu-Azzah

Object Oriented Programming

Interrupts and Interrupt Handling

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

OS Virtualization.

More examples How many processes does this piece of code create?

Chapter 2: System Structures

SLOPE = = = The SLOPE of a line is There are four types of slopes

CGS 3763 Operating Systems Concepts Spring 2013

Operating System 4 THREADS, SMP AND MICROKERNELS

CS533 Concepts of Operating Systems Class 12

Presented by Neha Agrawal

CS533 Concepts of Operating Systems Class 15

CS533 Concepts of Operating Systems Class 14

CS533 Concepts of Operating Systems Class 16

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

Lecture 6: Multiprogramming and Context Switching

CS533 Concepts of Operating Systems Class 11

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 13

CS533 Concepts of Operating Systems Class 14

Interrupts and Interrupt Handling

CS533 Concepts of Operating Systems Class 15

Operating Systems Structure

CSE 60641: Operating Systems

Advanced Operating Systems (CS 202) Operating System Structure

CSE 542: Operating Systems

Presentation transcript:

CS533 Concepts of Operating Systems Class 13 Extensibility via Software-Based Protection

CS533 - Concepts of Operating Systems 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? compared to Mach? compared to L3/L4? CS533 - Concepts of Operating Systems

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

CS533 - Concepts of Operating Systems 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? compared to Mach? compared to L3/L4? compared to Sandboxing? CS533 - Concepts of Operating Systems