Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems

Hayley LeBlanc, Shankara Pailoor, Isil Dillig +2

We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop…