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

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

• 批准号: 0811389
• 负责人: David MacQueen
• 金额: $ 41.45万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-07-01 至 2012-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0811389&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.

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