Fault Isolation for Device Drivers

被引：18

作者：

Herder, Jorrit N. ^{[1
]}

Bos, Herbert ^{[1
]}

Gras, Ben ^{[1
]}

Homburg, Philip ^{[1
]}

Tanenbaum, Andrew S. ^{[1
]}

机构：

[1] Vrije Univ Amsterdam, Dept Comp Sci, Amsterdam, Netherlands

来源：

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009) | 2009年

关键词：

Operating Systems; Device Drivers; Bugs; Dependability; Fault Isolation; SWIFI Testing;

D O I：

10.1109/DSN.2009.5270357

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can perform and how fault propagation in the event a bug is triggered can be prevented. We have prototyped our ideas in an open-source multiserver OS (MINIX 3) that isolates drivers by strictly enforcing least authority and iteratively refined our isolation techniques using a pragmatic approach based on extensive software-implemented fault-injection (SWIFI) testing. In the end, out of 3,400,000 common faults injected randomly into 4 different Ethernet drivers using both programmed I/O and DMA, no fault was able to break our protection mechanisms and crash the OS. In total, we experienced only one hang, but this appears to be caused by buggy hardware.

引用

页码：33 / 42

页数：10

共 38 条

[1]

BOS H, 2002, SAFE KERNEL PROGRAMM

[2] ORTHOGONAL DEFECT CLASSIFICATION - A CONCEPT FOR IN-PROCESS MEASUREMENTS [J].

CHILLAREGE, R ;

BHANDARI, IS ;

CHAAR, JK ;

HALLIDAY, MJ ;

MOEBUS, DS ;

RAY, BK ;

WONG, MY .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (11) :943-956

[3]

CHOU A, 2001, P 18 SOSP

[4]

CHRISTMANSSON J, 1996, P 26 FTCS

[5]

DINHTRONG T, 2004, P 10 INT S SOFTW MET

[6] Emulation of software faults: A field data study and a practical approach [J].

Duraes, Joao A. ;

Madeira, Henrique S. .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (11) :849-867

[7]

ELPHINSTONE K, 2007, P 11 HOTOS

[8]

ERLINGSSON U, 2006, P 7 OSDI

[9]

FRASER K, 2004, P 1 OASIS

[10]

GANAPATHI A, 2006, P 20 LISA

← 1 2 3 4 →