Efficient Execution of Fine-Grained Concurrent Programs

细粒度并发程序提供了可移植并发编程的可能性，但是它们的高效执行还不实用。这个项目的目标是开发技术，通过转换细粒度程序的执行粒度大小来支持它们的有效执行。细粒度的程序会带来特殊的问题，因为每个粒度的开销可能会压倒利用它们的并发性所带来的好处。该项目关注并发的、基于对象的程序，因为它们允许细粒度并发性的表达，并耦合数据和程序，提供重要的数据位置信息。程序转换通过分组对象来增加程序的局部性。这允许将小的计算粒度合并为更大的粒度，从而提高执行效率并减少通信需求。本研究将探讨并发面向对象程序中的控制和通信模式的定量分析，程序分析和转换技术的发展，以及基于共享中间形式的实现和评估。定量分析为理解程序的行为提供了有用的参考点和基础。分析技术确定调用路径和静态对象关系，使程序转换的应用程序能够沿着调用路径分组对象。这种技术增加了程序的局部性，减少了通信，并允许使用更高效、更专门化的代码序列。

Fine-grained concurrent programs offer the potential for portable concurrent programming, but their efficient execution is not yet practical. The objective of this project is to develop techniques to support efficient execution of fine-grained programs by transforming their execution grain size. Fine-grained programs present special problems because the overhead of each grain can overwhelm the benefits of exploiting their concurrency. The project focuses on concurrent, object-based programs because they allow the expression of fine-grained concurrency and couple data and program, providing important data locality information. The program transformations increase program locality by grouping objects. This allows small computational grains to be merged into larger grains, increasing execution efficiency and reducing communication requirements. The research will examine quantitative analysis of control and communication patterns in concurrent object-oriented programs, the development of program analysis and transformation techniques, and their implementation and evaluation based on a sharable intermediate form. Quantitative analysis provides a useful point of reference and the basis for understanding the behavior of programs. The analysis techniques identify invocation paths and static object relations, enabling the application of program transformations grouping objects along invocation paths. Such techniques increase program locality, reducing communication and permitting the use of more efficient, specialized code sequences.