SHF: Small: Collaborative Research: Adaptive Automatic Parallelization

为了有效地利用多核处理器的强大功能，程序必须被构建为独立任务的集合，其中单独的任务在独立的核心上执行。现代软件的复杂性使得程序员很难在这个模型中表达他们的算法，一方面是因为需要大量的程序分析来确定可以并行运行的代码区域，另一方面是因为不同的代码区域可能最适合不同的并行计算模型，甚至可能不兼容。特别是，一些代码最好通过推测技术并行化，而另一些代码则倾向于常规分析，例如多面体方法提供的方法。提出的研究解决了通过自动和概要驱动技术的新颖组合创建并行程序的基本问题。该研究的核心是一个基于机器学习的鲁棒系统，通过该系统，编译工具可以分析程序，评估各种并行化技术对该程序的适用性，然后自动应用最有前途的技术。在运行时，程序还将利用学习来根据输入和环境调整其行为。此外，程序员将获得一个配置文件驱动的反馈机制，以指导工具改进程序的并行化，并指导程序的自调优行为。与此系统的创建相结合，将发明用于推测并行化和大规模程序分析的新算法和工具。原型和源代码将作为开源软件分发。

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.