CSE 542: Operating Systems

Slides:

Advertisements

Similar presentations

Nooks: Safe Device Drivers with Lightweight Kernel Protection Domains Mike Swift, Steve Martin Hank Levy, Susan Eggers, Brian Bershad University of Washington.

Advertisements

Recovering Device Drivers Michael M Swift, Muthukaruppan Annamalai, Brian N Bershad and Henry Levy.

Virtual Switching Without a Hypervisor for a More Secure Cloud Xin Jin Princeton University Joint work with Eric Keller(UPenn) and Jennifer Rexford(Princeton)

SOFTWARE TESTING. Software Testing Principles Types of software tests Test planning Test Development Test Execution and Reporting Test tools and Methods.

Carrier Ethernet Network Solutions: The Benefits of End-To-End Ethernet Service Management Slide 1 Carrier Ethernet Network Solutions: The Benefits of.

CSC 660: Advanced Operating SystemsSlide #1 CSC 660: Advanced OS Microkernels.

Chapter 4 Quality Assurance in Context

© DEEDS – OS Systems & Software Dependability. © DEEDS – OS Outline for today Peek at OS2 topics Some DEEDS research introduction 1.Efficient Model Checking.

Abstract HyFS: A Highly Available Distributed File System Jianqiang Luo, Mochan Shrestha, Lihao Xu Department of Computer Science, Wayne State University.

Using Programmer-Written Compiler Extensions to Catch Security Holes Authors: Ken Ashcraft and Dawson Engler Presented by : Hong Chen CS590F 2/7/2007.

ROOTKIT VIRUS by Himanshu Mishra Points to be covered Introduction History Uses Classification Installation and Cloaking Detection Removal.

Solving the Starting Problem Device Drivers as Self-Describing Artifacts Michael Spear(Rochester) Tom Roeder(Cornell) Galen Hunt(Microsoft) Orion Hodson(Microsoft)

Model Checking Büchi Pushdown Systems Presented by Rustan Leino Juncao Li and Fei Xie Dept. of Computer Science, Portland State University Thomas Ball.

Nooks: an architecture for safe device drivers Mike Swift, The Wild and Crazy Guy, Hank Levy and Susan Eggers.

Checking System Rules Using System-Specific, Programmer- Written Compiler Extensions Dawson Engler, Benjamin Chelf, Andy Chow, Seth Hallem Computer Systems.

MULTIVIE W Checking System Rules Using System-Specific, Program-Written Compiler Extensions Paper: Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem.

BY RAJESWARI S SOFTWARE TESTING. INTRODUCTION Software testing is the process of testing the software product. Effective software testing will contribute.

Linux Basics CS 302. Outline  What is Unix?  What is Linux?  Virtual Machine.

IMPROVING THE RELIABILITY OF COMMODITY OPERATING SYSTEMS Michael M. Swift Brian N. Bershad Henry M. Levy University of Washington.

IT Essentials 1 v4.0 Chapters 4 & 5 JEOPARDY RouterModesWANEncapsulationWANServicesRouterBasicsRouterCommands RouterModesWANEncapsulationWANServicesRouterBasicsRouterCommands.

A Survey of Dynamic Techniques for Detecting Device Driver Errors Olatunji Ruwase LBA Reading Group 18 th May 2010.

5.1 Advanced Operating Systems Operating Systems Bugs Linux's code has been significantly growing during last years. Is this code bugs free? Obviously.

Testing Basics of Testing Presented by: Vijay.C.G – Glister Tech.

Inferring and checking system rules by static analysis William R Wright.

April 2000Dr Milan Simic1 Network Operating Systems Windows NT.

Richard Mancusi - CSCI 297 Static Analysis and Modeling Tools which allows further checking of software systems.

14 Step-by-Step Instructions for an Upgrade Installation n Prepare for the installation Verify that all devices and applications are Windows 2000 compatible.

Static Code Checking: Security and Concurrency Ben Watson The George Washington University CS 297 Security and Programming Languages June 9, 2005.

Can We Make Operating Systems Reliable and Secure? Andrew S. Tanenbaum, Jorrit N. Herder, and Herbert Bos Vrije Universiteit, Amsterdam May 2006 Group.

Software Reliability Research Pankaj Jalote Professor, CSE, IIT Kanpur, India.

Building More Reliable And Better Performing Web Applications With Visual Studio 2005 Team System Gabriel Marius TLN312 Program Manager Microsoft Corporation.

Software Quality Assurance and Testing Fazal Rehman Shamil.

