skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: On The Theory of Speculative Checkpointing: Time and Energy Considerations

Abstract

Collective checkpoint-rollback is the most popular approach to dealing with fail-stop errors on high-performance computing (HPC) platforms. Prior work has focused on choosing checkpoint intervals that minimize the total cost of checkpoint-rollback. In this paper, we introduce the notion of speculative checkpointing, where we probabilistically skip some checkpoints. Careful choice of check- points to be taken or skipped has the potential to further reduce the total checkpoint-rollback overhead. We mathematically formulate the overall checkpoint-rollback cost in the presence of speculation. We consider the choice of speculation being a fixed probability or a probability distribution. We formulate two criteria to be minimized: total execution time and approximate total energy. We derive the criteria for beneficial speculative checkpointing for exponential and arbitrary failure distributions. Further, we analyze the joint optimization of energy and time to mathematically express the trade-offs.

Authors:
ORCiD logo [1];  [1]
  1. BATTELLE (PACIFIC NW LAB)
Publication Date:
Research Org.:
Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1572687
Report Number(s):
PNNL-SA-132987
DOE Contract Number:  
AC05-76RL01830
Resource Type:
Conference
Resource Relation:
Conference: Proceedings of the 15th ACM International Conference on Computing Frontiers (CF 2018), May 8-10, 2018, Ischia, Italy
Country of Publication:
United States
Language:
English

Citation Formats

Subasi, Omer, and Krishnamoorthy, Sriram. On The Theory of Speculative Checkpointing: Time and Energy Considerations. United States: N. p., 2018. Web. doi:10.1145/3203217.3203232.
Subasi, Omer, & Krishnamoorthy, Sriram. On The Theory of Speculative Checkpointing: Time and Energy Considerations. United States. doi:10.1145/3203217.3203232.
Subasi, Omer, and Krishnamoorthy, Sriram. Tue . "On The Theory of Speculative Checkpointing: Time and Energy Considerations". United States. doi:10.1145/3203217.3203232.
@article{osti_1572687,
title = {On The Theory of Speculative Checkpointing: Time and Energy Considerations},
author = {Subasi, Omer and Krishnamoorthy, Sriram},
abstractNote = {Collective checkpoint-rollback is the most popular approach to dealing with fail-stop errors on high-performance computing (HPC) platforms. Prior work has focused on choosing checkpoint intervals that minimize the total cost of checkpoint-rollback. In this paper, we introduce the notion of speculative checkpointing, where we probabilistically skip some checkpoints. Careful choice of check- points to be taken or skipped has the potential to further reduce the total checkpoint-rollback overhead. We mathematically formulate the overall checkpoint-rollback cost in the presence of speculation. We consider the choice of speculation being a fixed probability or a probability distribution. We formulate two criteria to be minimized: total execution time and approximate total energy. We derive the criteria for beneficial speculative checkpointing for exponential and arbitrary failure distributions. Further, we analyze the joint optimization of energy and time to mathematically express the trade-offs.},
doi = {10.1145/3203217.3203232},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2018},
month = {5}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: