TY - JOUR
T1 - Techniques for efficient in-memory checkpointing
AU - Vogt, Dirk
AU - Giuffrida, Cristiano
AU - Bos, Herbert
AU - Tanenbaum, Andrew S.
PY - 2014/5/15
Y1 - 2014/5/15
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84955284886&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84955284886&partnerID=8YFLogxK
U2 - 10.1145/2626401.2626406
DO - 10.1145/2626401.2626406
M3 - Article
AN - SCOPUS:84955284886
SN - 0163-5980
VL - 48
SP - 21
EP - 25
JO - Operating Systems Review (ACM)
JF - Operating Systems Review (ACM)
IS - 1-118
ER -