{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:02:43Z","timestamp":1755993763851,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"name":"NSF","award":["CNS-1838733"],"award-info":[{"award-number":["CNS-1838733"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3655038.3665942","type":"proceedings-article","created":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T00:19:48Z","timestamp":1719447588000},"page":"15-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2485-4038","authenticated-orcid":false,"given":"Jing","family":"Liu","sequence":"first","affiliation":[{"name":"University of Wisconsin - Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9554-9084","authenticated-orcid":false,"given":"Xiangpeng","family":"Hao","sequence":"additional","affiliation":[{"name":"University of Wisconsin - Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8618-2738","authenticated-orcid":false,"given":"Andrea","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin - Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9965-7704","authenticated-orcid":false,"given":"Remzi","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin - Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9889-4828","authenticated-orcid":false,"given":"Tej","family":"Chajed","sequence":"additional","affiliation":[{"name":"University of Wisconsin - Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI '16)","author":"Adya Atul","year":"2016","unstructured":"Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, Arif Merchant, and Kfir Lev-Ari. 2016. Slicer: Auto-Sharding for Datacenter Applications. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI '16). Savannah, GA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359656"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"e_1_3_2_1_4_1","unstructured":"Algirdas A. Avi\u017eienis. 1995. The Methodology of N-Version Programming. In Software Fault Tolerance Michael R. Lyu (Ed.). John Wiley & Sons Ltd. Chapter 2."},{"volume-title":"Proceedings of 1st Annual International Computer Software and Applications Conference (COMPSAC'77)","author":"Algirdas","key":"e_1_3_2_1_5_1","unstructured":"Algirdas A. Avi\u017eienis and Liming Chen. 1977. On the Implementation of N-Version Programming for Software Fault Tolerance During Execution. In Proceedings of 1st Annual International Computer Software and Applications Conference (COMPSAC'77). Chicago, USA."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659219"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI '20). Virtual Conference.","author":"Boos Kevin","year":"2020","unstructured":"Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. 2020. Theseus: an Experiment in Operating System Structure and State Management. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI '20). Virtual Conference."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483540"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593856.3595899"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04)","author":"Candea George","year":"2004","unstructured":"George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. 2004. Microreboot - A Technique for Cheap Recovery. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04). San Francisco, CA."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"volume-title":"ext4_handle_inode_extension: i_size_read(inode) &lt","author":"Cheng Zhihao","key":"e_1_3_2_1_13_1","unstructured":"Zhihao Cheng. 2018. ext4_handle_inode_extension: i_size_read(inode) < EXT4_I(inode)->i_disksize. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=217159."},{"key":"e_1_3_2_1_14_1","unstructured":"Jonathan Corbet. 2013. The multiqueue block layer. https:\/\/lwn.net\/Articles\/552904\/."},{"key":"e_1_3_2_1_15_1","unstructured":"Jonathan Corbet. 2021. Clarifying memory management with page folios. https:\/\/lwn.net\/Articles\/849538\/."},{"key":"e_1_3_2_1_16_1","unstructured":"Jonathan Corbet. 2021. Multi-generational LRU: the next generation. https:\/\/lwn.net\/Articles\/856931\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755933"},{"key":"e_1_3_2_1_18_1","volume-title":"Silent Data Corruptions at Scale. CoRR abs\/2102.11245","author":"Dixit Harish Dattatraya","year":"2021","unstructured":"Harish Dattatraya Dixit, Sneha Pendharkar, Matt Beadon, Chris Mason, Tejasvi Chakravarthy, Bharath Muthiah, and Sriram Sankar. 2021. Silent Data Corruptions at Scale. CoRR abs\/2102.11245 (2021). https:\/\/arxiv.org\/abs\/2102.11245"},{"key":"e_1_3_2_1_19_1","unstructured":"Jake Edge. 2023. Converting filesystems to iomap. https:\/\/lwn.net\/Articles\/935934\/."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Ford Daniel","year":"2010","unstructured":"Daniel Ford, Fran\u00e7ois Labelle, Florentina I. Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, and Sean Quinlan. 2010. Availability in Globally Distributed Storage Systems. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI '10). Vancouver, Canada."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2385603.2385608"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 6th USENIX Symposium on File and Storage Technologies (FAST '08)","author":"Gunawi Haryadi S.","year":"2008","unstructured":"Haryadi S. Gunawi, Cindy Rubio-Gonzalez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit. 2008. EIO: Error Handling is Occasionally Correct. In Proceedings of the 6th USENIX Symposium on File and Storage Technologies (FAST '08). San Jose, CA."},{"volume-title":"Proceedings of the 6th European Dependable Computing Conference.","author":"Herder Jorrit N.","key":"e_1_3_2_1_23_1","unstructured":"Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum. 2006. Construction of a Highly Dependable Operating System. In Proceedings of the 6th European Dependable Computing Conference."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465297"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 16th USENIX Conference on Operating Systems Design and Implementation (OSDI '22)","author":"Huang Lexiang","year":"2022","unstructured":"Lexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs, Abutalib Aghayev, Timothy Zhu, and Aleksey Charapko. 2022. Metastable Failures in the Wild. In Proceedings of the 16th USENIX Conference on Operating Systems Design and Implementation (OSDI '22). Carlsbad, CA."},{"key":"e_1_3_2_1_26_1","unstructured":"Jonathan Corbet. 2020. The ABI status of filesystem formats. https:\/\/lwn.net\/Articles\/833696\/."},{"key":"e_1_3_2_1_27_1","unstructured":"The kernel development community. 2024. Linux kernel coding style: Do not crash the kernel. https:\/\/www.kernel.org\/doc\/html\/latest\/process\/coding-style.html#do-not-crash-the-kernel."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434324"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/3129633.3129651"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586037"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465277"},{"key":"e_1_3_2_1_35_1","unstructured":"Linus Torvalds. 2002. [BK PATCH] USB changes for 2.5.34. https:\/\/yarchive.net\/comp\/linux\/BUG.html."},{"key":"e_1_3_2_1_36_1","unstructured":"Inc. Linux Kernel Organization. [n.d.]. Linux Page Replacement Policy. https:\/\/www.kernel.org\/doc\/gorman\/html\/understand\/understand013.html."},{"volume-title":"Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP '21)","author":"Liu Jing","key":"e_1_3_2_1_37_1","unstructured":"Jing Liu, Anthony Rebello, Yifan Dai, Chenhao Ye, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2021. Scale and Performance in a Filesystem Semi-Microkernel. In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP '21). Virtual Event, Germany."},{"key":"e_1_3_2_1_38_1","unstructured":"Wenqing Liu. 2018. array-index-out-of-bounds in fs\/f2fs\/segment.c. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=215657."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 19th USENIX Conference on File and Storage Technologies (FAST '24)","author":"Liu Yifei","year":"2024","unstructured":"Yifei Liu, Manish Adkar, Gerard Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, and Erez Zadok. 2024. Metis: File System Model Checking via Versatile Input and State Exploration. In Proceedings of the 19th USENIX Conference on File and Storage Technologies (FAST '24). Santa Clara, CA."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI '00)","author":"Lowell David E","year":"2000","unstructured":"David E Lowell, Subhachandra Chandra, and Peter Chen. 2000. Exploring Failure Transparency and the Limits of Generic Recovery. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI '00). San Diego, CA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359657"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX '17)","author":"Park Daejun","year":"2017","unstructured":"Daejun Park and Dongkun Shin. 2017. iJournaling: Fine-Grained Journaling for Improving the Latency of Fsync System Call. In Proceedings of the USENIX Annual Technical Conference (USENIX '17). Santa Clara, CA."},{"key":"e_1_3_2_1_44_1","unstructured":"Cilium Project (post in Hacker News). 2020. EBPF is turning the Linux kernel into a microkernel. https:\/\/news.ycombinator.com\/item?id=22953730."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555372"},{"key":"e_1_3_2_1_47_1","unstructured":"SPDK Open-source Team. 2021. The Storage Performance Development Kit. https:\/\/spdk.io\/doc."},{"volume-title":"Proceedings of the 8th USENIX Symposium on File and Storage Technologies (FAST '10)","author":"Sundararaman Swaminathan","key":"e_1_3_2_1_48_1","unstructured":"Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. 2010. Membrane: Operating System Support for Restartable File Systems. In Proceedings of the 8th USENIX Symposium on File and Storage Technologies (FAST '10). San Jose, CA."},{"volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP '03)","author":"Swift Michael M.","key":"e_1_3_2_1_49_1","unstructured":"Michael M. Swift, Brian N. Bershad, and Henry M. Levy. 2003. Improving the Reliability of Commodity Operating Systems. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP '03). Bolton Landing, New York."},{"volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04)","author":"Swift Michael M.","key":"e_1_3_2_1_50_1","unstructured":"Michael M. Swift, Brian N. Bershad, and Henry M. Levy. 2004. Recovering Device Drivers. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04). San Francisco, CA, 1--16."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613149"},{"key":"e_1_3_2_1_52_1","unstructured":"Wen Xu. 2018. use-after-free in ext4_put_super(). https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=200931."},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06)","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 '06). Seattle, WA."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359644"}],"event":{"name":"HOTSTORAGE '24: 16th ACM Workshop on Hot Topics in Storage and File Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Santa Clara CA USA","acronym":"HOTSTORAGE '24"},"container-title":["Proceedings of the 16th ACM Workshop on Hot Topics in Storage and File Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3655038.3665942","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3655038.3665942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:10:25Z","timestamp":1755915025000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3655038.3665942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":54,"alternative-id":["10.1145\/3655038.3665942","10.1145\/3655038"],"URL":"https:\/\/doi.org\/10.1145\/3655038.3665942","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}