159 citations · 420 across the 16 of their papers we have counts for
4 papers · 1 filter
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…
SplitFS: Reducing Software Overhead in File Systems for Persistent Memory
Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap +3
We present SplitFS, a file system for persistent memory (PM) that reduces software overhead significantly compared to state-of-the-art PM file systems. SplitFS presents a novel spl…
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing
Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli +2
We present a new approach to testing file-system crash consistency: bounded black-box crash testing (B3). B3 tests the file system in a black-box manner using workloads of file-sys…
Analyzing IO Amplification in Linux File Systems
Jayashree Mohan, Rohan Kadekodi, Vijay Chidambaram
We present the first systematic analysis of read, write, and space amplification in Linux file systems. While many researchers are tackling write amplification in key-value stores,…