A Domain-Specific Language for Application-Level Checkpointing

Authors:
Ritu Arora;Marjan Mernik;Purushotham Bangalore;Suman Roychoudhury;Saraswathi Mukkai
Affiliations:
Dept. of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, U.S.A. 35294-1170;Dept. of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, U.S.A. 35294-1170;Dept. of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, U.S.A. 35294-1170;Dept. of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, U.S.A. 35294-1170;Dept. of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, U.S.A. 35294-1170
Venue:
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Year:
2008

Citing 11
Cited 1

Design maintenance systems

Communications of the ACM
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Lessons learned from real DSL experiments

Science of Computer Programming - Methods of software design: Techniques and applications
Application-level checkpointing for shared memory programs

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering

Proceedings of the 5th international conference on Generative programming and component engineering
Model-based DSL frameworks

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Region-based image clustering and retrieval using multiple instance learning

CIVR'05 Proceedings of the 4th international conference on Image and Video Retrieval
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
KM3: a DSL for metamodel specification

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Application-Level checkpointing techniques for parallel programs

ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology

A technique for non-invasive application-level checkpointing

The Journal of Supercomputing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Checkpointing is one of the key requirements for writing fault-tolerant and flexible applications for dynamic and distributed environments like the Grid. Certain patterns are observed in the implementation of the application-level Checkpointing and Restart (CaR) mechanism across myriad of applications. These patterns indicate that a higher level of abstraction can be used to isolate the observed commonalities and variations in the CaR mechanism. This research paper describes an approach for the design and development of a Domain-Specific Language (DSL) for abstracting the application-level CaR mechanism. The specifications written in the DSL are used for semi-automatically generating the application-specific code for the CaR mechanism. This DSL not only provides a high-level of abstraction but also promotes code reuse, code correctness and non-invasive reengineering of legacy applications to embed the CaR mechanism in them.