Safe device driver model based on kernel-mode JVM

Authors:
Shan Chen;Lingling Zhou;Rendong Ying;Yi Ge
Affiliations:
Shanghai JiaoTong Univ., Shanghai, P.R.China;Shanghai JiaoTong Univ., Shanghai, P.R.China;Shanghai JiaoTong Univ., Shanghai, P.R.China;IBM China Research Lab
Venue:
VTDC '07 Proceedings of the 2nd international workshop on Virtualization technology in distributed computing
Year:
2007

Citing 10
Cited 0

The performance of μ-kernel-based systems

Proceedings of the sixteenth ACM symposium on Operating systems principles
An empirical study of operating systems errors

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Inside the Java Virtual Machine

Inside the Java Virtual Machine
Java Virtual Machine Specification

Java Virtual Machine Specification
Improving the reliability of commodity operating systems

ACM Transactions on Computer Systems (TOCS)
Can We Make Operating Systems Reliable and Secure?

Computer
MINIX 3: a highly reliable, self-repairing operating system

ACM SIGOPS Operating Systems Review
Linux Device Drivers, 3rd Edition

Linux Device Drivers, 3rd Edition
Recovering device drivers

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Writing solaris device drivers in Java

Writing solaris device drivers in Java

Quantified Score

Hi-index	0.00

Visualization

Abstract

Researches have shown that device drivers account for most of the OS kernel crashes. In this paper we proposed a safe device driver model for the Linux OS, aiming at gaining an improvement on its reliability. Within this model, we are able to write device drivers in the type-safe language of Java, rather than the traditional C. Our main work includes the design of kernel-mode JVM which is suitable for running device drivers and the programming model of Java device driver. During the evaluation, by manually injecting bugs and observing the running results, we can see that Java device driver can effectively prevent various bugs from damaging the kernel and thus improve the reliability of operating system, only at the price of some degradation on system performance, which helps to demonstrate the viability of our approach. Mention that although we based our research on Linux, Java device driver model can also be applied to other operating systems, as long as the device drivers are accessed through standardized interfaces.