SHF: Small: Collaborative Research: Adaptive Automatic Parallelization

SHF：小型：协作研究：自适应自动并行化

• 批准号: 1218734
• 负责人: John Cavazos
• 金额: $ 25万
• 依托单位: University of Delaware
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-10-01 至 2015-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218734&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Adaptive

To effectively exploit the power of multi-core processors, programs must be structured as a collection of independent tasks, where separate tasks execute on independent cores. The complexity of modern software makes it difficult for programmers to express their algorithms within this model, both due to the amount of program analysis needed to identify regions of code that can run in parallel, and the likelihood that different regions of code will be best suited by distinct, and possibly incompatible, models of parallel computing. In particular, some codes are best parallelized through speculative techniques, while others favor regular analysis, such as that provided by the polyhedral approach.The proposed research addresses fundamental issues in the creation of parallel programs through a novel combination of automatic and profile-driven techniques. The heart of the research is a robust system based on machine learning, through which a compilation tool can analyze a program, assess the suitability of a variety of parallelization techniques to that program, and then apply the most promising techniques automatically. At run-time, the program will also employ learning to adapt its behavior according to inputs and environment. Furthermore, the programmer will be given a profile-driven feedback mechanism, in order to guide the tool to refine its parallelization of the program, and guide the program's self-tuning behavior. In conjunction with the creation of this system, new algorithms and tools for speculative parallelization and large-scale program analysis will be invented. Prototypes and source code will be distributed as open-source software.

为了有效地利用多核处理器的能力，程序必须被构造为独立任务的集合，其中单独的任务在独立的核上执行。 现代软件的复杂性使得程序员很难在这个模型中表达他们的算法，这既是因为需要大量的程序分析来识别可以并行运行的代码区域，也是因为不同的代码区域将最适合不同的、可能不兼容的并行计算模型。 特别是，一些代码是最好的并行化，通过投机技术，而其他人喜欢定期分析，如多面体的approach.The建议的研究解决了基本问题，通过一个新的组合自动和配置文件驱动技术的并行程序的创建。 该研究的核心是一个基于机器学习的强大系统，通过该系统，编译工具可以分析程序，评估各种并行化技术对该程序的适用性，然后自动应用最有前途的技术。 在运行时，程序还将使用学习来根据输入和环境调整其行为。 此外，程序员将被给予一个配置文件驱动的反馈机制，以指导工具，以完善其并行程序，并指导程序的自我调优行为。 在创建这个系统的同时，将发明用于推测并行化和大规模程序分析的新算法和工具。原型和源代码将作为开放源码软件分发。