A Domain-Specific Language for Application-Level Checkpointing

被引：0

作者：

Arora, Ritu ^{[1
]}

Mernik, Marjan ^{[1
]}

Bangalore, Purushotham ^{[1
]}

Roychoudhury, Suman ^{[1
]}

Mukkai, Saraswathi ^{[1
]}

机构：

[1] Univ Alabama Birmingham, Dept Comp & Informat Sci, Birmingham, AL 35294 USA

来源：

DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS | 2008年 / 5375卷

关键词：

Reliability; Abstraction; Program Transformation; Domain-Specific Languages; Checkpointing; Restart;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 semiautomatically 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.

引用

页码：26 / 38

页数：13

共 50 条

[1] A Domain-Specific Language for Filtering in Application-Level Gateways
Balldin, Hampus
Reichenbach, Christoph
[J]. GPCE '2020: PROCEEDINGS OF THE 19TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2020, : 111 - 123
[2] A Web Application Is a Domain-Specific Language
Lorenz, David H.
Rosenan, Boaz
[J]. COMPANION PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES AND APPLICATIONS: SOFTWARE FOR HUMANITY (SPLASH COMPANION'16), 2016, : 35 - 36
[3] Application-level checkpointing for shared memory programs
Bronevetsky, G
Marques, D
Pingali, K
Szwed, P
Schulz, M
[J]. ACM SIGPLAN NOTICES, 2004, 39 (11) : 235 - 247
[4] Automated application-level checkpointing of MPI programs
Bronevetsky, G
Marques, D
Pingali, K
Stodghill, P
[J]. ACM SIGPLAN NOTICES, 2003, 38 (10) : 84 - 94
[5] ITALC: Interactive Tool for Application-Level Checkpointing
Arora, Ritu
Trung Nguyen Ba
[J]. HUST'17: PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON HPC USER SUPPORT TOOLS, 2017,
[6] Application-level checkpointing techniques for parallel programs
Walters, John Paul
Chaudhary, Vipin
[J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2006, 4317 : 221 - +
[7] Checkpointing RSIP applications at application-level in ChinaGrid
Li, CJ
Yang, XJ
Xiao, N
[J]. Current Trends in High Performance Computing and Its Applications, Proceedings, 2005, : 351 - 356
[8] System-Level vs. Application-Level Checkpointing
Posner, Jonas
[J]. 2020 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2020), 2020, : 404 - 405
[9] A technique for non-invasive application-level checkpointing
Arora, Ritu
Bangalore, Purushotham
Mernik, Marjan
[J]. JOURNAL OF SUPERCOMPUTING, 2011, 57 (03): : 227 - 255
[10] Adaptation strategies for application-level computation migration/checkpointing
Ji, YQ
Jiang, H
Chaudhary, V
[J]. PDPTA '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2005, : 1156 - 1162

← 1 2 3 4 5 →