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.