SPX: Collaborative Research: Cross-layer Application-Aware Resilience at Extreme Scale (CAARES)

SPX：协作研究：超大规模跨层应用程序感知弹性 (CAARES)

• 批准号: 1725499
• 负责人: Barbara Chapman
• 金额: $ 26.67万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-08-15 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1725499&HistoricalAwards=false
• 关键词: SPX; Collaborative; Research; Cross; layer

The increasing demands of science and engineering applications push the limits of current large-scale systems, and is expected to achieve exascale (10^18 FLOPS) performance early in the next decade. One of the lesser studied challenge at extreme scales is the reliability of the computing system itself, primarily due to the very large number of cores and components utilized and to the sharp decrease of the Mean Time Between Failures on such systems (in the order of tens of minutes). This project departs from the traditional single component fault management model, and explores how multiple software libraries (and application components) used in the context of a single parallel application can interact to provide the holistic fault management support necessary for parallel applications targeting capability computing. This exploration will not be limited to software developed using a single parallel programming paradigm, but will be extended to encompass the more challenging case where multiple programming paradigms can be combined to achieve a common goal, to simulate a set of large scale scientific applications in use today.  The goal of this project is to depart from the current siloed resilience mechanisms, and propose cross-layer composition solutions that can fundamentally address these resilience challenges at extreme scales. This exploration will not be limited to software developed using a single parallel programming paradigm, but will be extended to encompass the more challenging case where multiple programming paradigms can be combined to achieve a common goal, to simulate a set of large scale scientific applications in use today. More specifically, this proposal will address the following research challenges: (1) development of a theoretical foundation for a deeper understanding of the challenges and opportunities arising from combining different resilience models and methodologies; (2) design of a flexible programming abstraction to allow different resilience models and mechanisms to be combined to cooperate and address resilience in a more holistic manner; and (3) development of basic, programming paradigm independent, constructs necessary to implement cross-layer and domain-specific approaches to support resilience and to understand related performance / quality trade-offs. The proposed approach will be validated by exposing these generic abstractions in two different programming paradigms (MPI and OpenSHMEM), by creating and developing specialized concepts for each of these paradigms. This will enable the assessment of the validity of the concepts and the corresponding overheads imposed by the different software layers, using few software frameworks and applications.

科学和工程应用不断增长的需求突破了当前大型系统的极限，预计在下一个十年初期将实现百亿亿次（10^18 FLOPS）性能，而在极端规模下研究较少的挑战之一是可靠性。计算系统本身，主要是由于使用了大量的核心和组件，以及此类系统上的平均故障间隔时间急剧减少（大约数十分钟）。该项目不同于传统的单一组件故障。管理模式，并探讨如何在单个并行应用程序的上下文中使用的多个软件库（和应用程序组件）可以交互，以提供针对能力计算的并行应用程序所需的整体故障管理支持。这种探索将不限于使用单个并行编程范例开发的软件。但将扩展到更具挑战性的情况，其中可以组合多个范式编程来实现共同目标，以模拟当今使用的一组大规模科学应用程序。该项目的目标是摆脱当前的孤立弹性机制。 ，并提出可以从根本上解决这些问题的跨层组合解决方案极端规模的弹性挑战。​这种探索不仅限于使用单一并行编程范式开发的软件，而是扩展到更具挑战性的情况，其中可以组合多个编程范式以实现共同目标，以模拟一组更具体地说，该提案将解决以下研究挑战：（1）建立理论基础，以更深入地了解结合不同弹性模型和方法所带来的挑战和机遇；设计灵活的编程抽象，以允许不同的弹性模型和机制结合起来以更全面的方式合作和解决弹性问题；(3) 开发独立于编程范式的基本结构，以实施跨层和特定领域的方法来支持弹性并理解相关的性能/质量权衡所提出的方法将通过在两种不同的编程范例（MPI 和 OpenSHMEM）中公开这些通用抽象，通过为每个范例创建和开发专门的概念来进行验证，这将能够评估概念的有效性和相应的开销。由不同的软件层强加的，使用很少的软件框架和应用程序。

项目成果

OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM

• DOI: 10.1109/ispdc52870.2021.9521645
• 发表时间: 2021-07
• 期刊: 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC)
• 作者: Md Abdullah Shahneous Bari;Ujjwal Arora;Varun Hegde;Tony Curtis;B. Chapman

Checkpointing OpenSHMEM Programs Using Compiler Analysis

使用编译器分析对 OpenSHMEM 程序进行检查点

• DOI: 10.1109/ftxs51974.2020.00011
• 发表时间: 2020
• 期刊: 2020 IEEE/ACM 10th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS
• 作者: Shahneous Bari, Md Abdullah;Basu, Debasmita;Lu, Wenbin;Curtis, Tony;Chapman, Barbara
• 通讯作者: Chapman, Barbara