enter search term and/or author name
Recovering device drivers
Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy
This article presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal failing component in most systems, reducing driver-induced failures greatly improves overall...
Speculative execution in a distributed file system
Edmund B. Nightingale, Peter M. Chen, Jason Flinn
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through interprocess communication. It guarantees correct execution by preventing...
Using model checking to find serious file system errors
Junfeng Yang, Paul Twohey, Dawson Engler, Madanlal Musuvathi
This article shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system. File...