~/talk

Understanding and Finding Crash-Consistency Bugs in Parallel File Systems

links:none on file
links:none on file
name:Marc Snir
links:none on file
slides:none on file

Study finds 34 vulnerabilities across parallel file systems, with 15 and 19 in BeeGFS and OrangeFS and 5 in XD4, including two persistence-order bugs that cause data loss for an atomic replace via rename workflow. PFSCheck implements trace permutation plus pruning, multi-level IO and network tracing, crash-state emulation, legal-state replay, and bug classification, automatically generating crash states, exercising post-crash recovery tools, and scaling to large HPC clusters while claiming low overhead and systematic detection of cross-node consistency failures.

AI-written summary · about

  1. 0:00Start
  2. 0:40PFS failures are frequent and expensive
  3. 1:27Introduction to parallel file systems
  4. 2:43A PFS failure example
  5. 3:25A study of crash vulnerabilities on PFSes
  6. 4:19PFS crash vulnerabilities
  7. 5:14Crash vulnerability example
  8. 11:12Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.