1 / 4

Enhancing SPIN Operating System for Extensibility, Safety, and Performance

Explore the integration of extensibility, safety, and performance in the SPIN Operating System, focusing on dynamic extensions, safety features, and low-latency response to interrupts.

veronicag
Download Presentation

Enhancing SPIN Operating System for Extensibility, Safety, and Performance

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Outline • Extensibility, Safety and Performance in the SPIN Operating System • Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers • MSDOS: Extensibility and Performance • Mach: Extensibility and Safety • UNIX: Safety and Performance • Goal: SPIN should have all three CSE 542: Operating Systems

  2. Extensibility • Applications can dynamically extend system to provide specialized services • Put extension code in the kernel • Communication cost is cheap • SPIN implements minimal services: Processor execution state, MMU, IO/DMA, Dynamic linker • Compare with • Micro-kernels: Cost to cross protection boundaries • Library based: Offers minimal protection boundaries CSE 542: Operating Systems

  3. Safety • Kernel is protected from actions of extension • Use language protection features • Static safety • Modula3 • Memory safe • Interfaces for hiding resources • Cheap capabilities • Restrict access to interfaces at dynamic link-time CSE 542: Operating Systems

  4. Performance • Extensibility and safety have low cost • Extensions provide specialized service • Customized for the specific task with no extraneous code • Extensions close to kernel service • Invocations cheap • Low latency response to interrupts CSE 542: Operating Systems

More Related