ITR: Compiler Technology for Automatic Parallelization via Thread-Level Speculation

ITR：通过线程级推测自动并行化的编译器技术

• 批准号: 0219931
• 负责人: Todd Mowry
• 金额: --
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0219931&HistoricalAwards=false
• 关键词: ITR; Compiler; Technology; Automatic; Parallelization

For many practical reasons (e.g., hardware development cost, powerconsumption, etc.), it would be attractive if we could increase theeffective performance of a computer system by simply adding more processorsto it. While it is reasonably straightforward to build such systems thatsupport "parallel processing", relatively few of today's programs wouldenjoy any performance gain on such machines because they were not writtenwith parallel processing in mind. The ideal solution for harnessing thepotential benefits of parallel processing without placing a large burden onthe programmer would be for the compiler to automatically transform asequential program into an efficient parallel program. While there hasbeen progress on using compilers to automatically "parallelize" regularnumeric programs (typically written in FORTRAN), there has been littleprogress in automatically parallelizing broader classes of programs. Thekey stumbling block has been that compilers have traditionally createdparallelism by proving that potential threads are always independent. Tocircumvent this limitation, recent hardware prooposals enable the compilerto optimistically create parallel threads without proving independence. Inthis project, we plan to develop the compiler technology necessary to fullyexploit this new potential for harnessing parallel processors.

由于许多实际原因（例如，硬件开发成本、功耗等），如果我们能通过简单地增加处理器来提高计算机系统的有效性能，那将是很有吸引力的。虽然建立这样的支持“并行处理”的系统相当简单，但今天的程序很少会在这样的机器上获得任何性能上的提高，因为它们不是在考虑并行处理的情况下编写的。 利用并行处理的潜在好处而又不给程序员带来很大负担的理想解决方案是编译器自动将顺序程序转换为高效的并行程序。 虽然在使用编译器自动并行化常规数值程序（通常用FORTRAN编写）方面取得了进展，但在自动并行化更广泛的程序类别方面却进展甚微。 关键的绊脚石是编译器传统上通过证明潜在的线程总是独立的来创建并行性。 为了避免这个限制，最近的硬件prooptools使编译器乐观地创建并行线程，而无需证明独立性。 在这个项目中，我们计划开发必要的编译器技术，以充分利用这种新的潜力，利用并行处理器。