ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 24 Issue 4, November 2006

Recovering device drivers
Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy
Pages: 333-360
DOI: 10.1145/1189256.1189257
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
Pages: 361-392
DOI: 10.1145/1189256.1189258
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
Pages: 393-423
DOI: 10.1145/1189256.1189259
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...