SHF: Medium: Collaborative Research: An Inspector/Executor Compilation Framework for Irregular Applications

SHF：Medium：协作研究：针对不规则应用的检查器/执行器编译框架

• 批准号: 1564074
• 负责人: Mary Hall
• 金额: $ 40万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-09-01 至 2021-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1564074&HistoricalAwards=false
• 关键词: SHF; Medium; Collaborative; Research; Inspector

Computational science and engineering provides inexpensive exploration of physical phenomena and design spaces and helps direct experimentation and advise theory. Irregular applications such as molecular dynamics simulations, n-body simulations, finite element analysis, and big graph analytics constitute a critical and significant portion of scientific computing applications. An irregular application is characterized by having indirect memory accesses that cannot be determined when the application is being compiled, therefore severely limiting the applicability of the large body of work on parallelizing compiler technology. Consequently, irregular applications, which are so important in pushing forward the frontiers of science, place a very large burden on computational and domain scientists in developing high-performance implementations for the ever-changing landscape of parallel architectures. The intellectual merit of this project is to develop a compiler and runtime framework for irregular applications, particularly well suited for sparse matrix and graph computations that underlie critical problems in computational science and data science. The broader impact is to provide domain scientists a powerful tool for optimizing and porting performance-critical, irregular computations to current and future multi-core processors and many-core accelerators. The PIs will also continue efforts in outreach and diversity to increase the participation in STEM careers, particularly among women and underrepresented minorities.The approach in this project is to extend the well-established inspector/executor paradigm where the computational dependence structure (based on the memory access pattern) is determined at runtime, and runtime information is passed to a compile-time generated executor. Specifically, an inspector can examine the memory access patterns early in the computation at runtime, and an executor leverages this information to perform data and computation reordering and scheduling to affect memory hierarchy and parallelism optimizations. The project is developing a compiler and runtime framework with new abstractions for expressing and manipulating inspectors; these inspectors may then be integrated nearly seamlessly with each other and with existing compiler optimizations (e.g., loop tiling) to optimize executors. The project is also extending prior work that supports non-affine input code and mixes compile-time and runtime optimization. The resulting system increases the productivity of expert programmers in achieving both high performance and portability on a wide variety of irregular applications.

计算科学和工程提供了对物理现象和设计空间的廉价探索，并有助于指导实验和建议理论。不规则的应用，例如分子动力学模拟，N体模拟，有限元分析和大图分析，构成了科学计算应用的关键和重要部分。 不规则应用的特征是在汇编应用程序时无法确定间接内存访问，因此严重限制了大型工作在并行编译器技术上的适用性。因此，不规则的应用在推动科学领域非常重要的是，对计算和领域科学家的巨大负担在为不断变化的平行建筑景观开发高性能实施时，给了很大的负担。该项目的智力优点是为不规则应用程序开发编译器和运行时框架，特别适合稀疏矩阵和图表计算，这些计算是计算科学和数据科学中关键问题的基础。更广泛的影响是为领域科学家提供一种强大的工具，可针对当前和未来的多核处理器和多核加速器优化和移植至关重要的性能，不规则计算。 PI还将继续在外展和多样性方面努力，以增加对STEM职业的参与，尤其是在女性和代表性不足的少数群体中。该项目的方法是扩展良好的检查员/执行者范式，其中计算依赖性结构（基于内存访问模式（基于内存）在运行时确定，并将运行时信息确定为编译时产生的执行者。具体来说，检查员可以在运行时的计算早期检查内存访问模式，而执行者则利用此信息执行数据和计算重新排序并计划以影响内存层次结构和并行性优化。该项目正在开发一个编译器和运行时框架，并具有新的抽象来表达和操纵检查员；然后，可以将这些检查人员几乎彼此无缝集成，并与现有的编译器优化（例如，循环瓷砖）进行优化。该项目还扩展了支持非诉式输入代码的先前工作，并混合了编译时和运行时优化。最终的系统提高了专家程序员在各种不规则应用程序上达到高性能和便携性方面的生产率。