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.

作为标准机器设计，多具的出现已经为计算历史上的软件行业带来了最重要的挑战之一。为了利用每个新一代机器的其他计算能力，程序必须能够从多周的最重要特征中获利：多个处理器的存在。换句话说，程序必须能够并行执行。此外，为了有效执行，该并行性必须采用与该程序要执行的多功能机器的内部组织相一致的表格。如果要手动设计这些程序，则需要考虑机器特征的需求将大大增加计划开发的成本。同样，由于较新的多核设计可能包括新颖的建筑特征，因此将程序从一代到另一代的移植程序的过程也将涉及巨大的成本。换句话说，如果什么也没做，那么对于广泛接受多学士学位，软件成本的显着增加将是必要的。我们的目标是开发自动化产生有效并行程序的过程的技术。为此，我们将扩展在德克萨斯州A＆M开发的Proutype C ++编译器的Pivot，其技术能够自动检测大多数常规的C ++程序中隐含的并行性，并将其映射到广泛的多层系统中。也就是说，我们将使用自动并行化技术扩展枢轴。 我们将建立在伊利诺伊州和德克萨斯A＆M开发的数值计算的静态和混合（静态和动态）分析技术的基础上，并扩展它们以处理C ++程序中经常使用的不规则数据结构。