Collaborative Research: Next Generation Compilers for Emerging Multicore Systems

合作研究：新兴多核系统的下一代编译器

• 批准号: 0702765
• 负责人: Lawrence Rauchwerger
• 金额: $ 48万
• 依托单位: Texas A&M Engineering Experiment Station
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-15 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702765&HistoricalAwards=false
• 关键词: Collaborative; Research; Next; Generation; Compilers

The emergence of multicores as the standard machine design has created one of the most important challenges to the software industry in the history of computing. To take advantage of the additional computational power of each new generation of machines, programs must be able to profit from the most important characteristic of multicores: the presence of multiple processors. In other words, programs must be able to execute in parallel. Furthermore, for efficient execution, this parallelism must take a form that is consistent with the internal organization of the multicore machine where the program is to execute. If these programs were to be manually designed, the need to take into account machine characteristics would increase the cost of program development significantly. Also, since newer multicore designs are likely to include novel architectural features, the process of porting programs from one generation to the next will also involve significant costs. In other words, if nothing is done, the significant increases in the cost of software will be necessary for widespread acceptance of multicores.Our objective in this project is to develop techniques for automating the process of generating efficient parallel programs. To this end, we will extend Pivot, a prototype C++ compiler, under development at Texas A&M, with techniques capable of automatically detecting the parallelism implicit in most conventional C++ programs and mapping it onto a wide range of multicore systems. That is, we will extend Pivot with automatic parallelization techniques. We will build on static and hybrid (static and dynamic) analysis techniques developed at Illinois and Texas A&M for numerical computations and extend them to handle the irregular data structures that are often used in C++ programs.

多核作为标准机器设计的出现，给软件行业带来了计算历史上最重要的挑战之一。为了利用每一代新机器的额外计算能力，程序必须能够从多核最重要的特性中获益：多个处理器的存在。换句话说，程序必须能够并行执行。此外，为了高效执行，这种并行性必须采取与程序将在其中执行的多核机器的内部组织一致的形式。如果这些程序是手工设计的，需要考虑到机器的特性将大大增加程序开发的成本。此外，由于新的多核设计可能包括新的架构特性，因此将程序从一代移植到下一代的过程也将涉及大量成本。换句话说，如果什么都不做，软件成本的显着增加将是必要的，以广泛接受多核。我们在这个项目中的目标是开发技术，自动化的过程中产生高效的并行程序。为此，我们将扩展枢轴，原型C++编译器，在得克萨斯州A M，开发中的技术能够自动检测隐含在大多数传统的C++程序的并行性，并将其映射到广泛的多核系统。也就是说，我们将使用自动并行化技术扩展Pivot。 我们将建立在静态和混合（静态和动态）的分析技术在伊利诺伊州和得克萨斯州A M数值计算开发，并将其扩展到处理C++程序中经常使用的不规则数据结构。