CSR:Small:New Slicing Techniques for Program Parallelization

该奖项由2009年美国复苏和再投资法案（公法111-5）资助。多核处理器已成为主流。与此同时，CPU时钟频率不再增加。在这种环境中运行，应用程序开发人员面临着并行化软件的竞争压力，以便为计算密集型功能实现可接受的性能水平。不幸的是，全自动并行化受到顺序语义和编译器限制的约束。的分析能力。因此，设计用于开发高效而可靠的主流应用程序的并行编程语言仍然是一个挑战。 完全手工重写软件是不可取的，因为这种活动可能会浪费在大型软件上多年的投资。因此，理想情况下，现有的软件应该自动转换为新的并行形式。为了解决这个问题，新的程序切片技术进行了研究，在这个项目中，使程序员转换现有的顺序程序，以最小的手工修改，到可以安全地并行化的自动工具的形式。这项研究将导致一组新的程序分析和转换技术，以支持新的切片方法。该项目将对美国软件业产生广泛影响？的能力，在全球范围内的竞争，奋进改造现有的软件，为新兴的硬件平台。该项目中开发的工具和技术将用于研究生和本科生提供的编译器和架构课程。该项目还让研究生和本科生参与关键的研究活动，提供先进的技术培训，这对新一代计算机科学家和软件工程师未来的成功至关重要。

This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).Multicore processors have become main-stream. At the same time, CPU clock rates are no longer increasing. Operating within this environment, application developers are under competitive pressure to parallelize software in order to achieve an aceptable performance level for computationally intensive features. Unfortunately, fully automated parallelization is constrained by sequential semantics and by limits of a compiler?s analytical abilities. Consequently, designing parallel programming languages for developing efficient yet reliable main-stream applications continues to be a challenge. Rewriting software completely by hand is undesireable, because this kind of activity may waste years of investment in large scale software. Therefore, ideally, existing software should be automatically converted to new parallel forms.To address this problem, new program slicing techniques are investigated in this project to enable programmers to convert existing sequential programs, with minimum hand-made changes, into forms which can be safely parallelized by automatic tools. This research will result in a set of novel program analysis and transformation techniques to support the new slicing methods. The project will have a broad impact on the US software industry?s ability to compete globally in its endeavor to retrofit existing software for the emerging hardware platforms. The tool and techniques developed in the project will be used in compiler and architecture courses offered at both graduate and undergraduate levels. The project also engages both graduate and undergraduate students in the key research activities, providing advanced technical training which will be critical to future success of a new generation of computer scientists and software engineers.