Crash consistency validation made easy
SIGSOFT FSE, pp. 133-143, 2016.
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
PPT (Upload PPT)