NDLI: Compiler-Assisted Application-Level Checkpointing for MPI Programs

Content Provider	IEEE Xplore Digital Library
Author	Xuejun Yang Panfeng Wang Hongyi Fu Yunfei Du Zhiyuan Wang Jia Jia
Copyright Year	2008
Description	Author affiliation: Nat. Lab. for Parallel & Distrib. Process., Nat. Univ. of Defense Technol., Changsha (Xuejun Yang; Panfeng Wang; Hongyi Fu; Yunfei Du; Zhiyuan Wang; Jia Jia)
Abstract	Application-level checkpointing can decrease the overhead of fault tolerance by minimizing the amount of checkpoint data. However this technique requires the programmer to manually choose the critical data that should be saved. In this paper, we firstly propose a live-variable analysis method for MPI programs. Then, we provide an optimization method of data saving for application-level checkpointing based on the analysis method. Based on the theoretical foundation, we implement a source-to-source precompiler (ALEC) to automate application-level checkpointing. Finally, we evaluate the performance of five FORTRAN/MPI programs which are transformed and integrated checkpointing features by ALEC on a 512-CPU cluster system. The experimental results show that i) the application-level checkpointing based on live-variable analysis for MPI programs can efficiently reduce the amount of checkpoint data, thereby decrease the overhead of checkpoint and restart; ii) ALEC is capable of automating application-level checkpointing correctly and effectively.
Starting Page	251
Ending Page	259
File Size	526303
Page Count	9
File Format	PDF
ISBN	9780769531724
ISSN	10636927
DOI	10.1109/ICDCS.2008.25
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-06-17
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Checkpointing Flow graphs Algorithms Program processors Equations Computers Algorithm design and analysis
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Static Analysis for Application-Level Checkpointing of MPI Programs

Synthesis of dedicated SIMD processors

Compiler-assisted heterogeneous checkpointing

Automated application-level checkpointing of mpi programs (2003).

Development Of A "Higher-Level" Microprogramming Language Using A Compiler-Compiler

Design and analysis of a hardware-assisted checkpointing and recovery scheme for distributed applications

The Partitioned EDF Scheduling of Sporadic Task Systems

Compiler-assisted software verification using plug-ins

System-level versus user-defined checkpointing

Compiler-Assisted Application-Level Checkpointing for MPI Programs

Similar Documents

Static Analysis for Application-Level Checkpointing of MPI Programs

Synthesis of dedicated SIMD processors

Compiler-assisted heterogeneous checkpointing

Automated application-level checkpointing of mpi programs (2003).

Development Of A "Higher-Level" Microprogramming Language Using A Compiler-Compiler

Design and analysis of a hardware-assisted checkpointing and recovery scheme for distributed applications

The Partitioned EDF Scheduling of Sporadic Task Systems

Compiler-assisted software verification using plug-ins

System-level versus user-defined checkpointing

Compiler-Assisted Application-Level Checkpointing for MPI Programs