权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis

CAPA：合作研究：ARION：通过 DSL、近似和综合来驯服异质性

基本信息

批准号：
1723445
负责人：
Jonathan Ragan-Kelley
金额：
$ 30万
依托单位：
University of California-Berkeley
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2017
资助国家：
美国
起止时间：
2017-10-01 至 2022-04-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1723445&HistoricalAwards=false
关键词：
CAPA Collaborative Research ARION Taming

项目摘要

Specialization and the arrival of new technologies are key forces motivating heterogeneous systems. Heterogeneity is already in use widely, with public clouds offering instances that are heterogeneous in both compute capabilities and storage. This project identifies the following forces that will make systems heterogeneous beyond just compute and storage, complicating programming and compilation beyond the challenges that we face today. This project develops Arion, a system for compiling programs onto heterogeneous platforms based on several unifying ideas. The Arion system will be evaluated on practically relevant workloads ranging from computer vision and virtual reality, to graph computations, machine learning and stream processing. The investigators will work with partners in industry to transfer research results to products, and the tools and software developed by this project will be released as open source.The research in this project relies on four unifying ideas. The first thrust explores schedules and type systems separate a program's specification from its implementation strategy, enabling performance portability because one can select, without changing the program, its parallelism, locality, and hardware mapping. The second thrust uses domain-specific languages to describe not only programs but also artifacts used during compilation, such as schedules, resource-, and memory consistency models. This allows automatic synthesis of these artifacts. The third thrust uses resource models to bring scheduling and synthesis to large programs because the target program need not be scheduled or synthesized all at once. Instead, the compiler makes high-level decisions by estimating performance using a model before committing to low-level decisions. Finally, the investigators will use formal methods to lift programs into, and verify and synthesize programs in our DSLs, providing a high degree of automation. The verifiers and synthesizers are automatically generated from descriptions of DSLs.

专业化和新技术的到来是推动异构系统的关键力量。异构云已经得到了广泛的应用，公共云提供了计算能力和存储都异构的实例。该项目确定了以下力量，这些力量将使系统异构，不仅仅是计算和存储，使编程和编译复杂化，超越我们今天面临的挑战。这个项目开发了Arion，一个基于几个统一思想的在异构平台上编译程序的系统。Arion系统将在从计算机视觉和虚拟现实到图形计算、机器学习和流处理的实际相关工作负载上进行评估。研究人员将与行业合作伙伴合作，将研究成果转化为产品，该项目开发的工具和软件将以开源形式发布。第一个推力探索的时间表和类型系统分离程序的规范从其实现策略，使性能的可移植性，因为人们可以选择，而不改变程序，其并行性，局部性和硬件映射。第二个重点是使用特定领域的语言来描述程序和编译过程中使用的工件，如调度、资源和内存一致性模型。这允许自动合成这些工件。第三个推力使用资源模型，使调度和综合大型程序，因为目标程序不需要调度或综合一次。相反，编译器通过在提交低级决策之前使用模型估计性能来做出高级决策。最后，研究人员将使用形式化的方法将程序提升到我们的DSL中，并在我们的DSL中验证和合成程序，提供高度的自动化。验证器和合成器是根据DSL的描述自动生成的。

项目成果

期刊论文数量（9）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Generalized data structure synthesis

广义数据结构综合

DOI：
10.1145/3180155.3180211
发表时间：
2018
期刊：
Proceedings of the 40th International Conference on Software Engineering
影响因子：
0
作者：
Loncaric, Calvin;Ernst, Michael D.;Torlak, Emina
通讯作者：
Torlak, Emina

Differentiable Programming for Image Processing and Deep Learning in Halide

DOI：
10.1145/3197517.3201383
发表时间：
2018-08-01
期刊：
ACM TRANSACTIONS ON GRAPHICS
影响因子：
6.2
作者：
Li, Tzu-Mao;Gharbi, Michael;Ragan-Kelley, Jonathan
通讯作者：
Ragan-Kelley, Jonathan

Exocompilation for productive programming of hardware accelerators

DOI：
10.1145/3519939.3523446
发表时间：
2022-06
期刊：
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
影响因子：
0
作者：
Yuka Ikarashi;G. Bernstein;Alex Reinking;Hasan Genç;Jonathan Ragan-Kelley
通讯作者：
Yuka Ikarashi;G. Bernstein;Alex Reinking;Hasan Genç;Jonathan Ragan-Kelley

Learning to Optimize Halide with Tree Search and Random Programs