Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems

Hayley LeBlanc; Shankara Pailoor; Om Saran K. R. E.; Isil Dillig; James Bornholt; Vijay Chidambaram

doi:10.1145/3552326.3567498

EuroSys2023顶会

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems

Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram

DOI 出版方

2023年份

11被引次数

10顶会引用

摘要

We present Chipmunk, a new framework to test persistent-memory (PM) file systems for crash-consistency bugs. Using Chipmunk, we discovered 23 new bugs across five PM file systems; most bugs have been confirmed and fixed by developers. The discovered bugs have serious consequences, including making the file system un-mountable or breaking rename atomicity. We present a detailed study of the bugs found using Chipmunk and discuss important lessons learned for designing and testing PM file systems.