CAREER: Parallelization using Inspector/Executor Strategies (PIES)

不规则计算出现在许多重要的科学和工程应用领域，如求解不规则网格上的偏微分方程、分子动力学模拟和稀疏矩阵上的计算。为了解决这个问题，已经开发出检查器/执行器策略，其中检查器动态分析内存引用模式并生成通信计划和/或重新组织计算和数据，执行器并行执行不规则计算。尽管检查器/执行器策略已经被整合到许多应用程序和库中，但这些策略仍然受到两个主要问题的阻碍：(1)目前，尽管手工合成需要复杂和困难，但没有通用的框架可以将检查器/执行器策略自动化到程序中。(2)不规范应用程序的性能明显滞后于规范应用程序？对于当前和下一代高端多核系统，这一差距正在扩大。这项研究包括开发一个名为PIES（使用检查器/执行器策略的并行化）的工具套件，用于将检查器/执行器策略自动合并到不规则应用程序中。PIES工具套件包括用于指定不规则代码和检查员/执行器策略的映射中间表示（MapIR），能够确定各种检查员/执行器策略的法律应用的程序分析工具，能够自动生成检查员和执行器的代码生成器，以及指导检查员/执行器策略及其参数选择的性能模型。本研究包括一项针对当地高中生的推广计划，该计划基于将PIES工具套件应用于分子动力学模拟。使用PIES工具套件可以自动将检查器/执行器策略合并到现有代码中，从而减少软件开发时间，并支持开发新的检查器/执行器策略。

Irregular computations occur in many important science and engineering application domains such as solving partial differential equations over irregular grids, molecular dynamics simulations, and computations over sparse matrices. To address this problem, inspector/executor strategies have been developed where the inspector dynamically analyzes memory reference patterns and generates communication schedules and/or reorganizes computation and data, and the executor executes the irregular computation in parallel. Although inspector/executor strategies have been incorporated into many applications and libraries, these strategies are still hindered by two main problems: (1) Currently, no general framework exists for automating the process of incorporating inspector/executor strategies into programs despite the complexity and difficulty that by-hand synthesis entails. (2) The performance of irregular applications significantly lags that of regular applications ? and this gap is widening for current and next-generation high-end multi-core systems.This research involves developing a tool suite called PIES (Parallelization using Inspector/Executor Strategies) for the automatic incorporation of inspector/executor strategies into irregular applications. The PIES tool suite includes the Mapping Intermediate Representation (MapIR) for specifying irregular code and inspector/executor strategies, a program analysis tool capable of determining the legal application of various inspector/executor strategies, a code generator capable of automatically generating inspectors and executors, and performance models to guide the selection of inspector/executor strategies and their parameters. This research includes an outreach program for local high school students based on applying the PIES tool suite to molecular dynamics simulations. Use of the PIES tool suite reduces software development time by automating the incorporation of inspector/executor strategies into existing code and enables the development of new inspector/executor strategies.