PPT-Exokernel : An Operating System Architecture for Application-Level Resource Management

By Dawson R Engler M Frans Kaashoek James OToole Jr Presented by Seth Goldstein EECS 582 W16 1 Outline Traditional Operating System Exokernel Implmentation Kernel Comparisons. Paper by Engler, Kaashoek, O’Toole. Presentation by Charles Haiber. Contents. Exokernels. Overview vs. traditional kernels. Library Operating Systems. Design Principals. Secure Bindings. Visible Resource Revocation. Edgar Velázquez-Armendáriz. September. 24. th. 2009. Agenda. Exokernel. : An Operating System architecture for Application-Level Resource Management. Extensibility, Safety and Performance in the . Perrig. . & Torsten Hoefler. Networks and Operating . Systems . (252-0062-00). ‏ . Chapter . 1: . Introduction to Operating Systems. Two parts: . Networks – Adrian . Perrig. Operating Systems – Torsten Hoefler. ECE344. Ding Yuan. Lecture 6: . Synchronization (II) – Semaphores and Monitors. Ding Yuan, ECE344 Operating System. 2. Review of last lecture. Goal: Use . mutual exclusion. to protect . critical sections. . Kaashoek. , Dawson R. . Engler. , Gregory R. Ganger, Hector M. . Bricefio. , Russell Hunt, David . Mazikres. , Thomas Pinckney, Robert Grimm, John . Jannotti. and Kenneth Mackenzie . SOSP 1997. Presented by . A program that controls the execution of application programs. An interface between applications and hardware. 2. Operating System Objectives. Convenience. Makes the computer more convenient to use. Efficiency. : An Operating System Architecture for Application-Level Resource Management. Dawson . Engler. , . Frans. . Kaashoek. , James O’Toole. MIT Laboratory for Computer Science. Function of . Traditional Kernel. :. Exokernel. and SPIN. Presented by Hakim . Weatherspoon. (Based on slides from. Edgar . Velázquez-. Armendáriz. and Ken . Birman. ). 2. Traditional OS services – Management and Protection. Provides a set of abstractions. by. . Asst. Prof. Dr. Samsun M. BAŞARICI. CSE306 . Operating Systems. . Lecture #. 1. Introduction and a Brief History of OS. Topics covered. Introduction to OS. What is an operating system?. Machine cycle. by. . Asst. Prof. Dr. Samsun M. BAŞARICI. CSE306 . Operating Systems. . Lecture #. 1. Introduction and a Brief History of OS. Topics covered. Introduction to OS. What is an operating system?. Machine cycle. System Principles . Peter Reiher. . Outline. Administrative materials. Introduction to the course. Why study operating systems?. Basics of operating systems. Administrative Issues. Instructor and TAs. System Principles . Peter Reiher. . Outline. Administrative materials. Introduction to the course. Why study operating systems?. Basics of operating systems. Administrative Issues. Instructor and TAs. Engler. , Gregory R. Ganger, Hector M. . Bricefio. , Russell Hunt, David . Mazikres. , Thomas Pinckney, Robert Grimm, John . Jannotti. and Kenneth Mackenzie . SOSP 1997. Presented by . Carol Pinto. October. , 201. 5. Dimitri Rakviashvili, Head of Software Department. 2. Personal Introduction and . Agenda. Personal Introduction. System Architecture – Global Topics: Technology, Patterns, Layers, Toolset.