Techniques for efficient in-memory checkpointing

Research output: Contribution to JournalArticleAcademicpeer-review


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
Pages (from-to)21-25
Number of pages5
JournalOperating Systems Review (ACM)
Issue number1-118
Publication statusPublished - 15 May 2014


Dive into the research topics of 'Techniques for efficient in-memory checkpointing'. Together they form a unique fingerprint.

Cite this