An MLIR-based Compiler Flow for System-Level Design and Hardware Acceleration

编译程序 计算机科学 水准点(测量) 粒度 加速 优化编译器 高级合成 并行计算 代码生成 领域特定语言 嵌入式系统 计算机工程 程序设计语言 现场可编程门阵列 操作系统 地理 大地测量学 钥匙(锁)
作者
Nicolas Bohm Agostini,Serena Curzel,Vinay Amatya,Cheng Tan,Marco Minutoli,Vito Giovanni Castellana,Joseph Manzano,David Kaeli,Antonino Tumeo
标识
DOI:10.1145/3508352.3549424
摘要

The generation of custom hardware accelerators for applications implemented within high-level productive programming frameworks requires considerable manual effort. To automate this process, we introduce SODA-OPT, a compiler tool that extends the MLIR infrastructure. SODA-OPT automatically searches, outlines, tiles, and pre-optimizes relevant code regions to generate high-quality accelerators through high-level synthesis. SODA-OPT can support any high-level programming framework and domain-specific language that interface with the MLIR infrastructure. By leveraging MLIR, SODA-OPT solves compiler optimization problems with specialized abstractions. Backend synthesis tools connect to SODA-OPT through progressive intermediate representation lowerings. SODA-OPT interfaces to a design space exploration engine to identify the combination of compiler optimization passes and options that provides high-performance generated designs for different backends and targets. We demonstrate the practical applicability of the compilation flow by exploring the automatic generation of accelerators for deep neural networks operators outlined at arbitrary granularity and by combining outlining with tiling on large convolution layers. Experimental results with kernels from the PolyBench benchmark show that our high-level optimizations improve execution delays of synthesized accelerators up to 60x. We also show that for the selected kernels, our solution outperforms the current of state-of-the art in more than 70% of the benchmarks and provides better average speedup in 55% of them. SODA-OPT is an open source project available at https://gitlab.pnnl.gov/sodalite/soda-opt.

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
诚心的香水完成签到,获得积分10
1秒前
英勇水云完成签到,获得积分10
1秒前
Apple完成签到 ,获得积分10
1秒前
zdyw完成签到,获得积分10
1秒前
研友_VZG7GZ应助梧桐采纳,获得10
1秒前
清歌完成签到,获得积分10
1秒前
小马甲应助tututu采纳,获得10
1秒前
ch发布了新的文献求助10
1秒前
星辰大海应助tc采纳,获得10
1秒前
hei发布了新的文献求助20
2秒前
小北完成签到,获得积分10
2秒前
2秒前
周子强发布了新的文献求助10
3秒前
3秒前
5U发布了新的文献求助10
3秒前
安详的惜梦完成签到 ,获得积分10
3秒前
jingguofu发布了新的文献求助10
3秒前
亮123发布了新的文献求助10
3秒前
暮晓见完成签到 ,获得积分10
4秒前
4秒前
华仔应助sasa采纳,获得30
4秒前
杜大帅完成签到,获得积分10
4秒前
晚风发布了新的文献求助10
5秒前
胖蛋蛋蛋完成签到,获得积分10
5秒前
5秒前
北极星发布了新的文献求助10
5秒前
健壮听筠完成签到,获得积分10
5秒前
清野发布了新的文献求助10
5秒前
所所应助无限的雁芙采纳,获得10
6秒前
111完成签到,获得积分10
7秒前
7秒前
donk完成签到,获得积分10
7秒前
7秒前
7秒前
甜甜新竹完成签到,获得积分10
8秒前
Tfgghh完成签到,获得积分10
8秒前
可爱的函函应助清风采纳,获得10
8秒前
8秒前
MM完成签到,获得积分10
9秒前
9秒前
高分求助中
Annie Ernaux: De la perte au corps glorieux 600
Petrology and Plate Tectonics,2025 500
Optical Coating Design with the Essential Macleod 400
A revision of Limenitis helmanni and its related species (Nymphalidae) from Central and South China 400
Moore's Clinically Oriented Anatomy 10th Edition 400
Direct and Iterative Linear System Solvers 400
Cardiopulmonary Bypass and Mechanical Support: Principles and Practice, Fifth Edition 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6784665
求助须知:如何正确求助?哪些是违规求助? 8506780
关于积分的说明 18117187
捐赠科研通 6090095
什么是DOI,文献DOI怎么找? 3019760
邀请新用户注册赠送积分活动 1996736
关于科研通互助平台的介绍 1982883