Techniques for Efficient In-Memory Checkpointing

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

Checkpointing is a pivotal technique in system research, with applications ranging from crash recovery to replay debugging. In this paper, we evaluate a number of in-memory checkpointing techniques and compare their properties. We also present a new compiler-based checkpointing scheme which improves state-of-the-art performance and memory guarantees in the general case. Our solution relies on a shadow state to efficiently store incremental in-memory checkpoints, at the cost of a smaller user-addressable virtual address space. Contrary to common belief, our results show that in-memory checkpointing can be implemented efficiently with moderate impact on production systems.
Original languageEnglish
Title of host publicationProceedings of the Ninth Workshop on Hot Topics in System Dependability
PublisherACM
Pages12:1-12:5
ISBN (Electronic)978-1-4503-2457-1
DOIs
Publication statusPublished - 2013

Fingerprint Dive into the research topics of 'Techniques for Efficient In-Memory Checkpointing'. Together they form a unique fingerprint.

  • Cite this

    Vogt, D., Giuffrida, C., Bos, H. J., & Tanenbaum, A. S. (2013). Techniques for Efficient In-Memory Checkpointing. In Proceedings of the Ninth Workshop on Hot Topics in System Dependability (pp. 12:1-12:5). ACM. https://doi.org/10.1145/2524224.2524236