{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:05Z","timestamp":1750308425969,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T00:00:00Z","timestamp":1557273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100005801","name":"Facebook","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005801","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100016682","name":"VMware","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100016682","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1618563, CCF-1333594"],"award-info":[{"award-number":["CNS-1618563, CCF-1333594"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Storage"],"published-print":{"date-parts":[[2019,5,31]]},"abstract":"<jats:p>We introduce TxFS, a transactional file system that builds upon a file system\u2019s atomic-update mechanism such as journaling. Though prior work has explored a number of transactional file systems, TxFS has a unique set of properties: a simple API, portability across different hardware, high performance, low complexity (by building on the file-system journal), and full ACID transactions. We port SQLite, OpenLDAP, and Git to use TxFS and experimentally show that TxFS provides strong crash consistency while providing equal or better performance.<\/jats:p>","DOI":"10.1145\/3318159","type":"journal-article","created":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T14:11:11Z","timestamp":1557324671000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["TxFS"],"prefix":"10.1145","volume":"15","author":[{"given":"Yige","family":"Hu","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, Texas"}]},{"given":"Zhiting","family":"Zhu","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas"}]},{"given":"Ian","family":"Neal","sequence":"additional","affiliation":[{"name":"University of Michigan, Hayward Street Ann Arbor, MI"}]},{"given":"Youngjin","family":"Kwon","sequence":"additional","affiliation":[{"name":"KAIST, Yuseong-gu, Daejeon, Republic of Korea"}]},{"given":"Tianyu","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas"}]},{"given":"Vijay","family":"Chidambaram","sequence":"additional","affiliation":[{"name":"University of Texas at Austin and VMware Research"}]},{"given":"Emmett","family":"Witchel","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas"}]}],"member":"320","published-online":{"date-parts":[[2019,5,8]]},"reference":[{"unstructured":"Fsync man page. 2006. Retrieved from http:\/\/man7.org\/linux\/man-pages\/man2\/fdatasync.2.html.  Fsync man page. 2006. Retrieved from http:\/\/man7.org\/linux\/man-pages\/man2\/fdatasync.2.html.","key":"e_1_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1145\/2517349.2522726"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1145\/2517349.2522724"},{"unstructured":"David A. Wheeler. {n.d.}. SLOCCount. https:\/\/www.dwheeler.com\/sloccount\/.  David A. Wheeler. {n.d.}. SLOCCount. https:\/\/www.dwheeler.com\/sloccount\/.","key":"e_1_2_1_4_1"},{"volume-title":"Proceedings of the 20th International Conference on Very Large Data Bases (VLDB\u201994)","author":"Gehani Narain H.","unstructured":"Narain H. Gehani , H. V. Jagadish , and William D. Roome . 1994. OdeFS: A file system interface to an object-oriented database . In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB\u201994) . Citeseer, 249--260. Narain H. Gehani, H. V. Jagadish, and William D. Roome. 1994. OdeFS: A file system interface to an object-oriented database. In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB\u201994). Citeseer, 249--260.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the International Conference on Very Large Data Bases (VLDB\u201981)","volume":"81","author":"Gray Jim","year":"1981","unstructured":"Jim Gray . 1981 . The transaction concept: Virtues and limitations . In Proceedings of the International Conference on Very Large Data Bases (VLDB\u201981) , Vol. 81 . 144--154. Jim Gray. 1981. The transaction concept: Virtues and limitations. In Proceedings of the International Conference on Very Large Data Bases (VLDB\u201981), Vol. 81. 144--154."},{"volume-title":"Proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems, G. M. Nijssen (Ed.). North-Holland, 365--394","author":"Gray Jim","unstructured":"Jim Gray , Raymond A. Lorie , Gianfranco R. Putzolu , and Irving L. Traiger . 1976. Granularity of locks and degrees of consistency in a shared data base . In Proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems, G. M. Nijssen (Ed.). North-Holland, 365--394 . Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, and Irving L. Traiger. 1976. Granularity of locks and degrees of consistency in a shared data base. In Proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems, G. M. Nijssen (Ed.). North-Holland, 365--394.","key":"e_1_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1145\/41457.37518"},{"unstructured":"Tsukasa Hamano. {n.d.}. lb\u2014LDAP benchmarking tool like an Apache Bench. https:\/\/github.com\/hamano\/lb.  Tsukasa Hamano. {n.d.}. lb\u2014LDAP benchmarking tool like an Apache Bench. https:\/\/github.com\/hamano\/lb.","key":"e_1_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1145\/2324876.2324878"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201994)","author":"Hitz Dave","year":"1994","unstructured":"Dave Hitz , James Lau , and Michael Malcolm . 1994 . File system design for an NFS file server appliance . In Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201994) . Dave Hitz, James Lau, and Michael Malcolm. 1994. File system design for an NFS file server appliance. In Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201994)."},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.1145\/3102980.3102997"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201918)","author":"Hu Yige","year":"2018","unstructured":"Yige Hu , Zhiting Zhu , Ian Neal , Youngjin Kwon , Tianyu Cheng , Vijay Chidambaram , and Emmett Witchel . 2018 . TxFS: Leveraging file-system crash consistency to provide ACID transactions . In Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201918) . Haryadi S. Gunawi and Benjamin Reed (Eds.). USENIX Association, 879--891. https:\/\/www.usenix.org\/conference\/atc18\/presentation\/hu. Yige Hu, Zhiting Zhu, Ian Neal, Youngjin Kwon, Tianyu Cheng, Vijay Chidambaram, and Emmett Witchel. 2018. TxFS: Leveraging file-system crash consistency to provide ACID transactions. In Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201918). Haryadi S. Gunawi and Benjamin Reed (Eds.). USENIX Association, 879--891. https:\/\/www.usenix.org\/conference\/atc18\/presentation\/hu."},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1145\/502034.502046"},{"key":"e_1_2_1_15_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 systematically 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 systematically test file-system crash consistency. In Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage\u201917)."},{"unstructured":"Microsoft. 2018. Alternatives to using transactional NTFS. Retrieved from https:\/\/msdn.microsoft.com\/en-us\/en-%20us\/library\/hh802690.aspx.  Microsoft. 2018. Alternatives to using transactional NTFS. Retrieved from https:\/\/msdn.microsoft.com\/en-us\/en-%20us\/library\/hh802690.aspx.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201915)","author":"Min Changwoo","year":"2015","unstructured":"Changwoo Min , Woon-Hak Kang , Taesoo Kim , Sang-Won Lee , and Young Ik Eom . 2015 . Lightweight application-level crash consistency on transactional flash storage . In Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201915) . 221--234. Changwoo Min, Woon-Hak Kang, Taesoo Kim, Sang-Won Lee, and Young Ik Eom. 2015. Lightweight application-level crash consistency on transactional flash storage. In Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201915). 221--234."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201918)","author":"Mohan Jayashree","year":"2018","unstructured":"Jayashree Mohan , Ashlie Martinez , Soujanya Ponnapalli , Pandian Raju , and Vijay Chidambaram . 2018 . Finding crash-consistency bugs with bounded black-box crash testing . In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201918) , Andrea C. Arpaci-Dusseau and Geoff Voelker (Eds.). USENIX Association, 33--50. Retrieved from https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/mohan. Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, and Vijay Chidambaram. 2018. Finding crash-consistency bugs with bounded black-box crash testing. In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201918), Andrea C. Arpaci-Dusseau and Geoff Voelker (Eds.). USENIX Association, 33--50. Retrieved from https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/mohan."},{"unstructured":"Nick Murphy Mark Tonkelowitz and Mike Vernal. 2001. The design and implementation of the database file system. Retrieved from https:\/\/goo.gl\/3Gj328.  Nick Murphy Mark Tonkelowitz and Mike Vernal. 2001. The design and implementation of the database file system. Retrieved from https:\/\/goo.gl\/3Gj328.","key":"e_1_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1007\/978-3-319-04936-6_1"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201993)","author":"Olson Michael A.","year":"1993","unstructured":"Michael A. Olson . 1993 . The design and implementation of the inversion file system . In Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201993) . USENIX Association, 205--218. Michael A. Olson. 1993. The design and implementation of the inversion file system. In Proceedings of the USENIX Winter Technical Conference (USENIX Winter\u201993). USENIX Association, 205--218."},{"volume-title":"Berkeley DB. In Proceedings of the FREENIX Track: USENIX Annual Technical Conference (USENIX\u201999)","author":"Olson Michael A.","unstructured":"Michael A. Olson , Keith Bostic , and Margo I. Seltzer . 1999 . Berkeley DB. In Proceedings of the FREENIX Track: USENIX Annual Technical Conference (USENIX\u201999) . 183--191. Michael A. Olson, Keith Bostic, and Margo I. Seltzer. 1999. Berkeley DB. In Proceedings of the FREENIX Track: USENIX Annual Technical Conference (USENIX\u201999). 183--191.","key":"e_1_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_23_1","DOI":"10.1145\/2465351.2465374"},{"volume-title":"Proceedings of the 11th 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 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 Symposium on Operating Systems Design and Implementation (OSDI\u201914).","key":"e_1_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_25_1","DOI":"10.1145\/1629575.1629591"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201908)","author":"Prabhakaran Vijayan","year":"2008","unstructured":"Vijayan Prabhakaran , Thomas L. Rodeheffer , and Lidong Zhou . 2008 . Transactional flash . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201908) . Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 147--160. Retrieved from http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/prabhakaran\/prabhakaran.pdf. Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou. 2008. Transactional flash. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201908). Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 147--160. Retrieved from http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/prabhakaran\/prabhakaran.pdf."},{"doi-asserted-by":"publisher","key":"e_1_2_1_27_1","DOI":"10.1145\/3124680.3124719"},{"key":"e_1_2_1_28_1","volume-title":"Microsoft Windows Internals: Microsoft Windows Server","author":"Russinovich Mark E.","year":"2003","unstructured":"Mark E. Russinovich , David A. Solomon , and Jim Allchin . 2005. Microsoft Windows Internals: Microsoft Windows Server 2003 , Windows XP, and Windows 2000, Vol. 4 . Microsoft Press . Mark E. Russinovich, David A. Solomon, and Jim Allchin. 2005. Microsoft Windows Internals: Microsoft Windows Server 2003, Windows XP, and Windows 2000, Vol. 4. Microsoft Press."},{"doi-asserted-by":"publisher","key":"e_1_2_1_29_1","DOI":"10.5555\/2591305.2591333"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916)","author":"Shin Ji-Yong","year":"2016","unstructured":"Ji-Yong Shin , Mahesh Balakrishnan , Tudor Marian , and Hakim Weatherspoon . 2016 . Isotope: Transactional isolation for block storage . In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916) . Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, and Hakim Weatherspoon. 2016. Isotope: Transactional isolation for block storage. In Proceedings of the 14th USENIX Conference on File and Storage Technologies (FAST\u201916)."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Spahn Riley","year":"2014","unstructured":"Riley Spahn , Jonathan Bell , Michael Lee , Sravan Bhamidipati , Roxana Geambasu , and Gail Kaiser . 2014 . Pebbles: Fine-grained data management abstractions for modern operating systems . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 113--129. Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu, and Gail Kaiser. 2014. Pebbles: Fine-grained data management abstractions for modern operating systems. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914). 113--129."},{"volume-title":"Proceedings of the 7th USENIX Conference on File and Storage Technologies, Margo I. Seltzer and Richard Wheeler (Eds.). USENIX, 29--42","author":"Spillane Richard P.","unstructured":"Richard P. Spillane , Sachin Gaikwad , Manjunath Chinni , Erez Zadok , and Charles P. Wright . 2009. Enabling transactional file access via lightweight kernel extensions . In Proceedings of the 7th USENIX Conference on File and Storage Technologies, Margo I. Seltzer and Richard Wheeler (Eds.). USENIX, 29--42 . Retrieved from http:\/\/www.usenix.org\/events\/fast09\/tech\/full_papers\/spillane\/spillane.pdf. Richard P. Spillane, Sachin Gaikwad, Manjunath Chinni, Erez Zadok, and Charles P. Wright. 2009. Enabling transactional file access via lightweight kernel extensions. In Proceedings of the 7th USENIX Conference on File and Storage Technologies, Margo I. Seltzer and Richard Wheeler (Eds.). USENIX, 29--42. Retrieved from http:\/\/www.usenix.org\/events\/fast09\/tech\/full_papers\/spillane\/spillane.pdf.","key":"e_1_2_1_32_1"},{"unstructured":"SQLite. {n.d.}. SQLite transactional SQL database engine. Retrieved from http:\/\/www.sqlite.org\/.  SQLite. {n.d.}. SQLite transactional SQL database engine. Retrieved from http:\/\/www.sqlite.org\/.","key":"e_1_2_1_33_1"},{"unstructured":"Symas. {n.d.}. OpenLDAP. Retrieved from https:\/\/www.openldap.org\/.  Symas. {n.d.}. OpenLDAP. Retrieved from https:\/\/www.openldap.org\/.","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_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 file system . In Proceedings of the 4th Annual Linux Expo. Stephen C. Tweedie. 1998. Journaling the Linux ext2fs file system. In Proceedings of the 4th Annual Linux Expo."},{"volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Verma Rajat","unstructured":"Rajat Verma , Anton Ajay Mendez , Stan Park , Sandya S. Mannarswamy , Terence Kelly , and Charles B . Morrey III. 2015. Failure-atomic updates of application data in a Linux file system . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915) . 203--211. Rajat Verma, Anton Ajay Mendez, Stan Park, Sandya S. Mannarswamy, Terence Kelly, and Charles B. Morrey III. 2015. Failure-atomic updates of application data in a Linux file system. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). 203--211.","key":"e_1_2_1_36_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_37_1","DOI":"10.1145\/1242520.1242521"}],"container-title":["ACM Transactions on Storage"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3318159","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3318159","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3318159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:34Z","timestamp":1750268974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3318159"}},"subtitle":["Leveraging File-system Crash Consistency to Provide ACID Transactions"],"short-title":[],"issued":{"date-parts":[[2019,5,8]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,5,31]]}},"alternative-id":["10.1145\/3318159"],"URL":"https:\/\/doi.org\/10.1145\/3318159","relation":{},"ISSN":["1553-3077","1553-3093"],"issn-type":[{"type":"print","value":"1553-3077"},{"type":"electronic","value":"1553-3093"}],"subject":[],"published":{"date-parts":[[2019,5,8]]},"assertion":[{"value":"2019-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}