Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages

合作研究：CPA-SEL：高级并行语言的实现技术

• 批准号: 1010568
• 负责人: Matthew Fluet
• 金额: $ 6.24万
• 依托单位: Rochester Institute of Tech
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-10-01 至 2012-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1010568&HistoricalAwards=false
• 关键词: Collaborative; Research; CPA; SEL; Implementation

The rapid trend toward multi-core architectures promises faster execution of computer programs but poses significant difficulties for software development due to the lack of good programming models for exploiting the parallelism in such architectures. This situation is a significant opportunity for programming-language research to supply effective languages and tools for writing desktop applications while exploiting the performance of multi-core hardware. It is well known that functional-programming languages provide a good semantic base for concurrent and parallel programming, but for such languages to be successful, they need to provide competitive performance. The research focuses on the technical challenges in the efficient implementation of parallel functional languages. The characteristics of multi-core and many-core architectures demand that implementations preserve sequential semantics in parallel constructs, manage the granularity and scheduling of parallel threads, and be aware of the locality of data. The research explores a collection of techniques that combine static program analyses, compiler transformations, and dynamic runtime policies. Empirical analysis of both traditional parallel benchmarks and small applications is used to evaluate the effectiveness of the techniques developed by this research. By addressing performance concerns, the research will enable the practical use of parallel functional programming languages for a broad range of applications.

多核体系结构的快速发展趋势保证了计算机程序的更快执行，但由于缺乏良好的编程模型来利用这种体系结构中的并行性，因此给软件开发带来了重大困难。这种情况为编程语言研究提供了一个重要的机会，可以为编写桌面应用程序提供有效的语言和工具，同时利用多核硬件的性能。众所周知，函数式编程语言为并发和并行编程提供了良好的语义基础，但是要使这种语言取得成功，它们需要提供具有竞争力的性能。重点研究了并行函数式语言高效实现中的技术挑战。多核和多核架构的特点要求实现在并行构造中保持顺序语义，管理并行线程的粒度和调度，并注意数据的局部性。该研究探索了一组结合了静态程序分析、编译器转换和动态运行时策略的技术。对传统的并行基准测试和小型应用程序进行了实证分析，以评估本研究开发的技术的有效性。通过解决性能问题，该研究将使并行函数式编程语言在广泛的应用中得到实际应用。