{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T08:40:00Z","timestamp":1769244000179,"version":"3.49.0"},"reference-count":88,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T00:00:00Z","timestamp":1543536000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Storage"],"published-print":{"date-parts":[[2018,11,30]]},"abstract":"<jats:p>File systems may become corrupted for many reasons despite various protection techniques. Therefore, most file systems come with a checker to recover the file system to a consistent state. However, existing checkers are commonly assumed to be able to complete the repair without interruption, which may not be true in practice. In this work, we demonstrate via fault injection experiments that checkers of widely used file systems (EXT4, XFS, BtrFS, and F2FS) may leave the file system in an uncorrectable state if the repair procedure is interrupted unexpectedly. To address the problem, we first fix the ordering issue in the undo logging of\u00a0e2fsck and then build a general logging library (i.e., rfsck-lib) for strengthening checkers. To demonstrate the practicality, we integrate rfsck-lib with existing checkers and create two new checkers: rfsck-ext, a robust checker for Ext-family file systems, and rfsck-xfs, a robust checker for XFS file systems, both of which require only tens of lines of modification to the original versions. Both rfsck-ext and rfsck-xfs are resilient to faults in our experiments. Also, both checkers incur reasonable performance overhead (i.e., up to 12%) compared to the original unreliable versions. Moreover, rfsck-ext outperforms the patched\u00a0e2fsck by up to nine times while achieving the same level of robustness.<\/jats:p>","DOI":"10.1145\/3281031","type":"journal-article","created":{"date-parts":[[2018,12,4]],"date-time":"2018-12-04T15:32:40Z","timestamp":1543937560000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Towards Robust File System Checkers"],"prefix":"10.1145","volume":"14","author":[{"given":"Om Rameshwar","family":"Gatla","sequence":"first","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mai","family":"Zheng","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Hameed","sequence":"additional","affiliation":[{"name":"New Mexico State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viacheslav","family":"Dubeyko","sequence":"additional","affiliation":[{"name":"Western Digital Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Manzanares","sequence":"additional","affiliation":[{"name":"Western Digital Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Blagojevic","sequence":"additional","affiliation":[{"name":"Western Digital Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyril","family":"Guyot","sequence":"additional","affiliation":[{"name":"Western Digital Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Mateescu","sequence":"additional","affiliation":[{"name":"Western Digital Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,12,4]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Btrfs File System. n.d. https:\/\/btrfs.wiki.kernel.org\/index.php\/Main_Page.  Btrfs File System. n.d. https:\/\/btrfs.wiki.kernel.org\/index.php\/Main_Page."},{"key":"e_1_2_1_2_1","unstructured":"debugfs. n.d. http:\/\/man7.org\/linux\/man-pages\/man8\/debugfs.8.html.  debugfs. n.d. http:\/\/man7.org\/linux\/man-pages\/man8\/debugfs.8.html."},{"key":"e_1_2_1_3_1","unstructured":"Discussion with Theodore Ts\u2019o at Linux FAST Summit\u201917. n.d. https:\/\/www.usenix.org\/conference\/linuxfastsummit17.  Discussion with Theodore Ts\u2019o at Linux FAST Summit\u201917. n.d. https:\/\/www.usenix.org\/conference\/linuxfastsummit17."},{"key":"e_1_2_1_4_1","unstructured":"E2fsprogs: Ext2\/3\/4 Filesystem Utilities. n.d. http:\/\/e2fsprogs.sourceforge.net\/.  E2fsprogs: Ext2\/3\/4 Filesystem Utilities. n.d. http:\/\/e2fsprogs.sourceforge.net\/."},{"key":"e_1_2_1_5_1","unstructured":"Ext4 File System. n.d. https:\/\/ext4.wiki.kernel.org\/index.php\/Main_Page.  Ext4 File System. n.d. https:\/\/ext4.wiki.kernel.org\/index.php\/Main_Page."},{"key":"e_1_2_1_6_1","unstructured":"fs_mark: Benchmark file creation. n.d. https:\/\/github.com\/josefbacik\/fs_mark.  fs_mark: Benchmark file creation. n.d. https:\/\/github.com\/josefbacik\/fs_mark."},{"key":"e_1_2_1_7_1","unstructured":"LFSCK\n  : an online file system checker for Lustre. n.d. https:\/\/github.com\/Xyratex\/lustre-stable\/blob\/master\/Documentation\/lfsck.txt.  LFSCK: an online file system checker for Lustre. n.d. https:\/\/github.com\/Xyratex\/lustre-stable\/blob\/master\/Documentation\/lfsck.txt."},{"key":"e_1_2_1_8_1","unstructured":"Linux Programmer\u2019s Manual: O_SYNC flag for open. n.d. http:\/\/man7.org\/linux\/man-pages\/man2\/open.2.html.  Linux Programmer\u2019s Manual: O_SYNC flag for open. n.d. http:\/\/man7.org\/linux\/man-pages\/man2\/open.2.html."},{"key":"e_1_2_1_9_1","unstructured":"Linux SCSI target framework (tgt). n.d. http:\/\/stgt.sourceforge.net\/.  Linux SCSI target framework (tgt). n.d. http:\/\/stgt.sourceforge.net\/."},{"key":"e_1_2_1_10_1","unstructured":"Lustre File System. n.d. http:\/\/opensfs.org\/lustre\/.  Lustre File System. n.d. http:\/\/opensfs.org\/lustre\/."},{"key":"e_1_2_1_11_1","unstructured":"mkfs. n.d. https:\/\/linux.die.net\/man\/8\/mkfs.  mkfs. n.d. https:\/\/linux.die.net\/man\/8\/mkfs."},{"key":"e_1_2_1_12_1","unstructured":"Prototypes of rfsck-test e2fsck-patch refsck-lib refsck-ext rfsck-xfs. n.d. https:\/\/www.cs.nmsu.edu\/ mzheng\/lab\/lab.html.  Prototypes of rfsck-test e2fsck-patch refsck-lib refsck-ext rfsck-xfs. n.d. https:\/\/www.cs.nmsu.edu\/ mzheng\/lab\/lab.html."},{"key":"e_1_2_1_13_1","unstructured":"ROSE Compiler Infrastructure. n.d. http:\/\/rosecompiler.org\/.  ROSE Compiler Infrastructure. n.d. http:\/\/rosecompiler.org\/."},{"key":"e_1_2_1_14_1","unstructured":"SQLite documents. n.d. http:\/\/www.sqlite.org\/docs.html.  SQLite documents. n.d. http:\/\/www.sqlite.org\/docs.html."},{"key":"e_1_2_1_15_1","unstructured":"The LLVM Compiler Infrastructure. n.d. https:\/\/llvm.org\/.  The LLVM Compiler Infrastructure. n.d. https:\/\/llvm.org\/."},{"key":"e_1_2_1_16_1","unstructured":"XFS File System Utilities. n.d. https:\/\/access.redhat.com\/documentation\/en-US\/Red_Hat_Enterprise_Linux\/6\/html\/Storage_Administration_Guide\/xfsothers.html.  XFS File System Utilities. n.d. https:\/\/access.redhat.com\/documentation\/en-US\/Red_Hat_Enterprise_Linux\/6\/html\/Storage_Administration_Guide\/xfsothers.html."},{"key":"e_1_2_1_17_1","volume-title":"Add undo I\/O manager","author":"PATCH","year":"2007","unstructured":"{ PATCH 1\/3} e2fsprogs : Add undo I\/O manager . 2007 . http:\/\/lists.openwall.net\/linux-ext4\/2007\/07\/25\/2. {PATCH 1\/3} e2fsprogs: Add undo I\/O manager. 2007. http:\/\/lists.openwall.net\/linux-ext4\/2007\/07\/25\/2."},{"key":"e_1_2_1_18_1","volume-title":"ditch tdb file, write everything to a flat file","author":"PATCH","year":"2015","unstructured":"{ PATCH 16\/31} e2undo : ditch tdb file, write everything to a flat file . 2015 . http:\/\/lists.openwall.net\/linux-ext4\/2015\/01\/08\/1. {PATCH 16\/31} e2undo: ditch tdb file, write everything to a flat file. 2015. http:\/\/lists.openwall.net\/linux-ext4\/2015\/01\/08\/1."},{"key":"e_1_2_1_19_1","volume-title":"Monday","author":"High Performance Computing Center (HPCC) Power Outage Event.","year":"2016","unstructured":"High Performance Computing Center (HPCC) Power Outage Event. Email Announcement by HPCC , Monday , January 11, 2016 at 8:50:17 AM CST. 2016. https:\/\/www.cs.nmsu.edu\/ mzheng\/docs\/failures\/2016-hpcc-outage.pdf. High Performance Computing Center (HPCC) Power Outage Event. Email Announcement by HPCC, Monday, January 11, 2016 at 8:50:17 AM CST. 2016. https:\/\/www.cs.nmsu.edu\/ mzheng\/docs\/failures\/2016-hpcc-outage.pdf."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 2008 USENIX Annual Technical Conference (USENIX ATC'08), Vol 57","author":"Agarwal Nitin","year":"2008","unstructured":"Nitin Agarwal , Vijayan Prabhakaran , Ted Wobber , John D. Davis , Mark Manasse , and Rina Panigrahy . 2008 . Design Tradeoffs for SSD Performance . In Proceedings of the 2008 USENIX Annual Technical Conference (USENIX ATC'08), Vol 57 . Nitin Agarwal, Vijayan Prabhakaran, Ted Wobber, John D. Davis, Mark Manasse, and Rina Panigrahy. 2008. Design Tradeoffs for SSD Performance. In Proceedings of the 2008 USENIX Annual Technical Conference (USENIX ATC'08), Vol 57."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1416944.1416947"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254882.1254917"},{"key":"e_1_2_1_23_1","volume-title":"The Datacenter As a Computer: An Introduction to the Design of Warehouse-Scale Machines","author":"Barroso Luiz Andre","unstructured":"Luiz Andre Barroso and Urs Hoelzle . 2009. The Datacenter As a Computer: An Introduction to the Design of Warehouse-Scale Machines ( 1 st ed.). Morgan and Claypool Publishers . Luiz Andre Barroso and Urs Hoelzle. 2009. The Datacenter As a Computer: An Introduction to the Design of Warehouse-Scale Machines (1st ed.). Morgan and Claypool Publishers.","edition":"1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELPHY.2002.996604"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872406"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELPHY.1993.283291"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE\u201912)","author":"Cai Yu","year":"2012","unstructured":"Yu Cai , Erich F. Haratsch , Onur Mutlu , and Ken Mai . 2012 . Error patterns in MLC NAND flash memory: Measurement, characterization, and analysis . In Proceedings of the Conference on Design, Automation and Test in Europe (DATE\u201912) . EDA Consortium, Dresden, 521--526. Yu Cai, Erich F. Haratsch, Onur Mutlu, and Ken Mai. 2012. Error patterns in MLC NAND flash memory: Measurement, characterization, and analysis. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE\u201912). EDA Consortium, Dresden, 521--526."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2637364.2591994"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205289.3205302"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3019046.3019055"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168861"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555371"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/176979.176981"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522726"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 10th Conference on File and Storage Technologies (FAST\u201912)","author":"Chidambaram Vijay","unstructured":"Vijay Chidambaram , Tushar Sharma , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2012. Consistency without ordering . In Proceedings of the 10th Conference on File and Storage Technologies (FAST\u201912) . Vijay Chidambaram, Tushar Sharma, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2012. Consistency without ordering. In Proceedings of the 10th Conference on File and Storage Technologies (FAST\u201912)."},{"key":"e_1_2_1_37_1","volume-title":"File systems fated for senescence? Nonsense, says science&excl","author":"Conway Alex","unstructured":"Alex Conway , Ainesh Bakshi , Yizheng Jiao , William Jannen , Yang Zhan , Jun Yuan , Michael A. Bender , Rob Johnson , Bradley C. Kuszmaul , Donald E. Porter , and Martin Farach-Colton . 2017. File systems fated for senescence? Nonsense, says science&excl ; In Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST\u2019 17). 45--58. Alex Conway, Ainesh Bakshi, Yizheng Jiao, William Jannen, Yang Zhan, Jun Yuan, Michael A. Bender, Rob Johnson, Bradley C. Kuszmaul, Donald E. Porter, and Martin Farach-Colton. 2017. File systems fated for senescence? Nonsense, says science&excl; In Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST\u201917). 45--58."},{"key":"e_1_2_1_38_1","unstructured":"GParted Forum. 2009. e2fsck is taking forever. http:\/\/gparted-forum.surf4.info\/viewtopic.php?id&equals;13613.  GParted Forum. 2009. e2fsck is taking forever. http:\/\/gparted-forum.surf4.info\/viewtopic.php?id&equals;13613."},{"key":"e_1_2_1_39_1","unstructured":"JaguarPC Forum. 2006. How long does it take FSCK to run?&excl; http:\/\/forums.jaguarpc.com\/hosting-talk-chit-chat\/14217-how-long-does-take-fsck-run.html.  JaguarPC Forum. 2006. How long does it take FSCK to run?&excl; http:\/\/forums.jaguarpc.com\/hosting-talk-chit-chat\/14217-how-long-does-take-fsck-run.html."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208461.2208468"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2012.6282078"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/350853.350863"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/3189759.3189770"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/3154601.3154608"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669118"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987583"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","author":"Gunawi Haryadi S.","unstructured":"Haryadi S. Gunawi , Abhishek Rajimwale , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2008. SQCK: A declarative file system checker . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908) . 131--146. Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2008. SQCK: A declarative file system checker. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908). 131--146."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST\u201908)","volume":"8","author":"Gunawi Haryadi S.","year":"2008","unstructured":"Haryadi S. Gunawi , Cindy Rubio-Gonz\u00e1lez , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Ben Liblit . 2008 . EIO: Error handling is occasionally correct . In Proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST\u201908) , Vol. 8 . 1--16. Haryadi S. Gunawi, Cindy Rubio-Gonz\u00e1lez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit. 2008. EIO: Error handling is occasionally correct. In Proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST\u201908), Vol. 8. 1--16."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 14th Workshop on Hot Topics in Operating Systems (HotOS\u201913)","author":"Guo Zhenyu","year":"2013","unstructured":"Zhenyu Guo , Sean McDirmid , Mao Yang , Li Zhuang , Pu Zhang , Yingwei Luo , Tom Bergan , Madan Musuvathi , Zheng Zhang , and Lidong Zhou . 2013 . Failure recovery: When the cure is worse than the disease . In Proceedings of the 14th Workshop on Hot Topics in Operating Systems (HotOS\u201913) . Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, and Lidong Zhou. 2013. Failure recovery: When the cure is worse than the disease. In Proceedings of the 14th Workshop on Hot Topics in Operating Systems (HotOS\u201913)."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2342821.2342823"},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the 12th USENIX Conference on File and Storage Technologies (FAST\u201914)","author":"Jimenez Xavier","year":"2014","unstructured":"Xavier Jimenez , David Novo , and Paolo Ienne . 2014 . Wear unleveling: Improving NAND flash lifetime by balancing page endurance . In Proceedings of the 12th USENIX Conference on File and Storage Technologies (FAST\u201914) . 47--59. Xavier Jimenez, David Novo, and Paolo Ienne. 2014. Wear unleveling: Improving NAND flash lifetime by balancing page endurance. In Proceedings of the 12th USENIX Conference on File and Storage Technologies (FAST\u201914). 47--59."},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201908)","volume":"8","author":"Krioukov Andrew","unstructured":"Andrew Krioukov , Lakshmi N. Bairavasundaram , Garth R. Goodson , Kiran Srinivasan , Randy Thelen , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2008. Parity lost and parity regained . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201908) , Vol. 8 . 1--15. Andrew Krioukov, Lakshmi N. Bairavasundaram, Garth R. Goodson, Kiran Srinivasan, Randy Thelen, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2008. Parity lost and parity regained. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201908), Vol. 8. 1--15."},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the 2006 Symposium on VLSI Circuits. IEEE, 112--113","author":"Kurata H.","unstructured":"H. Kurata , K. Otsuga , A. Kotabe , S. Kajiyama , T. Osabe , Y. Sasago , S. Narumi , K. Tokami , S. Kamohara , and O. Tsuchiya . 2006. The impact of random telegraph signals on the scaling of multilevel Flash memories . In Proceedings of the 2006 Symposium on VLSI Circuits. IEEE, 112--113 . H. Kurata, K. Otsuga, A. Kotabe, S. Kajiyama, T. Osabe, Y. Sasago, S. Narumi, K. Tokami, S. Kamohara, and O. Tsuchiya. 2006. The impact of random telegraph signals on the scaling of multilevel Flash memories. In Proceedings of the 2006 Symposium on VLSI Circuits. IEEE, 112--113."},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Lee Changman","year":"2015","unstructured":"Changman Lee , Dongho Sim , Joo-Young Hwang , and Sangyeun Cho . 2015 . F2FS: A new file system for flash storage . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915) . 273--286. Changman Lee, Dongho Sim, Joo-Young Hwang, and Sangyeun Cho. 2015. F2FS: A new file system for flash storage. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). 273--286."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750482.2750500"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Lu Lanyue","unstructured":"Lanyue Lu , Yupu Zhang , Thanh Do , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2014. Physical disentanglement in a container-based file system . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 81--96. Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2014. Physical disentanglement in a container-based file system. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914). 81--96."},{"key":"e_1_2_1_59_1","volume-title":"Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913)","volume":"13","author":"Lu Youyou","year":"2013","unstructured":"Youyou Lu , Jiwu Shu , Weimin Zheng , 2013 . Extending the lifetime of flash-based storage through reducing write amplification from file systems . In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913) , Vol. 13 . Youyou Lu, Jiwu Shu, Weimin Zheng, et al. 2013. Extending the lifetime of flash-based storage through reducing write amplification from file systems. In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913), Vol. 13."},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913)","author":"Ma Ao","unstructured":"Ao Ma , Chris Dragga , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2013. ffsck: The fast file system checker . In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913) . 1--15. Ao Ma, Chris Dragga, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2013. ffsck: The fast file system checker. In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST\u201913). 1--15."},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage\u201917)","author":"Martinez Ashlie","year":"2017","unstructured":"Ashlie Martinez and Vijay Chidambaram . 2017 . CrashMonkey: A framework to automatically test file-system crash consistency . In Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage\u201917) . Ashlie Martinez and Vijay Chidambaram. 2017. CrashMonkey: A framework to automatically test file-system crash consistency. In Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage\u201917)."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/989.990"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the Symposium on VLSI Technology (VLSI\u201993)","author":"Ong T.","unstructured":"T. Ong , A. Frazio , N. Mielke , S. Pan , N. Righos , G. Atwood , and S. Lai . 1993. Erratic erase in ETOX\/sup TM\/ flash memory array . In Proceedings of the Symposium on VLSI Technology (VLSI\u201993) . T. Ong, A. Frazio, N. Mielke, S. Pan, N. Righos, G. Atwood, and S. Lai. 1993. Erratic erase in ETOX\/sup TM\/ flash memory array. In Proceedings of the Symposium on VLSI Technology (VLSI\u201993)."},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916)","author":"Pamies-Juarez Lluis","year":"2016","unstructured":"Lluis Pamies-Juarez , Filip Blagojevi\u0107 , Robert Mateescu , Cyril Gyuot , Eyal En Gad , and Zvonimir Bandi\u0107 . 2016 . Opening the chrysalis: On the real repair performance of MSR codes . In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916) . 81--94. Lluis Pamies-Juarez, Filip Blagojevi\u0107, Robert Mateescu, Cyril Gyuot, Eyal En Gad, and Zvonimir Bandi\u0107. 2016. Opening the chrysalis: On the real repair performance of MSR codes. In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916). 81--94."},{"key":"e_1_2_1_67_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Pillai Thanumalayan Sankaranarayana","unstructured":"Thanumalayan Sankaranarayana Pillai , Vijay Chidambaram , Ramnatthan Alagappan , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2014. All file systems are not created equal: On the complexity of crafting crash-consistent applications . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2014. All file systems are not created equal: On the complexity of crafting crash-consistent applications. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958264"},{"key":"e_1_2_1_70_1","volume-title":"Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST\u201907)","author":"Schroeder Bianca","unstructured":"Bianca Schroeder and Garth A. Gibson . 2007. Disk failures in the real world: What does an MTTF of 1,000,000 hours mean to you? In Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST\u201907) . Bianca Schroeder and Garth A. Gibson. 2007. Disk failures in the real world: What does an MTTF of 1,000,000 hours mean to you? In Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST\u201907)."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916)","author":"Schroeder Bianca","year":"2016","unstructured":"Bianca Schroeder , Raghav Lagisetty , and Arif Merchant . 2016 . Flash reliability in production: The expected and the unexpected . In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916) . 67--80. Bianca Schroeder, Raghav Lagisetty, and Arif Merchant. 2016. Flash reliability in production: The expected and the unexpected. In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916). 67--80."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2010.5496972"},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916)","author":"Sigurbjarnarson Helgi","year":"2016","unstructured":"Helgi Sigurbjarnarson , James Bornholt , Emina Torlak , and Xi Wang . 2016 . Push-button verification of file systems via crash refinement . In Proceedings of 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916) . Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang. 2016. Push-button verification of file systems via crash refinement. In Proceedings of 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916)."},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/258612.258689"},{"key":"e_1_2_1_75_1","unstructured":"V. Svanberg. 2009. Fsck takes too long on multiply-claimed blocks. http:\/\/old.nabble.com\/Fsck-takes-too-long-on-multiply-claimed-blocks-td21972943.html.  V. Svanberg. 2009. Fsck takes too long on multiply-claimed blocks. http:\/\/old.nabble.com\/Fsck-takes-too-long-on-multiply-claimed-blocks-td21972943.html."},{"key":"e_1_2_1_76_1","volume-title":"Proceedings of the 1996 USENIX Annual Technical Conference (USENIX ATC\u201996)","volume":"15","author":"Sweeney Adam","year":"1996","unstructured":"Adam Sweeney , Doug Doucette , Wei Hu , Curtis Anderson , Mike Nishimoto , and Geoff Peck . 1996 . Scalability in the XFS file system . In Proceedings of the 1996 USENIX Annual Technical Conference (USENIX ATC\u201996) , Vol. 15 . Adam Sweeney, Doug Doucette, Wei Hu, Curtis Anderson, Mike Nishimoto, and Geoff Peck. 1996. Scalability in the XFS file system. In Proceedings of the 1996 USENIX Annual Technical Conference (USENIX ATC\u201996), Vol. 15."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024733"},{"key":"e_1_2_1_78_1","volume-title":"Proceedings of the 4th Annual Linux Expo.","author":"Tweedie Stephen C.","year":"1998","unstructured":"Stephen C. Tweedie . 1998 . Journaling the linux ext2fs filesystem . In Proceedings of the 4th Annual Linux Expo. Stephen C. Tweedie. 1998. Journaling the linux ext2fs filesystem. In Proceedings of the 4th Annual Linux Expo."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/NAS.2016.7549401"},{"key":"e_1_2_1_80_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906)","author":"Weil Sage A.","year":"2006","unstructured":"Sage A. Weil , Scott A. Brandt , Ethan L. Miller , Darrell D. E. Long , and Carlos Maltzahn . 2006 . Ceph: A scalable, high-performance distributed file system . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906) . 307--320. Sage A. Weil, Scott A. Brandt, Ethan L. Miller, Darrell D. E. Long, and Carlos Maltzahn. 2006. Ceph: A scalable, high-performance distributed file system. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906). 307--320."},{"key":"e_1_2_1_81_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Xia Mingyuan","unstructured":"Mingyuan Xia , Mohit Saxena , Mario Blaum , and David A. Pease . 2015. A tale of two erasure codes in HDFS . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915) . 213--226. Mingyuan Xia, Mohit Saxena, Mario Blaum, and David A. Pease. 2015. A tale of two erasure codes in HDFS. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). 213--226."},{"key":"e_1_2_1_82_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Yadgar Gala","year":"2015","unstructured":"Gala Yadgar , Eitan Yaakobi , and Assaf Schuster . 2015 . Write once, get 50% free: Saving SSD erase costs using WOM codes . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915) . 257--271. Gala Yadgar, Eitan Yaakobi, and Assaf Schuster. 2015. Write once, get 50% free: Saving SSD erase costs using WOM codes. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). 257--271."},{"key":"e_1_2_1_83_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906)","author":"Yang Junfeng","year":"2006","unstructured":"Junfeng Yang , Can Sar , and Dawson Engler . 2006 . EXPLODE: A lightweight, general system for finding serious storage system errors . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906) . 131--146. Junfeng Yang, Can Sar, and Dawson Engler. 2006. EXPLODE: A lightweight, general system for finding serious storage system errors. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906). 131--146."},{"key":"e_1_2_1_84_1","volume-title":"Proceedings of the 10th USENIX Conference on File and Storage Technologies (FAST\u201912)","author":"Zhang Yiying","unstructured":"Yiying Zhang , Leo Prasath Arulraj , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2012. De-indirection for flash-based SSDs with nameless writes . In Proceedings of the 10th USENIX Conference on File and Storage Technologies (FAST\u201912) . Yiying Zhang, Leo Prasath Arulraj, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2012. De-indirection for flash-based SSDs with nameless writes. In Proceedings of the 10th USENIX Conference on File and Storage Technologies (FAST\u201912)."},{"key":"e_1_2_1_85_1","volume-title":"Proceedings of the 8th USENIX Conference on File and Storage Technologies (FAST\u201910)","author":"Zhang Yupu","unstructured":"Yupu Zhang , Abhishek Rajimwale , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2010. End-to-end data integrity for file systems: A ZFS case study . In Proceedings of the 8th USENIX Conference on File and Storage Technologies (FAST\u201910) . 29--42. Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2010. End-to-end data integrity for file systems: A ZFS case study. In Proceedings of the 8th USENIX Conference on File and Storage Technologies (FAST\u201910). 29--42."},{"key":"e_1_2_1_86_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Zheng Mai","year":"2014","unstructured":"Mai Zheng , Joseph Tucek , Dachuan Huang , Feng Qin , Mark Lillibridge , Elizabeth S. Yang , Bill W. Zhao , and Shashank Singh . 2014 . Torturing databases for fun and profit . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 449--464. Mai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S. Yang, Bill W. Zhao, and Shashank Singh. 2014. Torturing databases for fun and profit. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914). 449--464."},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591300"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2992782"}],"container-title":["ACM Transactions on Storage"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281031","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:17Z","timestamp":1750208237000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,30]]},"references-count":88,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,11,30]]}},"alternative-id":["10.1145\/3281031"],"URL":"https:\/\/doi.org\/10.1145\/3281031","relation":{},"ISSN":["1553-3077","1553-3093"],"issn-type":[{"value":"1553-3077","type":"print"},{"value":"1553-3093","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,30]]},"assertion":[{"value":"2018-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}