CSR-AES: Language, Compiler and Run-time Support for Irregular Applications in Emerging High-productivity Languages

该项目正在开发新的技术，用于在高性能高度并行平台上编写“不规则”并行应用程序，与Cray公司的Chapel编程语言团队合作。 该项目解决了这类应用程序的几个核心问题。首先，这项工作是通过添加通用语言特性来指定特殊情况的优化处理，从而扩展Chapel现有的对用户定义的不规则数据分布的支持，这些特殊情况通常对足够的性能至关重要。 其次，该项目正在设计和评估软件事务存储器（STM）算法，这些算法可以扩展到非常大规模的系统（例如，分布式内存集群），与之前专注于较小规模（缓存一致）系统的STM工作相反。 第三，整个研究项目的一个（单独资助的）组成部分是开发确定性语言机制，用于基于指针的数据的并行计算，使用类型和效果系统来表达并行性并证明不干涉。如果成功，这项研究将提高编程的易用性，并为当今程序员特别具有挑战性的广泛应用程序提供高性能，即“不规则”应用程序。 此外，这项工作的目的是实现两种直接的技术转移到行业：贡献的教堂语言和编译器的努力，在克雷，和贡献的联合语言设计的努力，在DARPA HPCS计划。 主要的研究特性，包括语言规范和编译器原型，将作为免费的开源软件提供给研究社区使用。 高性能并行程序的动态编译器基础设施应该是这一领域进一步研究的一个特别有价值的工具。

This project is developing new techniques for programming "irregular"parallel applications on high-performance highly parallel platforms,in collaboration with the Chapel programming language team at Cray,Inc. The project addresses several core issues for such applications.First, the work is extending Chapel's existing support foruser-defined irregular data distributions by adding general languagefeatures for specifying optimized handling of special cases, which areusually essential for adequate performance. Second, the project isdesigning and evaluating software transactional memory (STM)algorithms that scale to very large scale systems (e.g.,distributed-memory clusters), in contrast to previous STM work thathas focused on smaller-scale (cache coherent) systems. Third, a(separately funded) component of the overall research project isdeveloping deterministic language mechanisms for parallel computationson pointer-based data using a type and effect system for expressingparallelism and proving noninterference.If successful, this research will improve ease of programming anddeliver high performance for a wide range of applications that areespecially challenging for programmers today, namely, "irregular"applications. Further, the work aims to achieve two kinds of directtechnology transfer to industry: contributions to the Chapel languageand compiler effort at Cray, and contributions to the joint languagedesign effort in the DARPA HPCS program. The major researchartifacts, including the language specification and compilerprototype, will be made available as free, open source software forthe research community to use. The dynamic compiler infrastructurefor high-performance parallel programs should be a particularlyvaluable tool for further research in this area.