Efficient Execution of Fine-Grained Concurrent Programs

细粒度并发程序提供了 可移植的并发编程，但它们的高效执行不是 但实际上。 该项目的目标是开发 支持细粒度程序的有效执行的技术， 改变它们的执行粒度。 细粒度的程序会带来特殊的问题，因为 每一粒粮食的开销可以压倒利用其 并发 该项目侧重于并发的、基于对象的 程序，因为它们允许表达细粒度的并发 并将数据和程序耦合，提供重要的数据局部性 信息. 程序转换通过以下方式增加程序局部性： 分组对象。 这使得小的计算颗粒能够被 合并成更大的颗粒，提高执行效率， 减少通信需求。 该研究将审查控制的定量分析， 并发面向对象程序中的通信模式， 开发程序分析和转换技术，以及 它们的实施和评估基于一个可共享的中间体， form. 定量分析提供了一个有用的参考点， 理解程序行为的基础。 分析 技术识别调用路径和静态对象关系， 允许应用程序转换分组对象 沿着调用路径。 这种技术增加了程序局部性， 减少通信并允许使用更有效的， 专门的代码序列。

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.