skip to main content
10.1145/3600006.3613160acmconferencesArticle/Chapter ViewAbstractPublication PagessospConference Proceedingsconference-collections
research-article

TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM

Published: 23 October 2023 Publication History

Abstract

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.
In this paper, 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 μs and even take a checkpoint every 1 ms with reasonable overhead to applications.

References

[1]
2021. CRIU. https://www.criu.org/Main_Page
[2]
2021. Direct Access for files. https://www.kernel.org/doc/Documentation/filesystems/dax.txt.
[3]
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
[4]
2021. LevelDB. https://dbdb.io/db/leveldb
[5]
2021. Memcached - a distributed memory object caching system. https://memcached.org/
[6]
2021. Redis. https://redis.io/
[7]
2021. RocksDB Home Page. https://www.rocksdb.org
[8]
2021. SQLite. https://sqlite.org/
[9]
2021. Zircon. https://fuchsia.dev/
[10]
2023. ChCore Lab v2. https://gitee.com/ipads-lab/chcore-lab-v2.
[11]
2023. Musl Libc. https://musl.libc.org/
[12]
A. Bensoussan, C. T. Clingen, and R. C. Daley. 1972. The Multics Virtual Memory: Concepts and Design. Commun. ACM 15, 5 (May 1972), 308--318.
[13]
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.
[14]
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.
[15]
Roy Campbell, Garry Johnston, and Vincent Russo. 1987. Choices (Class Hierarchical Open Interface for Custom Embedded Systems). SIGOPS Oper. Syst. Rev. 21, 3 (July 1987), 9--17.
[16]
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.
[17]
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 & Applications (Portland, Oregon, USA) (OOPSLA '14). Association for Computing Machinery, New York, NY, USA, 433--452.
[18]
Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, and Edward D. Lazowska. 1994. Sharing and Protection in a Single-Address-Space Operating System. ACM Trans. Comput. Syst. 12, 4 (November 1994), 271--307.
[19]
Haibo Chen and Yubin Xia. 2023. Operating System: Principles and Implementation (1 ed.). China Machine Press.
[20]
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.
[21]
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 Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (Newport Beach, California, USA) (ASPLOS XVI). Association for Computing Machinery, 105--118.
[22]
Brian F. Cooper, Adam Silberstein, Erwin Tam, Raghu Ramakrishnan, and Russell Sears. 2010. Benchmarking Cloud Serving Systems with YCSB. In Proceedings of the 1st ACM Symposium on Cloud Computing (Indianapolis, Indiana, USA) (SoCC '10). Association for Computing Machinery, 143--154.
[23]
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.
[24]
Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindström, John Rosenberg, and Francis Vaughan. 1994. Grasshopper: An Orthogonally Persistent Operating System. Comput. Syst. 7, 3 (June 1994), 289--312.
[25]
Alan Dearle and David Hulse. 2000. Operating System Support for Persistent Systems: Past, Present and Future. Softw. Pract. Exper. 30, 4 (April 2000), 295--324.
[26]
Jack B. Dennis and Earl C. Van Horn. 1966. Programming Semantics for Multiprogrammed Computations. Commun. ACM 9, 3 (March 1966), 143--155.
[27]
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.
[28]
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 (Washington, DC, USA) (ASPLOS XIV). Association for Computing Machinery, 85--96.
[29]
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.
[30]
Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, and Haibo Chen. 2020. Catalyzer: Sub-Millisecond Startup for Serverless Computing with Initialization-Less Booting. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (Lausanne, Switzerland) (ASPLOS '20). Association for Computing Machinery, 467--481.
[31]
Aakash Goel, Bhuwan Chopra, Ciprian Gerea, Dhruv Mátáni, Josh Metzler, Fahim Ul Haq, and Janet Wiener. 2014. Fast Database Restarts at Facebook. In Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data (Snowbird, Utah, USA) (SIGMOD '14). Association for Computing Machinery, 541--549.
[32]
David B. Golub, Randall W. Dean, Alessandro Forin, and Richard F. Rashid. 1990. UNIX as an Application Program. In USENIX Summer.
[33]
Norman Hardy. 1985. KeyKOS Architecture. SIGOPS Oper. Syst. Rev. 19, 4 (October 1985), 8--25.
[34]
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.
[35]
Michael R. Hines, Umesh Deshpande, and Kartik Gopalan. 2009. Post-Copy Live Migration of Virtual Machines. SIGOPS Oper. Syst. Rev. 43, 3 (July 2009), 14--26.
[36]
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.
[37]
Terry Ching-Hsiang Hsu, Helge Brügner, 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.
[38]
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.
[39]
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 (Portland, OR, USA) (ROSS '15). Association for Computing Machinery, Article 1, 1 pages.
[40]
T.D. Kilburn, B.G. Edwards, M.J. Lanigan, and F.H. Summer. 1962. One-Level Storage System. IRE Transactions on Electronic Computers 11 (April 1962), 223--235.
[41]
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. 2009. SeL4: Formal Verification of an OS Kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (Big Sky, Montana, USA) (SOSP '09). Association for Computing Machinery, New York, NY, USA, 207--220.
[42]
C.R. Landau. 1992. The checkpoint mechanism in KeyKOS. In Proceedings of the Second International Workshop on Object Orientation in Operating Systems (IWOOOS '92). 86--91.
[43]
Leblanc and Mellor-Crummey. 1987. Debugging Parallel Programs with Instant Replay. IEEE Trans. Comput. C-36, 4 (1987), 471--482.
[44]
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.
[45]
Ian Leslie, Derek McAuley, Richard Black, Timothy Roscoe, Paul Barham, David Evers, Robin Fairbairns, and Eoin Hyden. 1996. The Design and Implementation of an Operating System to Support Distributed Multimedia Applications. IEEE Journal on Selected Areas in Communications 14 (1996), 1280--1297.
[46]
Henry M. Levy. 1984. Capability-Based Computer Systems. Butterworth-Heinemann, USA.
[47]
Jochen Liedtke. 1993. Improving IPC by Kernel Design. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles (Asheville, North Carolina, USA) (SOSP '93). Association for Computing Machinery, New York, NY, USA, 175--188.
[48]
Jochen Liedtke. 1993. A persistent system in real use-experiences of the first 13 years. Proceedings Third International Workshop on Object Orientation in Operating Systems (1993), 2--11.
[49]
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.
[50]
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 Conference on Operating Systems Design and Implementation (Carlsbad, CA, USA) (OSDI '18). USENIX Association, 33--50.
[51]
S.J. Mullender, G. van Rossum, A.S. Tananbaum, R. van Renesse, and H. van Staveren. 1990. Amoeba: a distributed operating system for the 1990s. Computer 23, 5 (1990), 44--53.
[52]
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.
[53]
Satish Narayanasamy, Cristiano Pereira, and Brad Calder. 2006. Recording Shared Memory Dependencies Using Strata. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, California, USA) (ASPLOS XII). Association for Computing Machinery, 229--240.
[54]
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn. 2006. Rethink the Sync. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (Seattle, Washington) (OSDI '06). USENIX Association, USA, 1--14.
[55]
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 (Washington, DC, USA) (ASPLOS XIV). Association for Computing Machinery, 97--108.
[56]
Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh. 2002. The Design and Implementation of Zap: A System for Migrating Computing Environments. In 5th Symposium on Operating Systems Design and Implementation (OSDI '02). USENIX Association.
[57]
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 (Big Sky, Montana, USA) (SOSP '09). Association for Computing Machinery, 177--192.
[58]
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.
[59]
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.
[60]
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.
[61]
Richard F. Rashid and George G. Robertson. 1981. Accent: A Communication Oriented Network Operating System Kernel. SIGOPS Oper. Syst. Rev. 15, 5 (December 1981), 64--75.
[62]
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. Commun. ACM 23, 2 (February 1980), 81--92.
[63]
John Rosenberg and David Abramson. 1985. MONADS-PC - a capability-based workstation to support software engineering.
[64]
Marc Rozier, Vadim Abrossimov, François Armand, Ivan Boule, Michel Gien, Marc Guillemont, Frédéric Herrmann, Claude Kaiser, Sylvain Langlois, and Will Neuhauser. 1991. Overview of the CHORUS ® Distributed Operating Systems.
[65]
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.
[66]
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.
[67]
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang. 2016. Push-Button Verification of File Systems via Crash Refinement. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Savannah, GA, USA) (OSDI '16). USENIX Association, 1--16.
[68]
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--215.
[69]
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.
[70]
Till Smejkal, Adam Lackorzynski, Benjamin Engel, and Marcus Völp. 2015. Transactional IPC in Fiasco.OC. OSPERT 2015 (2015), 19.
[71]
Frank G. Soltis. 1996. Inside the AS/400. Twenty Ninth Street Press.
[72]
Emil Tsalapatis, Ryan Hancock, Tavian Barnes, and Ali José Mashtizadeh. 2021. The Aurora operating system: revisiting the single level store. In Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS '21). ACM, 136--143.
[73]
Emil Tsalapatis, Ryan Hancock, Tavian Barnes, and Ali José Mashtizadeh. 2021. The Aurora Single Level Store Operating System. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP '21). Association for Computing Machinery, 788--803.
[74]
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.
[75]
Dmitrii Ustiugov, Plamen Petrov, Marios Kogias, Edouard Bugnion, and Boris Grot. 2021. Benchmarking, Analysis, and Optimization of Serverless Function Snapshots. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Virtual, USA) (ASPLOS '21). Association for Computing Machinery, 559--572.
[76]
Dirk Vogt, Armando Miraglia, Georgios Portokalidis, Herbert Bos, Andy Tanenbaum, and Cristiano Giuffrida. 2015. Speculative Memory Checkpointing. In Proceedings of the 16th Annual Middleware Conference (Middleware '15). Association for Computing Machinery, New York, NY, USA, 197--209.
[77]
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.
[78]
Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján. 2020. PMThreads: persistent memory threads harnessing versioned shadow copies. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 623--637.
[79]
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.
[80]
Gerd Zellweger, Simon Gerber, Kornilios Kourtis, and Timothy Roscoe. 2014. Decoupling Cores, Kernels, and Operating Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Broomfield, CO) (OSDI '14). USENIX Association, USA, 17--31.

Cited By

View all
  • (2025)ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State DrivesProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 110.1145/3669940.3707250(116-132)Online publication date: 3-Feb-2025
  • (2024)Expeditious high-concurrency microvm snapstart in persistent memory with an augmented hypervisorProceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference10.5555/3691992.3692052(985-998)Online publication date: 10-Jul-2024
  • (2024)H2C-Dedup: Reducing I/O and GC Amplification for QLC SSDs from the Deduplication Metadata PerspectiveProceedings of the 2024 ACM Symposium on Cloud Computing10.1145/3698038.3698507(704-719)Online publication date: 20-Nov-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SOSP '23: Proceedings of the 29th Symposium on Operating Systems Principles
October 2023
802 pages
ISBN:9798400702297
DOI:10.1145/3600006
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

In-Cooperation

  • USENIX

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2023

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. single-level store
  2. microkernel
  3. non-volatile memory
  4. checkpoint/restore
  5. transparent persistence

Qualifiers

  • Research-article

Conference

SOSP '23
Sponsor:

Acceptance Rates

SOSP '23 Paper Acceptance Rate 43 of 232 submissions, 19%;
Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25
ACM SIGOPS 31st Symposium on Operating Systems Principles
October 13 - 16, 2025
Seoul , Republic of Korea

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)960
  • Downloads (Last 6 weeks)33
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2025)ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State DrivesProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 110.1145/3669940.3707250(116-132)Online publication date: 3-Feb-2025
  • (2024)Expeditious high-concurrency microvm snapstart in persistent memory with an augmented hypervisorProceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference10.5555/3691992.3692052(985-998)Online publication date: 10-Jul-2024
  • (2024)H2C-Dedup: Reducing I/O and GC Amplification for QLC SSDs from the Deduplication Metadata PerspectiveProceedings of the 2024 ACM Symposium on Cloud Computing10.1145/3698038.3698507(704-719)Online publication date: 20-Nov-2024
  • (2024)Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value StoresProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles10.1145/3694715.3695951(127-143)Online publication date: 4-Nov-2024
  • (2024)Virtual Memory Revisited for Tiered MemoryProceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems10.1145/3678015.3680475(1-7)Online publication date: 4-Sep-2024
  • (2024)MemSnap μCheckpoints: A Data Single Level Store for Fearless PersistenceProceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 310.1145/3620666.3651334(622-638)Online publication date: 27-Apr-2024
  • (2024)Delaying Crash Consistency for Building A High-Performance Persistent Memory File SystemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2024.337579243:9(2620-2634)Online publication date: Sep-2024

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media