Achieving High Reliability on Linux for K2 System

Driver faults are the main reasons of causing failure in operating system. In order to address this issue and improve the kernel reliability, this paper presents an intelligent kernel-mode driver enhancement mechanism - Style Box which can limit the driver´s rights to access kernel by a private page table and a call control list. This method captures a variety of type errors, synchronization errors and behavior errors of the driver, and intelligently predicts and rapidly recovers driver errors. Experimental results show that Style Box can effectively detect and deal with driver errors, and obviously improve the reliability of the operating system.