Crash consistency validation made easy

SIGSOFT FSE, pp. 133-143, 2016.

Cited by: 0|Bibtex|Views6|Links
EI

Abstract:

Software should behave correctly even in adverse conditions. Particularly, we study the problem of automated validation of crash consistency, i.e., file system data safety when systems crash. Existing work requires non-trivial manual efforts of specifying checking scripts and workloads, which is an obstacle for software developers. Theref...More

Code:

Data:

Your rating :
0

 

Tags
Comments