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.