Abstract
Checkpoint/restart is a common fault tolerant technique which periodically dump state to reliable storage and restart applications after failure. Most of existing checkpoint/restart implementations only handle volatile state and lack of support for persistence state of applications. Even the algorithm specifically designed for file checkpointing may not support complex operations and some need to modify source code. This paper presents a new checkpoint technique, which use dynamic instrumentation to temporarily cache disk operations in memory, and use existing memory checkpoint tool to dump or restore process state at runtime. We show that not only can this method create regular checkpoints for both volatile and persistence state, but also has important applications in execution backtracking.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wang, Y.M., Huang, Y., Vo, K.-P., Chung, P.-Y., Kintala, C.: Checkpointing and its applications. In: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, p. 22. Institute of Electrical and Electronics Engineers, Inc., Washington, DC (1995)
Pei, D.: Modification operations buffering: a low overhead approach to checkpoint user files. In: Proceedings of IEEE 29th Symposium on Fault-Tolerant Computing, Madison USA, pp. 36–38 (1999)
Duell, J.: The design and implementation of Berkeley Lab’s Linux checkpoint/restart. Berkeley Lab Technical report, LBNL-54941 (2002)
Duell, J., Hargrove, P., Roman, E.: Requirements for Linux checkpoint/restart. Berkeley Lab Technical report, LBNL-49659 (2002)
Roman, E.: A survey of checkpoint/restart implementations. Berkeley Lab Technical report, LBNL-54942 (2002)
Sankaran, S., et al.: The LAM/MPI checkpoint/restart framework: system-initiated checkpointing. In: LACSI Symposium, LBNL-53808 (2003)
Paul H., Duell, J.: Berkeley Lab Checkpoint/Restart (BLCR) for Linux clusters. In: Proceedings of SciDAC 2006, LBNL-60520 (2006)
Lyubashevskiy, I., Strumpen, V.: Fault-tolerant file-I/O for portable checkpointing systems. J. Supercomput. 16, 69–92 (2000)
Rashid, R., et al.: Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures. IEEE Trans. Comput. 37(8), 896–908 (1998)
Zhong, H., Nieh, J.: CRAK: Linux checkpoint/restart as a Kernel module. Technical report CUCS-014-01, Department of Computer Science, Columbia University (2001)
Osman, S., Subhraveti, D., Su, G., Nieh, J.: The design and implementation of Zap: a system for migrating computing environments. In: Proceedings of the Fourth Symposium on Operating Systems Design and Implementation. ACM SIGOPS Operating Systems Review (2002). https://doi.org/10.1145/844128.844162
Chung, P.E., Huang, Y., Yajnik, S.: Checkpointing in CosMiC: a user-level process migration environment. In: Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems. IEEE Computer Society (1997)
Weihl, W.E.: Transaction-processing techniques. In: Distributed Systems, pp. 329–352. ACM Press/Addison-Wesley Publishing, New York (1993)
Wang, Y.M., Chung, P.E., Huang, Y.: Integrating checkpointing with transaction processing. In: Proceedings of 27rd Fault-Tolerant Symposium, Seattle, Washington, pp. 24–27. IEEE Computer Society (1997)
Ouyang, J., Maheshwari, P.: Supporting cost-effective fault tolerance in distributed message-passing applications with file operations. J. Supercomput. 14, 207–232 (1999)
Pei, D., Wang, D., Shen, M., Zheng, M.: Design and implementation of a low-overhead file checkpointing approach. In: Proceedings of the Fourth International Conference/Exhibition on High Performance Computing, Asia-Pacific Region, pp. 439–441 (2000)
Liu, S., Wang, D., Zhu, J.: A files checkpointing approach based on virtual file operations. J. Softw. 13(8), 1528–1533 (2002)
Jeyakumar, A.R.: Metamori: a library for incremental file checkpointing. Master’s thesis, Virgina Tech, Blacksburg (2004)
Qing, D., et al.: Research of component-based integrated modeling and simulation environment. J. Syst. Environ. 04, 900–904 (2008)
Xue, R., Chen, W., Zheng, W.: CprFS: a user-level file system to support consistent file states for checkpoint and restart. In: Proceedings of the International Conference on Supercomputing, pp. 114–123 (2008)
FUSE Doc. https://www.kernel.org/doc/html/latest/filesystems/fuse.html. Accessed 28 Apr 2020
CRIU Homepage. https://criu.org/Main_Page. Accessed 28 Apr 2020
IOzone Homepage. http://www.iozone.org/. Accessed 29 Apr 2020
BWA Homepage. https://github.com/lh3/bwa. Accessed 29 Apr 2020
Pin Doc. https://software.intel.com/sites/landingpage/pintool/docs. Accessed 29 Apr 2020
Agrawal, H., Demillo, A.R., Spafford, H.E.: An execution-backtracking approach to debugging. IEEE Softw. 8(3), 21–26 (1991)
Matthews, G., Hood, R., Johnson, S., Leggett, P.: Backtracking and re-execution in the automatic debugging of parallelized programs. In: Proceedings 11th IEEE International Symposium on High Performance Distributed Computing, Edinburgh, UK, pp. 150–160 (2002)
Agrawal, H., DeMillo, R.A., Spafford, E.H.: Debugging with dynamic slicing and backtracking. Softw. Pract. Exper. 23(6), 589–616 (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Wei, S., Ji, W., Chen, Q., Wang, Y. (2020). Pin-Tool Based Execution Backtracking. In: Dong, D., Gong, X., Li, C., Li, D., Wu, J. (eds) Advanced Computer Architecture. ACA 2020. Communications in Computer and Information Science, vol 1256. Springer, Singapore. https://doi.org/10.1007/978-981-15-8135-9_14
Download citation
DOI: https://doi.org/10.1007/978-981-15-8135-9_14
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-8134-2
Online ISBN: 978-981-15-8135-9
eBook Packages: Computer ScienceComputer Science (R0)
