XPS: FULL: DSD: Scalable High Performance with Halide and Simit Domain Specific Languages

XPS：完整：DSD：使用 Halide 和 Simit 领域特定语言的可扩展高性能

• 批准号: 1533753
• 负责人: Saman Amarasinghe
• 金额: $ 84.5万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-08-01 至 2020-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1533753&HistoricalAwards=false
• 关键词: XPS; FULL; DSD; Scalable; Performance

Title: XPS: FULL: DSD: Scalable High Performance with Halide and Simit Domain Specific LanguagesToday, getting scalable parallel performance requires heroic programming by experts. In this proposal we are developing a methodology based on Domain Specific Languages (DSLs) to simplify the programmer effort required to harness the power of scalable parallelism. The intellectual merits of this proposal are to show that DSLs can provide a way for programmers to take advantage of scalable performance without a heroic effort. Having a simple path for scalable parallel performance will have a broader significance and importance on areas such as climate modeling and other simulations of large-scale science, by enabling them to efficiently utilize large-scale machines and the cloud.This proposal aims to radically simplify high performance DSL construction. First, it will introduce a unified transformation framework where complex program transformations are described by example. Using synthesis technology, combinations of localized rewriting rules will be extracted and applied, simplifying the implementation while providing correctness guarantees. Second, it will build a unified parallel low-level intermediate representation by extending LLVM. With the new parallel backend, DSLs only have to expose algorithmic parallelism and the backend will do all architecture-specific mapping of parallelism to vector, non-uniform memory access (NUMA), graphics processing unit (GPU) and distributed parallel components. Third, it will develop a unified auto-tuning framework. Effectiveness of frontend transformations depends on the ability of backends to exploit them. The unified auto-tuning framework will completely eliminate this complexity by offloading transformation selection to the auto-tuner which will use sophisticated machine learning techniques to empirically select transformations that yield the best scalable parallel performance. The ideas introduced will be demonstrated through two important domain-specific languages ? the Halide DSL for image processing pipelines and the Simit DSL for physical simulations.

标题：XPS：Full：DSD：Scalable High Performance with Halide and Simit Domestic Languages如今，要获得可扩展的并行性能，需要专家进行出色的编程。在本提案中，我们正在开发一种基于领域特定语言(DSL)的方法，以简化程序员利用可伸缩并行性的力量所需的工作。这一提议的智力价值在于表明，DSL可以为程序员提供一种方式来利用可伸缩的性能，而不需要付出巨大的努力。该方案旨在从根本上简化高性能DSL的构建，使其能够有效地利用大规模机器和云，从而具有简单的可扩展并行性能的路径，对于气候建模和其他大范围科学模拟等领域具有更广泛的意义和重要性。首先，它将介绍一个统一的转换框架，其中通过示例来描述复杂的程序转换。利用合成技术，提取和应用本地化重写规则的组合，在保证正确性的同时简化了实现。其次，通过扩展LLVM，构建统一的并行低级中间表示。有了新的并行后端，DSL只需公开算法并行性，后端将完成并行到向量、非一致内存访问(NUMA)、图形处理单元(GPU)和分布式并行组件的所有特定于体系结构的映射。第三，它将开发一个统一的自动调整框架。前端转换的有效性取决于后端利用它们的能力。统一的自动调整框架将通过将转换选择卸载到自动调谐器来完全消除这种复杂性，自动调谐器将使用复杂的机器学习技术来经验地选择产生最佳可扩展并行性能的转换。介绍的想法将通过两种重要的特定于领域的语言来演示？用于图像处理管道的Halide DSL和用于物理模拟的Simit DSL。