Project Management effects on software dependability Brendan Murphy Microsoft Research Cambridge, UK.

The Linux Operating System R.Bigelow. What is an Operating System An operating system is a collection of programs that manage a computer's resources.

Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, Henry M. Levy Presented by Ya-Yun Lo EECS 582 – W161.

Chapter 1: Introduction to Linux. 2 Introduction Computer Components: –Hardware –Software Types of hardware and software Important components of an OS.

An Empirical Study of OS Errors Chou, Yang, Chelf, Hallem, and Engler SOSP 2001 Characterizing a workload w.r.t reliability.

Week#3 Software Quality Engineering.

Antonio Hansford ITEC 400 Berkeley Software Design April 14, 2016.

Lecture 3 – MapReduce: Implementation CSE 490h – Introduction to Distributed Computing, Spring 2009 Except as otherwise noted, the content of this presentation.

W4118 Operating Systems Junfeng Yang. What this course is about  Fundamental OS concepts  OS: one of the most crucial, almost everything thru OS  What?

Benefits of a Virtual SIL

Introduction to Operating Systems

Software Testing Strategies for building test group

BY Al Bessey, Ken Block, Ben Chelf, Andy Chou,

Embracing Failure: A Case for Recovery-Oriented Computing

Crash Dump Analysis - Santosh Kumar Singh.

Introduction SOFTWARE ENGINEERING.

Verification and Testing

Effective Data-Race Detection for the Kernel

Run Standard Diagnostic Tests

Understanding the OSI Reference Model

IMPROVING THE RELIABILITY OF COMMODITY OPERATING SYSTEMS

How To Resolve Blue Screen Errors By I FIX PC

Software Test Termination

Networks Software.

IMPROVING THE RELIABILITY OF COMMODITY OPERATING SYSTEMS

By: David Hoang Martin Hoffman

Software testing and configuration : Embedded software testing

Version Control CS169 Lecture 7 Prof. Aiken CS 169 Lecture 7 1.

IT Essentials PC Hardware and Software 4

Delivering great hardware solutions for Windows

Mark McKelvin EE249 Embedded System Design December 03, 2002

TPM, UEFI, Trusted Boot, Secure Boot

IT Essentials PC Hardware and Software 4

A Virtual Machine Monitor for Utilizing Non-dedicated Clusters

Lecture Topics: 11/1 Hand back midterms

A very basic introduction

Software Testing Strategies

Fundamentals of Computer Hardware & software

Presentation transcript:

CSE 542: Operating Systems Outline An Empirical Study of Operating Systems Errors Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler SOSP 2001 Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, Henry M. Levy, SOSP 2003 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Summary Where are the errors Driver code has three to seven times errors than kernel How are bugs distributed How long do bugs live In Linux kernel, about 1.8 years How do bugs cluster? Clusterings when programmer ignorance of interface or system rules combines with copy-and-paste Comparison with OpenBSD and Linux OpenBSD has higher error rates 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Size of linux tree 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Errors checked 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Where are the errors? Drivers have more errors than can be accounted by the code size Drivers are written by many developers who many not understand the kernel Drivers are not debugged as much as kernel proper 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Ages of bugs Most bugs are fixed quickly 20-Apr-19 CSE 542: Operating Systems

Windows 2000 - Failure Analysis. CSE 542/498J: Operating Systems Saturday, April 20, 2019 Windows 2000 - Failure Analysis. 32% of NT 4 faults, 27% of W2k faults Device drivers 16% Core NT 43% Other third- party drivers Anti-virus 12% Hardware Failure 13% NT4 Drivers for HCL HW 7% Drivers for NonHCL HW 20% HW Failure 22% Anti-Virus 4% System Config 34% Other 3rd Party Kernel code 11% MSInternalCode 2% Other IFSDrivers 0% Windows 2000 Changes in failure profile discuss. Note relative size of pie much decreased. Still need more data on all failures hence development of why boot, discuss the problems. Note drivers due to unsigned, improvement in this area must be customer driven. Hardware failures need to start handling. Source: Brendan Murphy, Sample from PSS Incidents: 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems Nooks functions Isolation: Prevent extensions from damaging the kernel Interposition: Integrate existing extensions into the Nooks environment Object tracking Track all kernel resources used by extensions Recovery Detect and recover from a wide variety of extension faults 20-Apr-19 CSE 542: Operating Systems

CSE 542: Operating Systems 20-Apr-19 CSE 542: Operating Systems