|
计算机科学 2008
The Design and Implementation of a Safe Device Driver Model
|
Abstract:
Kernel extensions,such as device drivers in operating systems,are proved to be much more unreliable than other parts of kernel.Recent researches on OS reliability are focusing on the isolation of extension modules from kernel.In this paper,a new architecture is proposed to isolate device drivers.Drivers are restricted in user-mode java virtual machine(JVM),which is an independent user-process.Bugs in drivers will be captured and well handled by JVM,and therefore,prevented from ruining the whole kernel.A new USB protocol stack in Linux is implemented based on this architecture.Performance test reveals that new architecture ensures a more reliable operating system with an acceptable performance overhead compared with traditional drivers.