{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:31:43Z","timestamp":1754159503759,"version":"3.41.2"},"reference-count":80,"publisher":"Association for Computing Machinery (ACM)","issue":"3","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62132014 and 62141219"],"award-info":[{"award-number":["62132014 and 62141219"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Syst."],"published-print":{"date-parts":[[2025,8,31]]},"abstract":"<jats:p>Whole-system persistence promises simplified application deployment and near-instantaneous recovery. This can be implemented using single-level store (SLS) through periodic checkpointing of ephemeral state to persistent devices. However, traditional SLSs suffer from two main issues on checkpointing efficiency and external synchrony, which are critical for low-latency services with persistence need.<\/jats:p>\n          <jats:p>In this article, we note that the decentralized state of microkernel-based systems can be exploited to simplify and optimize state checkpointing. To this end, we propose TreeSLS, a whole-system persistent microkernel that simplifies the whole-system state maintenance to a capability tree and a failure-resilient checkpoint manager. TreeSLS further exploits the emerging non-volatile memory to minimize checkpointing pause time by eliminating the distinction between ephemeral and persistent devices. With efficient state maintenance, TreeSLS further proposes delayed external visibility to provide transparent external synchrony with little overhead. Evaluation on microbenchmarks and real-world applications (e.g., Memcached, Redis, and RocksDB) show that TreeSLS can complete a whole-system persistence in around 100\u00a0\u03bcs and even take a checkpoint every 1\u00a0ms with reasonable overhead to applications.<\/jats:p>","DOI":"10.1145\/3742425","type":"journal-article","created":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T07:39:13Z","timestamp":1750837153000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel"],"prefix":"10.1145","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4839-055X","authenticated-orcid":false,"given":"Mingkai","family":"Dong","sequence":"first","affiliation":[{"name":"School of Computer Science, Shanghai Jiao Tong University","place":["Shanghai, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4544-1555","authenticated-orcid":false,"given":"Fangnuo","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Computer Science, Shanghai Jiao Tong University","place":["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":"School of Computer Science, Shanghai Jiao Tong University","place":["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":"School of Computer Science, Shanghai Jiao Tong University","place":["Shanghai, China"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,25]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"2025. ChCore Lab v2. Retrieved July 1 2025 from https:\/\/gitee.com\/ipads-lab\/chcore-lab-v2"},{"key":"e_1_3_2_3_2","unstructured":"2025. CRIU. (2025). Retrieved July 1 2025 from https:\/\/www.criu.org\/Main_Page"},{"key":"e_1_3_2_4_2","unstructured":"2025. Direct Access for Files. (2025). Retrieved July 1 2025 from https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt"},{"key":"e_1_3_2_5_2","unstructured":"2025. eADR: New Opportunities for Persistent Memory Applications. (2025). Retrieved July 1 2025 from https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/eadr-new-opportunities-for-persistent-memory-applications.html"},{"key":"e_1_3_2_6_2","unstructured":"2025. LevelDB. (2025). Retrieved July 1 2025 from https:\/\/dbdb.io\/db\/leveldb"},{"key":"e_1_3_2_7_2","unstructured":"2025. Memcached - a Distributed Memory Object Caching System. (2025). Retrieved July 1 2025 from https:\/\/memcached.org\/"},{"key":"e_1_3_2_8_2","unstructured":"2025. Musl Libc. (2025). Retrieved July 1 2025 from https:\/\/musl.libc.org\/"},{"key":"e_1_3_2_9_2","unstructured":"2025. Redis. (2025). Retrieved July 1 2025 from https:\/\/redis.io\/"},{"key":"e_1_3_2_10_2","unstructured":"2025. RocksDB Home Page. (2025). Retrieved July 1 2025 from https:\/\/www.rocksdb.org"},{"key":"e_1_3_2_11_2","unstructured":"2025. SQLite. (2025). Retrieved July 1 2025 from https:\/\/sqlite.org\/"},{"key":"e_1_3_2_12_2","unstructured":"2025. Zircon. (2025). Retrieved July 1 2025 from https:\/\/fuchsia.dev\/"},{"key":"e_1_3_2_13_2","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/355602.361306","article-title":"The multics virtual memory: Concepts and design","volume":"15","author":"Bensoussan A.","year":"1972","unstructured":"A. Bensoussan, C. T. Clingen, and R. C. Daley. 1972. The multics virtual memory: Concepts and design. Communications of the ACM 15, 5 (1972), 308\u2013318.","journal-title":"Communications of the ACM"},{"key":"e_1_3_2_14_2","first-page":"65","volume-title":"Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC\u201920)","author":"Bittman Daniel","year":"2020","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\u201920). USENIX Association, 65\u201380."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.5555\/2490483.2490506"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/29321.29323"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.5555\/3386691.3386712"},{"key":"e_1_3_2_18_2","first-page":"433","volume-title":"Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA\u201914)","author":"Chakrabarti Dhruva R.","year":"2014","unstructured":"Dhruva R. Chakrabarti, Hans-J. Boehm, and Kumud Bhandari. 2014. Atlas: Leveraging locks for non-volatile memory consistency. In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA\u201914). Association for Computing Machinery, New York, NY, USA, 433\u2013452."},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/195792.195795"},{"key":"e_1_3_2_20_2","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."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251223"},{"key":"e_1_3_2_22_2","first-page":"105","volume-title":"Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVI)","author":"Coburn Joel","year":"2011","unstructured":"Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, and Steven Swanson. 2011. NV-Heaps: Making persistent objects fast and safe with next-generation, non-volatile memories. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVI). Association for Computing Machinery, 105\u2013118."},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_24_2","first-page":"11","article-title":"Design and implementation of the clouds distributed operating system","volume":"3","author":"Dasgupta P.","year":"1990","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, et al. 1990. Design and implementation of the clouds distributed operating system. Computing Systems 3, 1 (1990), 11\u201346.","journal-title":"Computing Systems"},{"key":"e_1_3_2_25_2","first-page":"289","article-title":"Grasshopper: An orthogonally persistent operating system","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. Computer Systems 7, 3 (1994), 289\u2013312.","journal-title":"Computer Systems"},{"key":"e_1_3_2_26_2","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_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685090"},{"key":"e_1_3_2_29_2","first-page":"85","volume-title":"Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XIV)","author":"Devietti Joseph","year":"2009","unstructured":"Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin. 2009. DMP: Deterministic shared memory multiprocessing. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XIV). Association for Computing Machinery, 85\u201396."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.5555\/647054.715766"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378512"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595642"},{"key":"e_1_3_2_33_2","volume-title":"Proceedings of the USENIX Summer","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 Proceedings of the USENIX Summer."},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/858336.858337"},{"key":"e_1_3_2_35_2","first-page":"271","volume-title":"Proceedings of the 17th Australasian Computer Science Conference (ACSC\u201994)","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\u201994). Christchurch, New Zealand, 271\u201380."},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/1618525.1618528"},{"key":"e_1_3_2_37_2","first-page":"833","volume-title":"Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC\u201923)","author":"Hodgkins George","year":"2023","unstructured":"George Hodgkins, Yi Xu, Steven Swanson, and Joseph Izraelevitz. 2023. Zhuque: Failure is not an option, it\u2019s an exception. In Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC\u201923). USENIX Association, 833\u2013849."},{"key":"e_1_3_2_38_2","first-page":"468","volume-title":"Proceedings of the 12th European Conference on Computer Systems (EuroSys\u201917)","author":"Hsu Terry Ching-Hsiang","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 12th European Conference on Computer Systems (EuroSys\u201917). Association for Computing Machinery, New York, NY, USA, 468\u2013482."},{"key":"e_1_3_2_39_2","first-page":"24","volume-title":"Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems (IWOOOS\u201995)","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\u201995). IEEE Computer Society, USA, 24."},{"key":"e_1_3_2_40_2","volume-title":"Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers (ROSS\u201915)","author":"Keeton Kimberly","year":"2015","unstructured":"Kimberly Keeton. 2015. The machine: An architecture for memory-centric computing. In Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers (ROSS\u201915). Association for Computing Machinery, Article 1, 1 pages."},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TEC.1962.5219356","article-title":"One-level storage system","author":"Kilburn T. D.","year":"1962","unstructured":"T. D. Kilburn, B. G. Edwards, M. J. Lanigan, and F. H. Summer. 1962. One-level storage system. IRE Transactions on Electronic Computers 11, 2 (1962), 223\u2013235.","journal-title":"IRE Transactions on Electronic Computers"},{"key":"e_1_3_2_42_2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/1629575.1629596","volume-title":"Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP\u201909)","author":"Klein Gerwin","year":"2009","unstructured":"Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, et al. 2009. SeL4: Formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP\u201909). Association for Computing Machinery, New York, NY, USA, 207\u2013220."},{"key":"e_1_3_2_43_2","first-page":"86","volume-title":"Proceedings of the 2nd International Workshop on Object Orientation in Operating Systems (IWOOOS\u201992)","author":"Landau C. R.","year":"1992","unstructured":"C. R. Landau. 1992. The checkpoint mechanism in KeyKOS. In Proceedings of the 2nd International Workshop on Object Orientation in Operating Systems (IWOOOS\u201992). 86\u201391."},{"issue":"4","key":"e_1_3_2_44_2","first-page":"471","article-title":"Debugging parallel programs with instant replay","volume":"36","year":"1987","unstructured":"Leblanc and Mellor-Crummey. 1987. Debugging parallel programs with instant replay. IEEE Transactions on Computers C-36, 4 (1987), 471\u2013482.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_45_2","first-page":"49","volume-title":"Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XIV)","author":"Lenharth Andrew","year":"2009","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 (ASPLOS\u2019XIV). Association for Computing Machinery, New York, NY, USA, 49\u201360."},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/49.536480"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.5555\/538134"},{"key":"e_1_3_2_48_2","first-page":"175","volume-title":"Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP\u201993)","author":"Liedtke Jochen","year":"1993","unstructured":"Jochen Liedtke. 1993. Improving IPC by kernel design. In Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP\u201993). Association for Computing Machinery, New York, NY, USA, 175\u2013188."},{"key":"e_1_3_2_49_2","doi-asserted-by":"crossref","unstructured":"Jochen Liedtke. 1993. A persistent system in real use-experiences of the first 13 years. In Proceedings Third International Workshop on Object Orientation in Operating Systems. 2\u201311.","DOI":"10.1109\/IWOOOS.1993.324932"},{"key":"e_1_3_2_50_2","first-page":"4","volume-title":"Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems (HotStorage\u201917)","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 (HotStorage\u201917). USENIX Association, 4."},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291172"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.53354"},{"key":"e_1_3_2_53_2","first-page":"401","volume-title":"Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVII)","author":"Narayanan Dushyanth","year":"2012","unstructured":"Dushyanth Narayanan and Orion Hodson. 2012. Whole-system persistence. In Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVII). Association for Computing Machinery, New York, NY, USA, 401\u2013410."},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168886"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298457"},{"key":"e_1_3_2_56_2","first-page":"97","volume-title":"Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XIV)","author":"Olszewski Marek","year":"2009","unstructured":"Marek Olszewski, Jason Ansel, and Saman Amarasinghe. 2009. Kendo: Efficient deterministic multithreading in software. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XIV). Association for Computing Machinery, 97\u2013108."},{"key":"e_1_3_2_57_2","volume-title":"Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI\u201902)","author":"Osman Steven","year":"2002","unstructured":"Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh. 2002. The design and implementation of zap: A system for migrating computing environments. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI\u201902). USENIX Association."},{"key":"e_1_3_2_58_2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/1629575.1629593","volume-title":"Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP\u201909)","author":"Park Soyeon","year":"2009","unstructured":"Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, and Shan Lu. 2009. PRES: Probabilistic replay with execution sketching on multiprocessors. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP\u201909). Association for Computing Machinery, 177\u2013192."},{"key":"e_1_3_2_59_2","first-page":"433","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914)","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. 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 (OSDI\u201914). USENIX Association, 433\u2013448."},{"key":"e_1_3_2_60_2","volume-title":"Proceedings of the USENIX 1995 Technical Conference (USENIX 1995 Technical Conference)","author":"Plank James S.","year":"1995","unstructured":"James S. Plank, Micah Beck, Gerry Kingsley, and Kai Li. 1995. Libckpt: Transparent checkpointing under UNIX. In Proceedings of the USENIX 1995 Technical Conference (USENIX 1995 Technical Conference). USENIX Association, New Orleans, LA."},{"key":"e_1_3_2_61_2","doi-asserted-by":"crossref","unstructured":"Colby Ranger Ramanan Raghuraman Arun Penmetsa Gary Bradski and Christos Kozyrakis. 2007. Evaluating MapReduce for multi-core and multiprocessor systems. In Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture. 13\u201324.","DOI":"10.1109\/HPCA.2007.346181"},{"key":"e_1_3_2_62_2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/1067627.806593","article-title":"Accent: A communication oriented network operating system kernel","volume":"15","author":"Rashid Richard F.","year":"1981","unstructured":"Richard F. Rashid and George G. Robertson. 1981. Accent: A communication oriented network operating system kernel. ACM SIGOPS Operating Systems Review 15, 5 (1981), 64\u201375.","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_63_2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/358818.358822","article-title":"Pilot: An operating system for a personal computer","volume":"23","author":"Redell David D.","year":"1980","unstructured":"David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. 1980. Pilot: An operating system for a personal computer. Communications of the ACM 23, 2 (1980), 81\u201392.","journal-title":"Communications of the ACM"},{"key":"e_1_3_2_64_2","unstructured":"John Rosenberg and David Abramson. 1985. MONADS-PC - a capability-based workstation to support software engineering. In Proceedings of the 18th Hawaii International Conference on System Sciences. Honolulu HI United States 222\u2013231."},{"key":"e_1_3_2_65_2","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. 1992. Overview of the CHORUS \u00ae Distributed Operating Systems. In Proceedings of the Workshop on Micro-Kernels and Other Kernel Architectures (Seattle WA USA). 39\u201370."},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.5555\/647057.713855"},{"key":"e_1_3_2_67_2","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1145\/319151.319163","volume-title":"Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP\u201999)","author":"Shapiro Jonathan S.","year":"1999","unstructured":"Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. 1999. EROS: A fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP\u201999). Association for Computing Machinery, 170\u2013185."},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026879"},{"key":"e_1_3_2_69_2","first-page":"201","volume-title":"Proceedings of the 9th International Workshop on Persistent Object Systems","author":"Skoglund Espen","year":"2001","unstructured":"Espen Skoglund, Christian Ceelen, and Jochen Liedtke. 2001. Transparent orthogonal checkpointing through user-level pagers. In Proceedings of the 9th International Workshop on Persistent Object Systems. Lillehammer, Norway, 201\u2013215."},{"key":"e_1_3_2_70_2","first-page":"8","volume-title":"Proceedings of the 18th IEEE International Performance, Computing and Communications Conference (IPCCC\u201999)","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 Proceedings of the 18th IEEE International Performance, Computing and Communications Conference (IPCCC\u201999). 8\u201314."},{"key":"e_1_3_2_71_2","unstructured":"Till Smejkal Adam Lackorzynski Benjamin Engel and Marcus V\u00f6lp. 2015. Transactional IPC in Fiasco.OC. In Proceedings of the 11th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2015). Lund Sweden 19\u201324."},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.5555\/524799"},{"key":"e_1_3_2_73_2","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1145\/3458336.3465285","volume-title":"Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS\u201921)","author":"Tsalapatis Emil","year":"2021","unstructured":"Emil Tsalapatis, Ryan Hancock, Tavian Barnes, and Ali Jos\u00e9 Mashtizadeh. 2021. The Aurora operating system: Revisiting the single level store. In Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS\u201921). ACM, 136\u2013143."},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483563"},{"key":"e_1_3_2_75_2","first-page":"85","volume-title":"Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS\u201996)","author":"Tullmann P.","year":"1996","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\u201996). IEEE Computer Society, USA, 85."},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446714"},{"key":"e_1_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1145\/2814576.2814802"},{"key":"e_1_3_2_78_2","first-page":"91","volume-title":"Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVI)","author":"Volos Haris","year":"2011","unstructured":"Haris Volos, Andres Jaan Tack, and Michael M. Swift. 2011. Mnemosyne: Lightweight persistent memory. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u2019XVI). Association for Computing Machinery, 91\u2013104."},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386000"},{"key":"e_1_3_2_80_2","first-page":"131","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906)","author":"Yang Junfeng","year":"2006","unstructured":"Junfeng Yang, Can Sar, and Dawson Engler. 2006. EXPLODE: A lightweight, general system for finding serious storage system errors. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI\u201906). USENIX Association, 131\u2013146."},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685051"}],"container-title":["ACM Transactions on Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T12:16:09Z","timestamp":1753445769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,25]]},"references-count":80,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,8,31]]}},"alternative-id":["10.1145\/3742425"],"URL":"https:\/\/doi.org\/10.1145\/3742425","relation":{},"ISSN":["0734-2071","1557-7333"],"issn-type":[{"type":"print","value":"0734-2071"},{"type":"electronic","value":"1557-7333"}],"subject":[],"published":{"date-parts":[[2025,7,25]]},"assertion":[{"value":"2024-11-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-27","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}