We propose a method to reuse unmodified device drivers and to improve system dependability using vir-tual machines. We run the unmodified device driver, with its original operating system, in a virtual machine. This approach enables extensive reuse of existing and unmod-ified drivers, independent of the OS or device vendor, significantly reducing the barrier to building new OS en-deavors. By allowing distinct device drivers to reside in separate virtual machines, this technique isolates faults caused by defective or malicious drivers, thus improving a system’s dependability. We show that our technique requires minimal support infrastructure and provides strong fault isolation. Our prototype’s network performance is within 3–8 % of a native ...
We have implemented a commercial enterprise-grade system for providing fault-tolerant virtual machin...
The reliability of device drivers is of critical importance to the overall stability of computer sys...
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernel...
Device drivers constitute a significant portion of an operating system's source code. The effort to ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
The driver architecture employed by modern oper-ating systems presents a safety challenge. The devic...
In most of today’s operating system architectures, device drivers are tightly coupled with other ker...
This paper presents SUD, a system for running existing Linux device drivers as untrusted user-space ...
Most traditional (monolithic) kernels run device drivers in kernel space. As such, if—for example—a ...
Writing device drivers takes much time and requires effort because it needs knowledge of the target ...
Operating system virtualization tools such as VMWare, XEN, and Linux KVM export only minimally capab...
Modern workloads often exceed the processing and I/O capabilities provided by resource virtualizatio...
System virtualization allows forthe consolidation of many physicalservers on a single physical host ...
In this paper we describe our approach to improve dependability of a commodity OS for embedded syste...
Current operating systems lack well-defined protocols for interaction with device drivers. We argue ...
We have implemented a commercial enterprise-grade system for providing fault-tolerant virtual machin...
The reliability of device drivers is of critical importance to the overall stability of computer sys...
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernel...
Device drivers constitute a significant portion of an operating system's source code. The effort to ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
The driver architecture employed by modern oper-ating systems presents a safety challenge. The devic...
In most of today’s operating system architectures, device drivers are tightly coupled with other ker...
This paper presents SUD, a system for running existing Linux device drivers as untrusted user-space ...
Most traditional (monolithic) kernels run device drivers in kernel space. As such, if—for example—a ...
Writing device drivers takes much time and requires effort because it needs knowledge of the target ...
Operating system virtualization tools such as VMWare, XEN, and Linux KVM export only minimally capab...
Modern workloads often exceed the processing and I/O capabilities provided by resource virtualizatio...
System virtualization allows forthe consolidation of many physicalservers on a single physical host ...
In this paper we describe our approach to improve dependability of a commodity OS for embedded syste...
Current operating systems lack well-defined protocols for interaction with device drivers. We argue ...
We have implemented a commercial enterprise-grade system for providing fault-tolerant virtual machin...
The reliability of device drivers is of critical importance to the overall stability of computer sys...
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernel...