Experience report: An application-specific checkpointing technique for minimizing checkpoint corruption

2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015

Volumn , Issue , 2016, Pages 141-152

  Li, Guanpeng ^a   Pattabiraman, Karthik ^a   Cher, Chen Yong ^b   Bose, Pradip ^b  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER HARDWARE; CRACK PROPAGATION; PROGRAM COMPILERS;

APPLICATION SPECIFIC; BENCHMARK APPLICATIONS; CHECK-POINT STRATEGIES; CHECKPOINTING TECHNIQUES; EXPERIENCE REPORT; FAULT PROPAGATION; HARDWARE AND SOFTWARE; PROTECTION TECHNIQUES;

SOFTWARE RELIABILITY;

EID: 84964885785     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2015.7381808     Document Type: Conference Paper

References (29)

1. H. M. Aktulga, J. C. Fogarty, S. A. Pandit, and A. Y. Grama. Parallel reactive molecular dynamics: Numerical methods and algorithmic techniques. Parallel Computing, 38(4):245-259, 2012.
2. G. Aupy, A. Benoit, T. Hérault, Y. Robert, F. Vivien, and D. Zaidouni. On the combination of silent error detection and checkpointing. In IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC), pages 11-20. IEEE, 2013.
3. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The parsec benchmark suite: Characterization and architectural implications. In Proceedings of the 17th international conference on Parallel architectures and compilation techniques, pages 72-81. ACM, 2008.
4. S. Borkar. Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. Micro, IEEE, 25(6):10-16, 2005.
5. T. Cao, M. Vaz Salles, B. Sowell, Y. Yue, A. Demers, J. Gehrke, and W. White. Fast checkpoint recovery algorithms for frequently consistent applications. In Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, pages 265-276. ACM, 2011.
6. S. Chandra and P. M. Chen. The impact of recovery mechanisms on the likelihood of saving corrupted state. In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on, pages 91-101. IEEE, 2002.
7. H. Cho, S. Mirkhani, C.-Y. Cher, J. A. Abraham, and S. Mitra. Quantitative evaluation of soft error injection techniques for robust system design. In Design Automation Conference (DAC), 2013 50th ACM/EDAC/IEEE, pages 1-10. IEEE, 2013.
8. C. Constantinescu. Intermittent faults and effects on reliability of integrated circuits. In Reliability and Maintainability Symposium, pages 370-374. IEEE, 2008.
9. E. N. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys (CSUR), 34(3):375-408, 2002.
10. S. Feng, S. Gupta, A. Ansari, and S. Mahlke. Shoestring: probabilistic soft error reliability on the cheap. In ACM SIGARCH Computer Architecture News, volume 38, pages 385-396. ACM, 2010.
11. W. Gu, Z. Kalbarczyk, R. K. Iyer, and Z. Yang. Characterization of linux kernel behavior under errors. In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 459-459. IEEE Computer Society, 2003.
12. S. K. S. Hari, S. V. Adve, H. Naeimi, and P. Ramachandran. Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults. In ACM SIGARCH Computer Architecture News, volume 40, pages 123-134. ACM, 2012.
13. J. L. Henning. SPEC CPU2000: Measuring CPU performance in the new millennium. Computer, 33(7):28-35, 2000.
14. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In International Symposium on Code Generation and Optimization, pages 75-86. IEEE, 2004.
15. G. Li, Q. Lu, and K. Pattabiraman. Fine-grained characterization of faults causing long latency crashes in programs. In 45rd Annual IEEE/I-FIP International Conference on Dependable Systems and Networks (DSN), 2015.
16. N. Oh, P. P. Shirvani, and E. J. McCluskey. Error detection by duplicated instructions in super-scalar processors. IEEE Transactions on Reliability, 51(1):63-75, 2002.
17. K. Pattabiraman, Z. Kalbarczyk, and R. K. Iyer. Automated derivation of application-aware error detectors using static analysis. In On-Line Testing Symposium, 2007. IOLTS 07. 13th IEEE International, pages 211-216. IEEE, 2007.
18. M. Prvulovic, Z. Zhang, and J. Torrellas. Revive: cost-effective architectural support for rollback recovery in shared-memory multiprocessors. In 29th Annual International Symposium on Computer Architecture, pages 111-122. IEEE, 2002.
19. P. Ramachandran, S. K. S. Hari, M. Li, and S. V. Adve. Hardware fault recovery for i/o intensive applications. ACM Transactions on Architecture and Code Optimization (TACO), 11(3):33, 2014.
20. G. A. Reis, J. Chang, N. Vachharajani, R. Rangan, and D. I. August. SWIFT: Software Implemented Fault Tolerance. In Proceedings of the international symposium on Code generation and optimization, pages 243-254. IEEE Computer Society, 2005.
21. D. J. Sorin, M. M. Martin, M. D. Hill, and D. A. Wood. Fast checkpoint/recovery to support kilo-instruction speculation and hardware fault tolerance. Dept. of Computer Sciences Technical Report CS-TR-2000-1420, University of Wisconsin-Madison, 2000.
22. D. J. Sorin, M. M. Martin, M. D. Hill, and D. A. Wood. Safetynet: improving the availability of shared memory multiprocessors with global checkpoint/recovery. In 29th Annual International Symposium on Computer Architecture, pages 123-134. IEEE, 2002.
23. J. A. Stratton, C. Rodrigues, I.-J. Sung, N. Obeid, L.-W. Chang, N. Anssari, G. D. Liu, and W.-m. W. Hwu. Parboil: A revised benchmark suite for scientific and commercial throughput computing. Center for Reliable and High-Performance Computing, 2012.
24. R. Taborda and J. Bielak. Large-scale earthquake simulation: computational seismology and complex engineering systems. Computing in Science & Engineering, 13(4):14-27, 2011.
25. A. Thomas and K. Pattabiraman. Error detector placement for soft computation. In 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 1-12. IEEE, 2013.
26. L. Wang, Z. Kalbarczyk, R. Iyer, and A. Iyengar. VM-μCheckpoint: Design, Modeling, and Assessment of Lightweight In-Memory VM Checkpointing. IEEE Transactions on Dependable and Secure Computing.
27. J. Wei, A. Thomas, G. Li, and K. Pattabiraman. Quantifying the accuracy of high-level fault injection techniques for hardware faults. In 44rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN, 2014.
28. K. Whisnant, Z. Kalbarczyk, and R. K. Iyer. Micro-checkpointing: Checkpointing for multithreaded applications. In 6th IEEE International On-Line Testing Workshop, pages 3-8. IEEE, 2000.
29. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The splash-2 programs: Characterization and methodological considerations. In ACM SIGARCH Computer Architecture News, volume 23, pages 24-36. ACM, 1995.