{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:47Z","timestamp":1750307567109,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T00:00:00Z","timestamp":1268352000000},"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":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2010,3,12]]},"abstract":"<jats:p>The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for their proper operation. Though file-system availability is critical in many cases, very little work has been done on tolerating file system crashes. In this paper, we propose Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system failures and does so while remaining transparent to running applications; upon failure, the file system restarts, its state is restored, and pending application requests are serviced as if no failure had occurred. Our initial evaluation ofMembrane with ext2 shows thatMembrane induces little performance overhead and can tolerate a wide range of file system crashes. More critically, Membrane does so with few changes to ext2, thus improving robustness to crashes without mandating intrusive changes to existing filesystem code.<\/jats:p>","DOI":"10.1145\/1740390.1740397","type":"journal-article","created":{"date-parts":[[2010,3,19]],"date-time":"2010-03-19T19:22:47Z","timestamp":1269026567000},"page":"25-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Why panic()?"],"prefix":"10.1145","volume":"44","author":[{"given":"Swaminathan","family":"Sundararaman","sequence":"first","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Subramanian","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Rajimwale","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea C.","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Remzi H.","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael M.","family":"Swift","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,3,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Jeff Bonwick and Bill Moore. ZFS: The Last Word in File Systems. http:\/\/opensolaris.org\/os\/community\/zfs\/docs\/zfs_last.pdf 2007.  Jeff Bonwick and Bill Moore. ZFS: The Last Word in File Systems. http:\/\/opensolaris.org\/os\/community\/zfs\/docs\/zfs_last.pdf 2007."},{"key":"e_1_2_1_2_1","volume-title":"OSDI '08","author":"David Francis M.","year":"2008","unstructured":"Francis M. David , Ellick M. Chan , Jeffrey C. Carlyle , and Roy H. Campbell . CuriOS: Improving Reliability through Operating System Structure . In OSDI '08 , San Diego, CA , December 2008 . Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, and Roy H. Campbell. CuriOS: Improving Reliability through Operating System Structure. In OSDI '08, San Diego, CA, December 2008."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949314"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_2_1_5_1","volume-title":"Safe Hardware Access with the Xen Virtual Machine Monitor. In Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure","author":"Fraser K.","year":"2004","unstructured":"K. Fraser , S. Hand , R. Neugebauer , I. Pratt , A. Warfield , and M. Williamson . Safe Hardware Access with the Xen Virtual Machine Monitor. In Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure , 2004 . K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe Hardware Access with the Xen Virtual Machine Monitor. In Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, 2004."},{"key":"e_1_2_1_6_1","first-page":"207","volume-title":"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 . EIO : Error Handling is Occasionally Correct . In FAST '08 , pages 207 -- 222 , San Jose, California , February 2008 . Haryadi S. Gunawi, Cindy Rubio-Gonzalez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit. EIO: Error Handling is Occasionally Correct. In FAST '08, pages 207--222, San Jose, California, February 2008."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/41457.37518"},{"key":"e_1_2_1_8_1","volume-title":"Soul of a New Machine. Little, Brown, and Company","author":"Kidder Tracy","year":"1981","unstructured":"Tracy Kidder . Soul of a New Machine. Little, Brown, and Company , 1981 . Tracy Kidder. Soul of a New Machine. Little, Brown, and Company, 1981."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 6th USENIX OSDI","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. Stoess , and S. Gotz . Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines . In Proceedings of the 6th USENIX OSDI , 2004 . J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Proceedings of the 6th USENIX OSDI, 2004."},{"key":"e_1_2_1_10_1","first-page":"33","volume-title":"USENIX Winter '91","author":"McVoy L.W.","year":"1991","unstructured":"L.W. McVoy and S. R. Kleiman . Extent-like Performance from a UNIX File System . In USENIX Winter '91 , pages 33 -- 43 , Dallas, Tx , January 1991 . L.W. McVoy and S. R. Kleiman. Extent-like Performance from a UNIX File System. In USENIX Winter '91, pages 33--43, Dallas, Tx, January 1991."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_2_1_12_1","volume-title":"Yuanyuan Zhou. Rx: Treating Bugs As Allergies. In SOSP '05","author":"Qin Feng","year":"2005","unstructured":"Feng Qin , Joseph Tucek , Jagadeesan Sundaresan , and Yuanyuan Zhou. Rx: Treating Bugs As Allergies. In SOSP '05 , Brighton, UK , October 2005 . Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, and Yuanyuan Zhou. Rx: Treating Bugs As Allergies. In SOSP '05, Brighton, UK, October 2005."},{"key":"e_1_2_1_13_1","volume-title":"www.namesys.com","author":"Reiser Hans","year":"2004","unstructured":"Hans Reiser . Reiser FS. www.namesys.com , 2004 . Hans Reiser. ReiserFS. www.namesys.com, 2004."},{"key":"e_1_2_1_14_1","unstructured":"Eric Schrock. UFS\/SVM vs. ZFS: Code Complexity. http:\/\/blogs.sun.com\/eschrock\/ November 2005.  Eric Schrock. UFS\/SVM vs. ZFS: Code Complexity. http:\/\/blogs.sun.com\/eschrock\/ November 2005."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976938"},{"key":"e_1_2_1_16_1","volume-title":"Geoff Peck. Scalability in the XFS File System. In USENIX 1996","author":"Sweeney Adan","year":"1996","unstructured":"Adan Sweeney , Doug Doucette , Wei Hu , Curtis Anderson , Mike Nishimoto , and Geoff Peck. Scalability in the XFS File System. In USENIX 1996 , San Diego, CA , January 1996 . Adan Sweeney, Doug Doucette, Wei Hu, Curtis Anderson, Mike Nishimoto, and Geoff Peck. Scalability in the XFS File System. In USENIX 1996, San Diego, CA, January 1996."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047915.1047919"},{"key":"e_1_2_1_18_1","first-page":"1","volume-title":"OSDI '04","author":"Swift Michael M.","year":"2004","unstructured":"Michael M. Swift , Brian N. Bershad , and Henry M. Levy . Recovering device drivers . In OSDI '04 , pages 1 -- 16 , San Francisco, CA , December 2004 . Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Recovering device drivers. In OSDI '04, pages 1--16, San Francisco, CA, December 2004."},{"key":"e_1_2_1_19_1","volume-title":"June","author":"Ts'o Theodore","year":"2001","unstructured":"Theodore Ts'o . http:\/\/e2fsprogs.sourceforge.net , June 2001 . Theodore Ts'o. http:\/\/e2fsprogs.sourceforge.net, June 2001."},{"key":"e_1_2_1_20_1","volume-title":"FREENIX '02","author":"Ts'o Theodore","year":"2002","unstructured":"Theodore Ts'o and Stephen Tweedie . Future Directions for the Ext2\/3 Filesystem . In FREENIX '02 , Monterey, CA , June 2002 . Theodore Ts'o and Stephen Tweedie. Future Directions for the Ext2\/3 Filesystem. In FREENIX '02, Monterey, CA, June 2002."},{"volume-title":"ext4. en.wikipedia.org\/wiki\/Ext4","year":"2008","key":"e_1_2_1_21_1","unstructured":"Wikipedia. ext4. en.wikipedia.org\/wiki\/Ext4 , 2008 . Wikipedia. ext4. en.wikipedia.org\/wiki\/Ext4, 2008."},{"volume-title":"en.wikipedia.org\/wiki\/Btrfs","year":"2009","key":"e_1_2_1_22_1","unstructured":"Wikipedia. Btrfs. en.wikipedia.org\/wiki\/Btrfs , 2009 . Wikipedia. Btrfs. en.wikipedia.org\/wiki\/Btrfs, 2009."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 8th USENIX OSDI","author":"Williams Dan","year":"2008","unstructured":"Dan Williams , Patrick Reynolds , Kevin Walsh , Emin G\u00fcn Sirer , and Fred B. Schneider . Device Driver Safety Through a Reference Validation Mechanism . In Proceedings of the 8th USENIX OSDI , 2008 . Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G\u00fcn Sirer, and Fred B. Schneider. Device Driver Safety Through a Reference Validation Mechanism. In Proceedings of the 8th USENIX OSDI, 2008."},{"key":"e_1_2_1_24_1","volume-title":"OSDI '04","author":"Yang Junfeng","year":"2004","unstructured":"Junfeng Yang , Paul Twohey , Dawson Engler , and Madanlal Musuvathi . Using Model Checking to Find Serious File System Errors . In OSDI '04 , San Francisco, CA , December 2004 . Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using Model Checking to Find Serious File System Errors. In OSDI '04, San Francisco, CA, December 2004."},{"key":"e_1_2_1_25_1","volume-title":"Eric Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In OSDI'06","author":"Zhou Feng","year":"2006","unstructured":"Feng Zhou , Jeremy Condit , Zachary Anderson , Ilya Bagrak , Rob Ennals , Matthew Harren , George Necula , and Eric Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In OSDI'06 , Seattle, WA , November 2006 . Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In OSDI'06, Seattle, WA, November 2006."}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1740390.1740397","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1740390.1740397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:40:55Z","timestamp":1750250455000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1740390.1740397"}},"subtitle":["improving reliability with restartable file systems"],"short-title":[],"issued":{"date-parts":[[2010,3,12]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3,12]]}},"alternative-id":["10.1145\/1740390.1740397"],"URL":"https:\/\/doi.org\/10.1145\/1740390.1740397","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2010,3,12]]},"assertion":[{"value":"2010-03-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}