A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Guardrail
2014
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14
Device drivers are an Achilles' heel of modern commodity operating systems, accounting for far too many system failures. Previous work on driver reliability has focused on protecting the kernel from unsafe driver side-effects by interposing an invariant-checking layer at the driver interface, but otherwise treating the driver as a black box. In this paper, we propose and evaluate Guardrail, which is a more powerful framework for run-time driver analysis that performs decoupled,
doi:10.1145/2541940.2541970
dblp:conf/asplos/RuwaseKGM14
fatcat:h7qrjl77srfdtixpvl7fv3ts4m