Results 1 - 10 of 203,621

Recovering device drivers

by Michael M. Swift, Brian N. Bershad, Henry M. Levy - In OSDI , 2004
"... This paper presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal failing component in most systems, reducing driver-induced failures greatly improves overall reliability. Earlier work has shown that an operating system ..."
Abstract - Cited by 145 (9 self) - Add to MetaCart
This paper presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal failing component in most systems, reducing driver-induced failures greatly improves overall reliability. Earlier work has shown that an operating system

The Fluke Device Driver Framework

by Kevin Thomas Van Maren , 1999
"... Providing efficient device driver support in the Fluke operating system presents novel challenges, which stem from two conflicting factors: (i) a design and maintenance requirement to reuse unmodified legacy device drivers, and (ii) the mismatch between the Fluke kernel's internal execution env ..."
Abstract - Cited by 12 (0 self) - Add to MetaCart
Providing efficient device driver support in the Fluke operating system presents novel challenges, which stem from two conflicting factors: (i) a design and maintenance requirement to reuse unmodified legacy device drivers, and (ii) the mismatch between the Fluke kernel's internal execution

Dingo: Taming Device Drivers

by Leonidf Ryzhyk, et al. , 2009
"... Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39%) of bugs are due to two key shortcomings in the device-driver architecture enforced by current operating systems: poorl ..."
Abstract - Cited by 43 (10 self) - Add to MetaCart
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39%) of bugs are due to two key shortcomings in the device-driver architecture enforced by current operating systems

Binary Device Driver Reuse

by Bernhard Poess , 2007
"... This work presents a novel approach to driver reuse and isolation. We propose to deprivilege binary device drivers and to use the original kernel API to interface with the reused drivers. We isolate device drivers by running them as regular applications in usermode. The original environment is emula ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
This work presents a novel approach to driver reuse and isolation. We propose to deprivilege binary device drivers and to use the original kernel API to interface with the reused drivers. We isolate device drivers by running them as regular applications in usermode. The original environment

Failure Resilience for Device Drivers

by Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
"... Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a failure-resilient operating system design that can recover from dead drivers and other critical components—primarily through mo ..."
Abstract - Cited by 30 (11 self) - Add to MetaCart
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a failure-resilient operating system design that can recover from dead drivers and other critical components—primarily through

Formalising Device Driver Interfaces

by Leonid Ryzhyk, Ihor Kuz, Gernot Heiser - PROCEEDINGS OF THE 4TH WORKSHOP ON PROGRAMMING LANGUAGES AND OPERATING SYSTEMS , 2007
"... The lack of well-defined protocols for interaction with the operating system is a common source of defects in device drivers. In this paper we investigate the use of a formal language to define these protocols unambiguously. We present a language that allows us to convey all important requirements f ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
The lack of well-defined protocols for interaction with the operating system is a common source of defects in device drivers. In this paper we investigate the use of a formal language to define these protocols unambiguously. We present a language that allows us to convey all important requirements

Live Update for Device Drivers

by Michael M. Swift, Damien Martin-guillerez, Brian N. Bershad, Henry M. Levy, Michael M. Swift, Damien Martin-guillerez, Brian N. Bershad, Henry M. Levy , 2008
"... As commodity operating systems become more reliable and fault-tolerant, the availability of a system will be determined not by when it crashes, but instead by when it must be shutdown and rebooted due to software maintenance [12, 21]. While many system components can be upgraded on-line, critical lo ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
low-level components, such as device drivers and other kernel extensions, cannot be updated without rebooting the entire operating system. In this paper, we present Live Update, a mechanism that allows device drivers to be updated without rebooting the system. Unlike other on-line update mechanisms

Towards Untrusted Device Drivers

by Ben Leslie, Gernot Heiser , 2003
"... Device drivers are well known to be one of the prime sources of unreliability in today's computer systems. We argue that this need not be, as drivers can be run as user-level tasks, allowing them to be encapsulated by hardware protection. In contrast to prior work on user-level drivers, we s ..."
Abstract - Cited by 19 (1 self) - Add to MetaCart
Device drivers are well known to be one of the prime sources of unreliability in today's computer systems. We argue that this need not be, as drivers can be run as user-level tasks, allowing them to be encapsulated by hardware protection. In contrast to prior work on user-level drivers, we

Thorough Static Analysis of Device Drivers

by Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner , 2006
"... ..."
Abstract - Cited by 178 (21 self) - Add to MetaCart
Abstract not found

Fault Isolation for Device Drivers

by Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
"... 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- ..."
Abstract - Cited by 19 (4 self) - Add to MetaCart
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
Results 1 - 10 of 203,621