Guardrail: A High Fidelity Approach to Protecting Hardware Devices from Buggy Drivers

Provided by: Association for Computing Machinery
Topic: Hardware
Format: PDF
While device driver code is both critical to proper system operation and more susceptible to bugs than other system software, relatively little work has been done in the area of online driver correctness monitoring (perhaps due to the performance-sensitive nature of driver software). This paper demonstrate that decoupled correctness checking together with VM-based I/O interpositioning can provide a high performance driver monitoring framework that achieves each of their system goals: generality, detection fidelity, containment, response flexibility, and trustworthiness.

Find By Topic