{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T08:57:58Z","timestamp":1771577878202,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"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":[],"published-print":{"date-parts":[[2023,10,23]]},"DOI":"10.1145\/3600006.3613160","type":"proceedings-article","created":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T14:44:17Z","timestamp":1696344257000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-4544-1555","authenticated-orcid":false,"given":"Fangnuo","family":"Wu","sequence":"first","affiliation":[{"name":"Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Shanghai, China"},{"name":"Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4839-055X","authenticated-orcid":false,"given":"Mingkai","family":"Dong","sequence":"additional","affiliation":[{"name":"Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Shanghai, China"},{"name":"Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6059-1088","authenticated-orcid":false,"given":"Gequan","family":"Mo","sequence":"additional","affiliation":[{"name":"Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9720-0361","authenticated-orcid":false,"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Shanghai, China"},{"name":"Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. CRIU. https:\/\/www.criu.org\/Main_Page  2021. CRIU. https:\/\/www.criu.org\/Main_Page"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Direct Access for files. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt.  2021. Direct Access for files. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. eADR: New Opportunities for Persistent Memory Applications. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/eadr-new-opportunities-for-persistent-memory-applications.html  2021. eADR: New Opportunities for Persistent Memory Applications. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/eadr-new-opportunities-for-persistent-memory-applications.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2021. LevelDB. https:\/\/dbdb.io\/db\/leveldb  2021. LevelDB. https:\/\/dbdb.io\/db\/leveldb"},{"key":"e_1_3_2_1_5_1","unstructured":"2021. Memcached - a distributed memory object caching system. https:\/\/memcached.org\/  2021. Memcached - a distributed memory object caching system. https:\/\/memcached.org\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2021. Redis. https:\/\/redis.io\/  2021. Redis. https:\/\/redis.io\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2021. RocksDB Home Page. https:\/\/www.rocksdb.org  2021. RocksDB Home Page. https:\/\/www.rocksdb.org"},{"key":"e_1_3_2_1_8_1","unstructured":"2021. SQLite. https:\/\/sqlite.org\/  2021. SQLite. https:\/\/sqlite.org\/"},{"key":"e_1_3_2_1_9_1","unstructured":"2021. Zircon. https:\/\/fuchsia.dev\/  2021. Zircon. https:\/\/fuchsia.dev\/"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. ChCore Lab v2. https:\/\/gitee.com\/ipads-lab\/chcore-lab-v2.  2023. ChCore Lab v2. https:\/\/gitee.com\/ipads-lab\/chcore-lab-v2."},{"key":"e_1_3_2_1_11_1","unstructured":"2023. Musl Libc. https:\/\/musl.libc.org\/  2023. Musl Libc. https:\/\/musl.libc.org\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/355602.361306"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC 20)","author":"Bittman Daniel","unstructured":"Daniel Bittman , Peter Alvaro , Pankaj Mehra , Darrell D. E. Long , and Ethan L. Miller . 2020. Twizzler: a Data-Centric OS for Non-Volatile Memory . In Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC 20) . USENIX Association, 65--80. Daniel Bittman, Peter Alvaro, Pankaj Mehra, Darrell D. E. Long, and Ethan L. Miller. 2020. Twizzler: a Data-Centric OS for Non-Volatile Memory. In Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC 20). USENIX Association, 65--80."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (Santa Ana Pueblo, New Mexcio) (HotOS '13)","author":"Bugnion Edouard","year":"2013","unstructured":"Edouard Bugnion , Vitaly Chipounov , and George Candea . 2013 . Lightweight Snapshots and System-Level Backtracking . In Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (Santa Ana Pueblo, New Mexcio) (HotOS '13) . USENIX Association, 23. Edouard Bugnion, Vitaly Chipounov, and George Candea. 2013. Lightweight Snapshots and System-Level Backtracking. In Proceedings of the 14th USENIX Conference on Hot Topics in Operating Systems (Santa Ana Pueblo, New Mexcio) (HotOS '13). USENIX Association, 23."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/29321.29323"},{"key":"e_1_3_2_1_16_1","volume-title":"18th USENIX Conference on File and Storage Technologies (FAST '20)","author":"Cao Zhichao","unstructured":"Zhichao Cao , Siying Dong , Sagar Vemuri , and David H.C. Du . 2020. Characterizing, Modeling, and Benchmarking RocksDB Key-Value Workloads at Facebook . In 18th USENIX Conference on File and Storage Technologies (FAST '20) . USENIX Association, 209--223. Zhichao Cao, Siying Dong, Sagar Vemuri, and David H.C. Du. 2020. Characterizing, Modeling, and Benchmarking RocksDB Key-Value Workloads at Facebook. In 18th USENIX Conference on File and Storage Technologies (FAST '20). USENIX Association, 209--223."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660224"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/195792.195795"},{"key":"e_1_3_2_1_19_1","volume-title":"Operating System: Principles and Implementation (1 ed.)","author":"Chen Haibo","year":"2023","unstructured":"Haibo Chen and Yubin Xia . 2023 . Operating System: Principles and Implementation (1 ed.) . China Machine Press . Haibo Chen and Yubin Xia. 2023. Operating System: Principles and Implementation (1 ed.). China Machine Press."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation -","volume":"2","author":"Clark Christopher","year":"2005","unstructured":"Christopher Clark , Keir Fraser , Steven Hand , Jacob Gorm Hansen , Eric Jul , Christian Limpach , Ian Pratt , and Andrew Warfield . 2005 . Live Migration of Virtual Machines . In Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI '05). USENIX Association, 273--286. Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, and Andrew Warfield. 2005. Live Migration of Virtual Machines. In Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI '05). USENIX Association, 273--286."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950380"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_23_1","unstructured":"P. Dasgupta R. C. Chen S. Menon M. P. Pearson R. Ananthanarayanan U. Ramachandran M. Ahamad R. J. LeBlanc W. F. Appelbe J. M. Bernabeu-Auban P. W. Hutto M. Y.A. Khalidi and C. J. Wilkenloh. 1990. Design and implementation of the clouds distributed operating system. Computing systems 3 1 (December 1990) 11--46.  P. Dasgupta R. C. Chen S. Menon M. P. Pearson R. Ananthanarayanan U. Ramachandran M. Ahamad R. J. LeBlanc W. F. Appelbe J. M. Bernabeu-Auban P. W. Hutto M. Y.A. Khalidi and C. J. Wilkenloh. 1990. Design and implementation of the clouds distributed operating system. Computing systems 3 1 (December 1990) 11--46."},{"key":"e_1_3_2_1_24_1","first-page":"3","article-title":"Grasshopper","volume":"7","author":"Dearle Alan","year":"1994","unstructured":"Alan Dearle , Rex di Bona , James Farrow , Frans Henskens , Anders Lindstr\u00f6m , John Rosenberg , and Francis Vaughan . 1994 . Grasshopper : An Orthogonally Persistent Operating System. Comput. Syst. 7 , 3 (June 1994), 289--312. Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindstr\u00f6m, John Rosenberg, and Francis Vaughan. 1994. Grasshopper: An Orthogonally Persistent Operating System. Comput. Syst. 7, 3 (June 1994), 289--312.","journal-title":"An Orthogonally Persistent Operating System. Comput. Syst."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(20000410)30:4<295::AID-SPE301>3.0.CO;2-P"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_1_27_1","volume-title":"Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation","author":"Devecsery David","unstructured":"David Devecsery , Michael Chow , Xianzheng Dou , Jason Flinn , and Peter M. Chen . 2014 . Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation ( Broomfield, CO) (OSDI '14). USENIX Association, USA, 525--540. David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen. 2014. Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Broomfield, CO) (OSDI '14). USENIX Association, USA, 525--540."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_29_1","volume-title":"User-Level Checkpointing for LinuxThreads Programs. In 2001 USENIX Annual Technical Conference (USENIX ATC 01)","author":"William","unstructured":"William R. Dieter and Jr. James E. Lumpp. 2001 . User-Level Checkpointing for LinuxThreads Programs. In 2001 USENIX Annual Technical Conference (USENIX ATC 01) . USENIX Association. William R. Dieter and Jr. James E. Lumpp. 2001. User-Level Checkpointing for LinuxThreads Programs. In 2001 USENIX Annual Technical Conference (USENIX ATC 01). USENIX Association."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378512"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595642"},{"key":"e_1_3_2_1_32_1","volume-title":"Rashid","author":"Golub David B.","year":"1990","unstructured":"David B. Golub , Randall W. Dean , Alessandro Forin , and Richard F . Rashid . 1990 . UNIX as an Application Program. In USENIX Summer . David B. Golub, Randall W. Dean, Alessandro Forin, and Richard F. Rashid. 1990. UNIX as an Application Program. In USENIX Summer."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/858336.858337"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 17th Australasian Computer Science Conference (ACSC)","author":"Heiser Gernot","year":"1994","unstructured":"Gernot Heiser , Kevin Elphinstone , Stephen Russell , and Jerry Vochteloo . 1994 . Mungi: A Distributed Single-Address-Space Operating System . In Proceedings of the 17th Australasian Computer Science Conference (ACSC) . Christchurch, New Zealand, 271--80. Gernot Heiser, Kevin Elphinstone, Stephen Russell, and Jerry Vochteloo. 1994. Mungi: A Distributed Single-Address-Space Operating System. In Proceedings of the 17th Australasian Computer Science Conference (ACSC). Christchurch, New Zealand, 271--80."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1618525.1618528"},{"key":"e_1_3_2_1_36_1","volume-title":"2023 USENIX Annual Technical Conference (USENIX ATC 23)","author":"Hodgkins George","year":"2023","unstructured":"George Hodgkins , Yi Xu , Steven Swanson , and Joseph Izraelevitz . 2023 . Zhuque: Failure is Not an Option, it's an Exception . In 2023 USENIX Annual Technical Conference (USENIX ATC 23) (Boston, MA). USENIX Association, 833--849. George Hodgkins, Yi Xu, Steven Swanson, and Joseph Izraelevitz. 2023. Zhuque: Failure is Not an Option, it's an Exception. In 2023 USENIX Annual Technical Conference (USENIX ATC 23) (Boston, MA). USENIX Association, 833--849."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the Twelfth European Conference on Computer Systems","author":"Ching-Hsiang Hsu Terry","year":"2017","unstructured":"Terry Ching-Hsiang Hsu , Helge Br\u00fcgner , Indrajit Roy , Kimberly Keeton , and Patrick Eugster . 2017 . NVthreads: Practical Persistence for Multi-threaded Applications . In Proceedings of the Twelfth European Conference on Computer Systems ( Belgrade, Serbia) (EuroSys '17). Association for Computing Machinery, New York, NY, USA, 468--482. Terry Ching-Hsiang Hsu, Helge Br\u00fcgner, Indrajit Roy, Kimberly Keeton, and Patrick Eugster. 2017. NVthreads: Practical Persistence for Multi-threaded Applications. In Proceedings of the Twelfth European Conference on Computer Systems (Belgrade, Serbia) (EuroSys '17). Association for Computing Machinery, New York, NY, USA, 468--482."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems (IWOOOS '95)","author":"Hulse D.","year":"1995","unstructured":"D. Hulse . 1995 . On Page-Based Optimistic Process Checkpointing . In Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems (IWOOOS '95) . IEEE Computer Society, USA, 24. D. Hulse. 1995. On Page-Based Optimistic Process Checkpointing. In Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems (IWOOOS '95). IEEE Computer Society, USA, 24."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2768405.2768406"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1962.5219356"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWOOOS.1992.252995"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","article-title":"Debugging Parallel Programs with Instant Replay","volume":"4","author":"Mellor-Crummey Leblanc","year":"1987","unstructured":"Leblanc and Mellor-Crummey . 1987 . Debugging Parallel Programs with Instant Replay . IEEE Trans. Comput. C-36 , 4 (1987), 471 -- 482 . Leblanc and Mellor-Crummey. 1987. Debugging Parallel Programs with Instant Replay. IEEE Trans. Comput. C-36, 4 (1987), 471--482.","journal-title":"IEEE Trans. Comput. C-36"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Lenharth Andrew","unstructured":"Andrew Lenharth , Vikram S. Adve , and Samuel T. King . 2009. Recovery Domains: An Organizing Principle for Recoverable Operating Systems . In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems ( Washington, DC, USA) (ASPLOS XIV). Association for Computing Machinery, New York, NY, USA, 49--60. Andrew Lenharth, Vikram S. Adve, and Samuel T. King. 2009. Recovery Domains: An Organizing Principle for Recoverable Operating Systems. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (Washington, DC, USA) (ASPLOS XIV). Association for Computing Machinery, New York, NY, USA, 49--60."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.536480"},{"key":"e_1_3_2_1_46_1","unstructured":"Henry M. Levy. 1984. Capability-Based Computer Systems. Butterworth-Heinemann USA.  Henry M. Levy. 1984. Capability-Based Computer Systems. Butterworth-Heinemann USA."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWOOOS.1993.324932"},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems","author":"Marathe Virendra J.","year":"2017","unstructured":"Virendra J. Marathe , Margo Seltzer , Steve Byan , and Tim Harris . 2017 . Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory . In Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems ( Santa Clara, CA) (HotStorage '17). USENIX Association, 4. Virendra J. Marathe, Margo Seltzer, Steve Byan, and Tim Harris. 2017. Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory. In Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems (Santa Clara, CA) (HotStorage '17). USENIX Association, 4."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291172"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.53354"},{"key":"e_1_3_2_1_52_1","volume-title":"Whole-System Persistence. In Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Narayanan Dushyanth","year":"2012","unstructured":"Dushyanth Narayanan and Orion Hodson . 2012 . Whole-System Persistence. In Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems ( London, England, UK) (ASPLOS XVII). Association for Computing Machinery, New York, NY, USA, 401--410. Dushyanth Narayanan and Orion Hodson. 2012. Whole-System Persistence. In Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems (London, England, UK) (ASPLOS XVII). Association for Computing Machinery, New York, NY, USA, 401--410."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168886"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298457"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060323"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation","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 Conference on Operating Systems Design and Implementation ( Broomfield, CO) (OSDI '14). USENIX Association, 433--448. 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 Conference on Operating Systems Design and Implementation (Broomfield, CO) (OSDI '14). USENIX Association, 433--448."},{"key":"e_1_3_2_1_59_1","volume-title":"USENIX 1995 Technical Conference (USENIX 1995 Technical Conference). USENIX Association","author":"Plank James S.","year":"1995","unstructured":"James S. Plank , Micah Beck , Gerry Kingsley , and Kai Li . 1995 . Libckpt: Transparent Checkpointing under UNIX . In USENIX 1995 Technical Conference (USENIX 1995 Technical Conference). USENIX Association , New Orleans, LA. James S. Plank, Micah Beck, Gerry Kingsley, and Kai Li. 1995. Libckpt: Transparent Checkpointing under UNIX. In USENIX 1995 Technical Conference (USENIX 1995 Technical Conference). USENIX Association, New Orleans, LA."},{"key":"e_1_3_2_1_60_1","volume-title":"Evaluating MapReduce for Multi-core and Multiprocessor Systems. 2007 IEEE 13th International Symposium on High Performance Computer Architecture, 13--24","author":"Ranger Colby","year":"2007","unstructured":"Colby Ranger , Ramanan Raghuraman , Arun Penmetsa , Gary Bradski , and Christos Kozyrakis . 2007 . Evaluating MapReduce for Multi-core and Multiprocessor Systems. 2007 IEEE 13th International Symposium on High Performance Computer Architecture, 13--24 . Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, Gary Bradski, and Christos Kozyrakis. 2007. Evaluating MapReduce for Multi-core and Multiprocessor Systems. 2007 IEEE 13th International Symposium on High Performance Computer Architecture, 13--24."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067627.806593"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/358818.358822"},{"key":"e_1_3_2_1_63_1","unstructured":"John Rosenberg and David Abramson. 1985. MONADS-PC - a capability-based workstation to support software engineering.  John Rosenberg and David Abramson. 1985. MONADS-PC - a capability-based workstation to support software engineering."},{"key":"e_1_3_2_1_64_1","unstructured":"Marc Rozier Vadim Abrossimov Fran\u00e7ois Armand Ivan Boule Michel Gien Marc Guillemont Fr\u00e9d\u00e9ric Herrmann Claude Kaiser Sylvain Langlois and Will Neuhauser. 1991. Overview of the CHORUS \u00ae Distributed Operating Systems.  Marc Rozier Vadim Abrossimov Fran\u00e7ois Armand Ivan Boule Michel Gien Marc Guillemont Fr\u00e9d\u00e9ric Herrmann Claude Kaiser Sylvain Langlois and Will Neuhauser. 1991. Overview of the CHORUS \u00ae Distributed Operating Systems."},{"key":"e_1_3_2_1_65_1","volume-title":"Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (ATC '02)","author":"Jonathan","unstructured":"Jonathan S. Shapiro and Jonathan Adams. 2002. Design Evolution of the EROS Single-Level Store . In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (ATC '02) . USENIX Association, 59--72. Jonathan S. Shapiro and Jonathan Adams. 2002. Design Evolution of the EROS Single-Level Store. In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (ATC '02). USENIX Association, 59--72."},{"key":"e_1_3_2_1_66_1","volume-title":"Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles","author":"Shapiro Jonathan S.","unstructured":"Jonathan S. Shapiro , Jonathan M. Smith , and David J. Farber . 1999. EROS: A Fast Capability System . In Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles ( Charleston, South Carolina, USA) (SOSP '99). Association for Computing Machinery, 170--185. Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. 1999. EROS: A Fast Capability System. In Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles (Charleston, South Carolina, USA) (SOSP '99). Association for Computing Machinery, 170--185."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026879"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45498-5_18"},{"key":"e_1_3_2_1_69_1","volume-title":"Computing and Communications Conference (IPCCC '99)","author":"Skousen Alan","year":"1999","unstructured":"Alan Skousen and Donald Miller . 1999 . Using a single address space operating system for distributed computing and high performance. In the 18th IEEE International Performance , Computing and Communications Conference (IPCCC '99) . 8--14. Alan Skousen and Donald Miller. 1999. Using a single address space operating system for distributed computing and high performance. In the 18th IEEE International Performance, Computing and Communications Conference (IPCCC '99). 8--14."},{"key":"e_1_3_2_1_70_1","volume-title":"Transactional IPC in Fiasco.OC. OSPERT 2015","author":"Smejkal Till","year":"2015","unstructured":"Till Smejkal , Adam Lackorzynski , Benjamin Engel , and Marcus V\u00f6lp . 2015 . Transactional IPC in Fiasco.OC. OSPERT 2015 (2015), 19. Till Smejkal, Adam Lackorzynski, Benjamin Engel, and Marcus V\u00f6lp. 2015. Transactional IPC in Fiasco.OC. OSPERT 2015 (2015), 19."},{"key":"e_1_3_2_1_71_1","volume-title":"Inside the AS\/400","author":"Soltis Frank G.","unstructured":"Frank G. Soltis . 1996. Inside the AS\/400 . Twenty Ninth Street Press . Frank G. Soltis. 1996. Inside the AS\/400. Twenty Ninth Street Press."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465285"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483563"},{"key":"e_1_3_2_1_74_1","volume-title":"Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)","author":"Tullmann P.","unstructured":"P. Tullmann , J. Lepreau , B. Ford , and M. Hibler . 1996. User-Level Checkpointing through Exportable Kernel State . In Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96) . IEEE Computer Society, USA, 85. P. Tullmann, J. Lepreau, B. Ford, and M. Hibler. 1996. User-Level Checkpointing through Exportable Kernel State. In Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96). IEEE Computer Society, USA, 85."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446714"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814576.2814802"},{"key":"e_1_3_2_1_77_1","volume-title":"Andres Jaan Tack, and Michael M. Swift","author":"Volos Haris","year":"2011","unstructured":"Haris Volos , Andres Jaan Tack, and Michael M. Swift . 2011 . Mnemosyne : Lightweight Persistent Memory. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI). Association for Computing Machinery , 91--104. Haris Volos, Andres Jaan Tack, and Michael M. Swift. 2011. Mnemosyne: Lightweight Persistent Memory. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI). Association for Computing Machinery, 91--104."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386000"},{"key":"e_1_3_2_1_79_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation","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 ( Seattle, Washington) (OSDI '06). USENIX Association, 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 (Seattle, Washington) (OSDI '06). USENIX Association, 131--146."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685051"}],"event":{"name":"SOSP '23: 29th Symposium on Operating Systems Principles","location":"Koblenz Germany","acronym":"SOSP '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the 29th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613160","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:49Z","timestamp":1750178209000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":80,"alternative-id":["10.1145\/3600006.3613160","10.1145\/3600006"],"URL":"https:\/\/doi.org\/10.1145\/3600006.3613160","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}