{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T15:32:53Z","timestamp":1778599973026,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1751277"],"award-info":[{"award-number":["1751277"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["SHF-CCF-1712067"],"award-info":[{"award-number":["SHF-CCF-1712067"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"UT Austin-Portugal BigHPC","award":["POCI-01-0247-FEDER-045924"],"award-info":[{"award-number":["POCI-01-0247-FEDER-045924"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3567498","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"718-733","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3680-496X","authenticated-orcid":false,"given":"Hayley","family":"LeBlanc","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, Texas, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9253-9585","authenticated-orcid":false,"given":"Shankara","family":"Pailoor","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6179-214X","authenticated-orcid":false,"given":"Om Saran","family":"K R E","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8006-1230","authenticated-orcid":false,"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3258-3226","authenticated-orcid":false,"given":"James","family":"Bornholt","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, Texas, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7985-6087","authenticated-orcid":false,"given":"Vijay","family":"Chidambaram","sequence":"additional","affiliation":[{"name":"University of Texas at Austin and VMware Research, Austin, Texas, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"169","volume-title":"18th USENIX Conference on File and Storage Technologies, FAST 2020","author":"Yang Jian","year":"2020","unstructured":"Jian Yang , Juno Kim , Morteza Hoseinzadeh , Joseph Izraelevitz , and Steven Swanson . An empirical guide to the behavior and use of scalable persistent memory . In 18th USENIX Conference on File and Storage Technologies, FAST 2020 , Santa Clara, CA, USA, February 24--27 , 2020 , pages 169 -- 182 , 2020. Jian Yang, Juno Kim, Morteza Hoseinzadeh, Joseph Izraelevitz, and Steven Swanson. An empirical guide to the behavior and use of scalable persistent memory. In 18th USENIX Conference on File and Storage Technologies, FAST 2020, Santa Clara, CA, USA, February 24--27, 2020, pages 169--182, 2020."},{"key":"e_1_3_2_1_2_1","volume-title":"Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the intel optane DC persistent memory module. CoRR, abs\/1903.05714","author":"Izraelevitz Joseph","year":"2019","unstructured":"Joseph Izraelevitz , Jian Yang , Lu Zhang , Juno Kim , Xiao Liu , Amirsaman Memaripour , Yun Joon Soh , Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the intel optane DC persistent memory module. CoRR, abs\/1903.05714 , 2019 . Joseph Izraelevitz, Jian Yang, Lu Zhang, Juno Kim, Xiao Liu, Amirsaman Memaripour, Yun Joon Soh, Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the intel optane DC persistent memory module. CoRR, abs\/1903.05714, 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629589"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950379"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/mm.2010.24"},{"key":"e_1_3_2_1_6_1","unstructured":"Intel Optane Persistent Memory. https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optane-dc-persistent-memory.html.  Intel Optane Persistent Memory. https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optane-dc-persistent-memory.html."},{"key":"e_1_3_2_1_7_1","unstructured":"Intel Corporation. Persistent memory development kit. https:\/\/pmem.io\/pmdk\/.  Intel Corporation. Persistent memory development kit. https:\/\/pmem.io\/pmdk\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Intel Corporation. Redis. https:\/\/github.com\/pmem\/redis.  Intel Corporation. Redis. https:\/\/github.com\/pmem\/redis."},{"key":"e_1_3_2_1_9_1","first-page":"897","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Zhang Lu","year":"2019","unstructured":"Lu Zhang and Steven Swanson . Pangolin : A fault-tolerant persistent memory programming library . In 2019 USENIX Annual Technical Conference (USENIX ATC 19) , pages 897 -- 912 , Renton, WA , July 2019 . USENIX Association. Lu Zhang and Steven Swanson. Pangolin: A fault-tolerant persistent memory programming library. In 2019 USENIX Annual Technical Conference (USENIX ATC 19), pages 897--912, Renton, WA, July 2019. USENIX Association."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276523"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178490"},{"key":"e_1_3_2_1_13_1","first-page":"167","volume-title":"13th USENIX Conference on File and Storage Technologies (FAST 15)","author":"Yang Jun","year":"2015","unstructured":"Jun Yang , Qingsong Wei , Cheng Chen , Chundong Wang , Khai Leong Yong , and Bingsheng He. Nv-tree : Reducing consistency cost for nvm-based single level systems . In 13th USENIX Conference on File and Storage Technologies (FAST 15) , pages 167 -- 181 , Santa Clara, CA , February 2015 . USENIX Association. Jun Yang, Qingsong Wei, Cheng Chen, Chundong Wang, Khai Leong Yong, and Bingsheng He. Nv-tree: Reducing consistency cost for nvm-based single level systems. In 13th USENIX Conference on File and Storage Technologies (FAST 15), pages 167--181, Santa Clara, CA, February 2015. USENIX Association."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167972"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037730"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592810"},{"key":"e_1_3_2_1_17_1","first-page":"323","volume-title":"14th USENIX Conference on File and Storage Technologies (FAST 16)","author":"Xu Jian","year":"2016","unstructured":"Jian Xu and Steven Swanson . NOVA : A log-structured file system for hybrid volatile\/non-volatile main memories . In 14th USENIX Conference on File and Storage Technologies (FAST 16) , pages 323 -- 338 , Santa Clara, CA , February 2016 . USENIX Association. Jian Xu and Steven Swanson. NOVA: A log-structured file system for hybrid volatile\/non-volatile main memories. In 14th USENIX Conference on File and Storage Technologies (FAST 16), pages 323--338, Santa Clara, CA, February 2016. USENIX Association."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592814"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483567"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132770"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359637"},{"key":"e_1_3_2_1_23_1","first-page":"1011","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Anderson Thomas E.","year":"2020","unstructured":"Thomas E. Anderson , Marco Canini , Jongyul Kim , Dejan Kosti\u0107 , Youngjin Kwon , Simon Peter , Waleed Reda , Henry N. Schuh , and Emmett Witchel . Assise : Performance and availability via client-local NVM in a distributed file system . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) , pages 1011 -- 1027 . USENIX Association , November 2020 . Thomas E. Anderson, Marco Canini, Jongyul Kim, Dejan Kosti\u0107, Youngjin Kwon, Simon Peter, Waleed Reda, Henry N. Schuh, and Emmett Witchel. Assise: Performance and availability via client-local NVM in a distributed file system. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 1011--1027. USENIX Association, November 2020."},{"key":"e_1_3_2_1_24_1","first-page":"49","volume-title":"Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI '94)","author":"Gregory","year":"1994","unstructured":"Gregory R. Ganger and Yale N. Patt. Metadata update performance in file systems . In Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI '94) , pages 49 -- 60 , Monterey, California , November 1994 . Gregory R. Ganger and Yale N. Patt. Metadata update performance in file systems. In Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI '94), pages 49--60, Monterey, California, November 1994."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2788401"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872406"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320275"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_30_1","first-page":"131","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 . 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 , page 131 -- 146 , USA, 2006 . USENIX Association. Junfeng Yang, Can Sar, and Dawson Engler. 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, page 131--146, USA, 2006. USENIX Association."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132761"},{"key":"e_1_3_2_1_32_1","volume-title":"https:\/\/github.com\/google\/syzkaller\/","year":"2021","unstructured":"Syzkaller. https:\/\/github.com\/google\/syzkaller\/ , 2021 . Syzkaller. https:\/\/github.com\/google\/syzkaller\/, 2021."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_1_35_1","volume-title":"https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/discover-persistent-memory-programming-errors-with-pmemcheck.html","author":"Memory Programming Discover Persistent","year":"2018","unstructured":"Discover Persistent Memory Programming Errors with Pmemcheck . https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/discover-persistent-memory-programming-errors-with-pmemcheck.html , 2018 . Discover Persistent Memory Programming Errors with Pmemcheck. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/discover-persistent-memory-programming-errors-with-pmemcheck.html, 2018."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_3_2_1_37_1","first-page":"503","volume-title":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021","author":"Di Bang","year":"2021","unstructured":"Bang Di , Jiawen Liu , Hao Chen , and Dong Li. Fast , flexible , and comprehensive bug detection for persistent memory programs . In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021 , page 503 -- 516 , New York, NY, USA , 2021 . Association for Computing Machinery. Bang Di, Jiawen Liu, Hao Chen, and Dong Li. Fast, flexible, and comprehensive bug detection for persistent memory programs. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021, page 503--516, New York, NY, USA, 2021. Association for Computing Machinery."},{"key":"e_1_3_2_1_38_1","first-page":"1047","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Neal Ian","year":"2020","unstructured":"Ian Neal , Ben Reeves , Ben Stoler , Andrew Quinn , Youngjin Kwon , Simon Peter , and Baris Kasikci . AGAMOTTO : How persistent is your persistent memory application? In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) , pages 1047 -- 1064 . USENIX Association , November 2020 . Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, and Baris Kasikci. AGAMOTTO: How persistent is your persistent memory application? In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 1047--1064. USENIX Association, November 2020."},{"key":"e_1_3_2_1_39_1","first-page":"100","volume-title":"Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP '21","author":"Fu Xinwei","year":"2021","unstructured":"Xinwei Fu , Wook-Hee Kim , Ajay Paddayuru Shreepathi , Mohannad Ismail , Sunny Wadkar , Dongyoon Lee , and Changwoo Min . Witcher : Systematic crash consistency testing for non-volatile memory key-value stores . In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP '21 , page 100 -- 115 , New York, NY, USA , 2021 . Association for Computing Machinery. Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, and Changwoo Min. Witcher: Systematic crash consistency testing for non-volatile memory key-value stores. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP '21, page 100--115, New York, NY, USA, 2021. Association for Computing Machinery."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_2_1_41_1","first-page":"433","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC 14)","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz , Subramanya Dulloor , Sanjay Kumar , Rajesh Sankaran , and Jeff Jackson . Yat : A validation framework for persistent memory software . In 2014 USENIX Annual Technical Conference (USENIX ATC 14) , pages 433 -- 438 , Philadelphia, PA , June 2014 . USENIX Association. Philip Lantz, Subramanya Dulloor, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson. Yat: A validation framework for persistent memory software. In 2014 USENIX Annual Technical Conference (USENIX ATC 14), pages 433--438, Philadelphia, PA, June 2014. USENIX Association."},{"key":"e_1_3_2_1_42_1","unstructured":"Kernel Probes (Kprobes). https:\/\/www.kernel.org\/doc\/Documentation\/kprobes.txt.  Kernel Probes (Kprobes). https:\/\/www.kernel.org\/doc\/Documentation\/kprobes.txt."},{"key":"e_1_3_2_1_43_1","unstructured":"Uprobe-tracer: Uprobe-based event tracing. https:\/\/www.kernel.org\/doc\/html\/latest\/trace\/uprobetracer.html.  Uprobe-tracer: Uprobe-based event tracing. https:\/\/www.kernel.org\/doc\/html\/latest\/trace\/uprobetracer.html."},{"key":"e_1_3_2_1_44_1","volume-title":"https:\/\/pubs.opengroup.org\/onlinepubs\/9699919799\/","author":"The Open Group Base Specifications Issue 7.","year":"2018","unstructured":"The Open Group Base Specifications Issue 7. https:\/\/pubs.opengroup.org\/onlinepubs\/9699919799\/ , 2018 . The Open Group Base Specifications Issue 7. https:\/\/pubs.opengroup.org\/onlinepubs\/9699919799\/, 2018."},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI '14)","author":"Pillai Thanumalayan Sankaranarayana","year":"2014","unstructured":"Thanumalayan Sankaranarayana Pillai , Vijay Chidambaram , Ramnatthan Alagappan , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 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 '14) , Broomfield, CO , October 2014 . Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 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 '14), Broomfield, CO, October 2014."},{"key":"e_1_3_2_1_46_1","unstructured":"R. McMillan. Amazon Blames Generators For Blackout That Crushed Netflix. http:\/\/www.wired.com\/wiredenterprise\/2012\/07\/amazonexplains\/ 2012.  R. McMillan. Amazon Blames Generators For Blackout That Crushed Netflix. http:\/\/www.wired.com\/wiredenterprise\/2012\/07\/amazonexplains\/ 2012."},{"key":"e_1_3_2_1_47_1","unstructured":"R. Miller. Data Center Outage Cited In Visa Downtime Across Canada. http:\/\/www.datacenterknowledge.com\/archives\/2013\/01\/28\/data-center-outage-cited-in-visa-downtime-across-canada\/ 2013.  R. Miller. Data Center Outage Cited In Visa Downtime Across Canada. http:\/\/www.datacenterknowledge.com\/archives\/2013\/01\/28\/data-center-outage-cited-in-visa-downtime-across-canada\/ 2013."},{"key":"e_1_3_2_1_48_1","unstructured":"R. Miller. Power Outage Knocks Dreamhost Customers Offline. http:\/\/www.datacenterknowledge.com\/archives\/2013\/03\/20\/power-outage-knocks-dreamhost-customers-offline\/ 2013.  R. Miller. Power Outage Knocks Dreamhost Customers Offline. http:\/\/www.datacenterknowledge.com\/archives\/2013\/03\/20\/power-outage-knocks-dreamhost-customers-offline\/ 2013."},{"key":"e_1_3_2_1_49_1","volume-title":"No Access, Now What? http:\/\/www.govtech.com\/state\/Fire-in-your-Data-Center-No-Power-No-Access-Now-What.html","author":"Wolffradt R. S. V","year":"2014","unstructured":"R. S. V Wolffradt . Fire In Your Data Center: No Power , No Access, Now What? http:\/\/www.govtech.com\/state\/Fire-in-your-Data-Center-No-Power-No-Access-Now-What.html , 2014 . R. S. V Wolffradt. Fire In Your Data Center: No Power, No Access, Now What? http:\/\/www.govtech.com\/state\/Fire-in-your-Data-Center-No-Power-No-Access-Now-What.html, 2014."},{"key":"e_1_3_2_1_50_1","unstructured":"J. Verge. Internap Data Center Outage Takes Down Livestream And Stackexchange. http:\/\/www.datacenterknowledge.com\/archives\/2014\/05\/16\/internap-data-center-outage-takes-livestream-stackexchange\/ 2014.  J. Verge. Internap Data Center Outage Takes Down Livestream And Stackexchange. http:\/\/www.datacenterknowledge.com\/archives\/2014\/05\/16\/internap-data-center-outage-takes-livestream-stackexchange\/ 2014."},{"key":"e_1_3_2_1_51_1","volume-title":"http:\/\/www.datacenterknowledge.com\/archives\/2012\/07\/10\/power-outage-hits-london-data-center\/","author":"R. Miller. Power Outage Hits London Data Center","year":"2012","unstructured":"R. Miller. Power Outage Hits London Data Center . http:\/\/www.datacenterknowledge.com\/archives\/2012\/07\/10\/power-outage-hits-london-data-center\/ , 2012 . R. Miller. Power Outage Hits London Data Center. http:\/\/www.datacenterknowledge.com\/archives\/2012\/07\/10\/power-outage-hits-london-data-center\/, 2012."},{"key":"e_1_3_2_1_52_1","unstructured":"Intel Optane DC Persistent Memory Quick Start Guide. https:\/\/www.intel.com\/content\/dam\/support\/us\/en\/documents\/memory-and-storage\/data-center-persistent-mem\/Intel-Optane-DC-Persistent-Memory-Quick-Start-Guide.pdf.  Intel Optane DC Persistent Memory Quick Start Guide. https:\/\/www.intel.com\/content\/dam\/support\/us\/en\/documents\/memory-and-storage\/data-center-persistent-mem\/Intel-Optane-DC-Persistent-Memory-Quick-Start-Guide.pdf."},{"key":"e_1_3_2_1_53_1","unstructured":"Direct Access for files. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt.  Direct Access for files. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt."},{"key":"e_1_3_2_1_54_1","first-page":"933","volume-title":"2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Kalbfleisch Samuel","year":"2022","unstructured":"Samuel Kalbfleisch , Lukas Werling , and Frank Bellosa . Vinter : Automatic Non-Volatile memory crash consistency testing for full systems . In 2022 USENIX Annual Technical Conference (USENIX ATC 22) , pages 933 -- 950 , Carlsbad, CA , July 2022 . USENIX Association. Samuel Kalbfleisch, Lukas Werling, and Frank Bellosa. Vinter: Automatic Non-Volatile memory crash consistency testing for full systems. In 2022 USENIX Annual Technical Conference (USENIX ATC 22), pages 933--950, Carlsbad, CA, July 2022. USENIX Association."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843859.2843867"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065022"},{"key":"e_1_3_2_1_57_1","unstructured":"Program instrumentation options. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Instrumentation-Options.html.  Program instrumentation options. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Instrumentation-Options.html."},{"key":"e_1_3_2_1_59_1","first-page":"415","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Fonseca Pedro","year":"2014","unstructured":"Pedro Fonseca , Rodrigo Rodrigues , and Bj\u00f6rn B. Brandenburg . SKI: Exposing kernel concurrency bugs through systematic schedule exploration . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) , pages 415 -- 431 , Broomfield, CO , October 2014 . USENIX Association. Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B. Brandenburg. SKI: Exposing kernel concurrency bugs through systematic schedule exploration. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), pages 415--431, Broomfield, CO, October 2014. USENIX Association."},{"key":"e_1_3_2_1_60_1","volume-title":"https:\/\/news.samsung.com\/global\/samsung-electronics-introduces-industrys-first-512gb-cxl-memory-module","author":"Samsung","year":"2022","unstructured":"Samsung electronics introduces industry's first 512gb CXL memory module. https:\/\/news.samsung.com\/global\/samsung-electronics-introduces-industrys-first-512gb-cxl-memory-module , 2022 . Samsung electronics introduces industry's first 512gb CXL memory module. https:\/\/news.samsung.com\/global\/samsung-electronics-introduces-industrys-first-512gb-cxl-memory-module, 2022."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665712"},{"key":"e_1_3_2_1_62_1","volume-title":"Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the Intel Optane DC Persistent Memory Module. CoRR, abs\/1903.05714","author":"Izraelevitz Joseph","year":"2019","unstructured":"Joseph Izraelevitz , Jian Yang , Lu Zhang , Juno Kim , Xiao Liu , Amirsaman Memaripour , Yun Joon Soh , Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the Intel Optane DC Persistent Memory Module. CoRR, abs\/1903.05714 , 2019 . Joseph Izraelevitz, Jian Yang, Lu Zhang, Juno Kim, Xiao Liu, Amirsaman Memaripour, Yun Joon Soh, Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. Basic performance measurements of the Intel Optane DC Persistent Memory Module. CoRR, abs\/1903.05714, 2019."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00060"},{"key":"e_1_3_2_1_64_1","unstructured":"OSS-Fuzz. https:\/\/github.com\/google\/oss-fuzz.  OSS-Fuzz. https:\/\/github.com\/google\/oss-fuzz."},{"key":"e_1_3_2_1_65_1","volume-title":"Proceedings of the 2020 USENIX Annual Technical Conference (USENIX ATC '20). USENIX Association","author":"Keahey Kate","year":"2020","unstructured":"Kate Keahey , Jason Anderson , Zhuo Zhen , Pierre Riteau , Paul Ruth , Dan Stanzione , Mert Cevik , Jacob Colleran , Haryadi S. Gunawi , Cody Hammock , Joe Mambretti , Alexander Barnes , Fran\u00e7ois Halbach , Alex Rocha , and Joe Stubbs . Lessons learned from the chameleon testbed . In Proceedings of the 2020 USENIX Annual Technical Conference (USENIX ATC '20). USENIX Association , July 2020 . Kate Keahey, Jason Anderson, Zhuo Zhen, Pierre Riteau, Paul Ruth, Dan Stanzione, Mert Cevik, Jacob Colleran, Haryadi S. Gunawi, Cody Hammock, Joe Mambretti, Alexander Barnes, Fran\u00e7ois Halbach, Alex Rocha, and Joe Stubbs. Lessons learned from the chameleon testbed. In Proceedings of the 2020 USENIX Annual Technical Conference (USENIX ATC '20). USENIX Association, July 2020."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.538605"},{"key":"e_1_3_2_1_67_1","unstructured":"Bug 15910 - zero-length files and performance degradation 2010. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=15910.  Bug 15910 - zero-length files and performance degradation 2010. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=15910."},{"key":"e_1_3_2_1_68_1","volume-title":"March","author":"Corbet Jonathan","year":"2009","unstructured":"Jonathan Corbet . ext4 and data loss , March 2009 . http:\/\/lwn.net\/Articles\/322823\/. Jonathan Corbet. ext4 and data loss, March 2009. http:\/\/lwn.net\/Articles\/322823\/."},{"key":"e_1_3_2_1_69_1","volume-title":"June","author":"Boichat Nicolas","year":"2015","unstructured":"Nicolas Boichat . Issue 502898: ext4: Filesystem corruption on panic , June 2015 . https:\/\/code.google.com\/p\/chromium\/issues\/detail?id=502898. Nicolas Boichat. Issue 502898: ext4: Filesystem corruption on panic, June 2015. https:\/\/code.google.com\/p\/chromium\/issues\/detail?id=502898."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483540"},{"key":"e_1_3_2_1_71_1","first-page":"273","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation, 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 Proceedings of the 6th Symposium on Operating Systems Design and Implementation, OSDI '04 , page 273 -- 287 , USA, 2004 . USENIX Association. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using model checking to find serious file system errors. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, OSDI '04, page 273--287, USA, 2004. USENIX Association."}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","location":"Rome Italy","acronym":"EuroSys '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3567498","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3567498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:39Z","timestamp":1750178859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":69,"alternative-id":["10.1145\/3552326.3567498","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3567498","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}