期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向深度学习编译器TVM的算子融合优化
1
作者
高伟
王磊
+2 位作者
李嘉楠
李帅龙
韩林
《计算机科学》
北大核心
2025年第5期58-66,共9页
算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方...
算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方案存在以下问题:首先,功能特性的算子分类方式下的融合规则不够通用,会错失算子融合机会,无法实现更大粒度的融合;其次,贪心的融合算法也无法实现算子融合的最优解。针对上述问题,对TVM进行改进,提出按照算子输入输出映射类型的算子分类方式,并设计通用的算子融合规则以扩大算子融合的粒度;提出基于动态规划的融合方案搜索算法和算子融合代价评估模型,并对搜索空间进行剪枝,使得算法能够在合理时间内搜索得到优化的融合方案。为评测融合方案的有效性,在CPU以及DCU等平台上对VGG-16,Efficient-B0,MobileNet-V1,YOLO-V4等深度学习模型的融合比和推理时延进行测试,实验结果表明,相较于TVM原有融合方案,所提方案融合比平均提升了27%,推理时延平均获得了1.75的加速比。
展开更多
关键词
深度学习编译器
TVM
算子融合
融合规则
动态规划
在线阅读
下载PDF
职称材料
深度学习编译器缺陷实证研究:现状与演化分析
2
作者
沈庆超
田家硕
+3 位作者
陈俊洁
陈翔
陈庆燕
王赞
《软件学报》
北大核心
2025年第7期3022-3040,共19页
深度学习编译器已被广泛应用于深度学习模型的性能优化和部署.与传统编译器类似,深度学习编译器也存在缺陷.存在缺陷的深度学习编译器会导致编译失败或者产生错误的编译结果,甚至有时会带来灾难性的后果.为了深入理解深度学习编译器缺...
深度学习编译器已被广泛应用于深度学习模型的性能优化和部署.与传统编译器类似,深度学习编译器也存在缺陷.存在缺陷的深度学习编译器会导致编译失败或者产生错误的编译结果,甚至有时会带来灾难性的后果.为了深入理解深度学习编译器缺陷的特性,已有工作针对深度学习编译器早期的603个缺陷进行研究分析.近年来,深度学习编译器在快速迭代更新,伴随着大量新特性的引入和旧特性的弃用.与此同时,一些针对深度学习编译器缺陷的检测工具已被开发出来.因此,需要分析之前对深度学习编译器缺陷的研究结论是否依然适用.此外,缺乏对缺陷症状、根因、位置三者之间关系的深入挖掘,并且缺乏对触发缺陷的回归测试用例特征和修复缺陷的补丁特征的研究.为了深入分析当下深度学习编译器缺陷特征和缺陷分布随时间的演化过程,收集当前3款主流深度学习编译器(即Apache的TVM、Facebook的Glow和华为的AKG)中的613个近期修复的缺陷,并对缺陷的根因、症状、位置等特征进行人工标注.基于标注结果,从多个不同角度深入挖掘缺陷的分布特征,并与已有研究进行对比分析.同时,对触发缺陷的回归测试用例和修复缺陷的补丁进行研究.最终获得12个主要研究发现,以全面了解深度学习编译器缺陷现状与演变过程,并为深度学习编译器缺陷的检测、定位、修复提供一系列可行的指导方案.最后,为了验证这些研究发现的有效性,开发了一款基于优化配置的测试工具CfgFuzz.CfgFuzz通过对编译配置选项进行组合测试,最终检测到8个TVM缺陷,其中7个缺陷已被开发人员确认或修复.
展开更多
关键词
深度学习编译器
缺陷分析
实证研究
缺陷检测
缺陷特征
在线阅读
下载PDF
职称材料
面向深度学习编译器的多粒度量化框架支持与优化
3
作者
魏铭康
李嘉楠
+3 位作者
韩林
高伟
赵荣彩
王洪生
《计算机工程》
北大核心
2025年第5期62-72,共11页
随着各大厂商对大模型应用部署需求的激增,深度学习编译器TVM(Tensor Virtual Machine)的单一量化方式精度下降,已无法满足部署需求。设计并构建一种可选粒度的模型量化框架,具体包括逐层与逐通道量化流程的支持,以及阈值搜索与自适应...
随着各大厂商对大模型应用部署需求的激增,深度学习编译器TVM(Tensor Virtual Machine)的单一量化方式精度下降,已无法满足部署需求。设计并构建一种可选粒度的模型量化框架,具体包括逐层与逐通道量化流程的支持,以及阈值搜索与自适应舍入优化算法的实现。首先,基于量化模块“relay.quantize”构建信息标注、阈值校准与量化图实现的框架流程,并添加粒度属性以显式识别量化方式。其次,针对预定义校准方法无法确定有效量化信息的问题,对量化中的阈值校准、权重舍入进行调优,提高量化后模型精度。实验采用ImageNet数据集对视觉网络进行测试,针对MobileNetV1新量化方案将8 bit量化后模型精度损失降低到2.3%,调优后该损失降低到0.7%,实验结果表明多粒度量化框架可有效降低量化误差。
展开更多
关键词
模型量化
模型部署
模型压缩
推理加速
深度学习编译器
在线阅读
下载PDF
职称材料
AutoConfig:面向深度学习编译优化的自动配置机制
被引量:
2
4
作者
张洪滨
周旭林
+2 位作者
邢明杰
武延军
赵琛
《软件学报》
EI
CSCD
北大核心
2024年第6期2668-2686,共19页
随着深度学习模型和硬件架构的快速发展,深度学习编译器已经被广泛应用.目前,深度学习模型的编译优化和调优的方法主要依赖基于高性能算子库的手动调优和基于搜索的自动调优策略.然而,面对多变的目标算子和多种硬件平台的适配需求,高性...
随着深度学习模型和硬件架构的快速发展,深度学习编译器已经被广泛应用.目前,深度学习模型的编译优化和调优的方法主要依赖基于高性能算子库的手动调优和基于搜索的自动调优策略.然而,面对多变的目标算子和多种硬件平台的适配需求,高性能算子库往往需要为各种架构进行多次重复实现.此外,现有的自动调优方案也面临着搜索开销大和缺乏可解释性的挑战.为了解决上述问题,提出AutoConfig,一种面向深度学习编译优化的自动配置机制.针对不同的深度学习计算负载和特定的硬件平台,AutoConfig可以构建具备可解释性的优化算法分析模型,采用静态信息提取和动态开销测量的方法进行综合分析,并基于分析结果利用可配置的代码生成技术自动完成算法选择和调优.AutoConfig创新性地将优化分析模型与可配置的代码生成策略相结合,不仅能保证性能加速效果,还能减少重复开发的开销,同时可以简化调优过程.在此基础上,进一步将AutoConfig集成到深度学习编译器Buddy Compiler中,对矩阵乘法和卷积的多种优化算法建立分析模型,并将自动配置的代码生成策略应用在多种SIMD硬件平台上进行评估.实验结果可验证AutoConfig在代码生成策略中完成参数配置和算法选择的有效性.与经过手动或自动优化的代码相比,由AutoConfig生成的代码可达到相似的执行性能,并且无需承担手动调优的重复实现开销和自动调优的搜索开销.
展开更多
关键词
深度学习编译器
编译
优化
代码生成
自动配置机制
在线阅读
下载PDF
职称材料
面向深度学习算子的循环不变式外提算法
被引量:
1
5
作者
梁佳利
华保健
+1 位作者
吕雅帅
苏振宇
《计算机科学与探索》
CSCD
北大核心
2023年第1期127-139,共13页
TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环...
TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环内这些计算包含了大量的循环不变式。然而,传统的循环不变量外提技术不能判断不变量外提是否能带来额外收益,无法发现操作数顺序不同的循环不变表达式,不能处理嵌套的条件表达式,并且与目标平台编译器优化存在冲突等。由于这些挑战,传统的循环不变量外提算法无法直接用于深度学习编译器的优化,提出了一种融合深度学习代价函数和启发式策略的循环不变量外提算法。该算法基于深度学习编译器的高层中间表示,通过调整操作数顺序和简化嵌套条件表达式等方法规范化表达式。为了衡量优化的收益,在结合TVM IR和目标平台的特点的基础上,提出了一个新的面向深度学习的不变式外提代价指标函数。在开源编译器TVM 0.7版本上,通过新增优化遍的形式,具体实现了所介绍的算法以及代价函数。为评测算法的有效性,在Tesla P4的图形处理器(GPU)平台上对TVM TOPI的测试算子集中27个典型算子不同输入规模的511个测例进行了测试。实验结果表明47.6%的算子性能得到提升,最大加速比大于40.0%。
展开更多
关键词
深度学习编译器
领域专用语言
循环不变量外提
中间表示
在线阅读
下载PDF
职称材料
基于专用卷积神经网络加速器的编译器设计与实现
被引量:
1
6
作者
焦禹铭
吴凯
+2 位作者
郭风祥
王昭
宋庆增
《计算机应用》
CSCD
北大核心
2022年第S01期208-214,共7页
不同框架深度学习模型部署是人工智能落地的核心,然而模型计算量和参数量过大、编程模型未统一导致了各种新型的专用卷积神经网络(CNN)加速器层出不穷,增加了模型的部署难度。对模型压缩和编译工具链这两个方面进行了改进:在模型压缩方...
不同框架深度学习模型部署是人工智能落地的核心,然而模型计算量和参数量过大、编程模型未统一导致了各种新型的专用卷积神经网络(CNN)加速器层出不穷,增加了模型的部署难度。对模型压缩和编译工具链这两个方面进行了改进:在模型压缩方面,提出新的通道剪枝标准,结合了通道的相关性和影响性以及输出通道对应的激活值,在保证精度的同时可以极大地削减卷积神经网络的计算量和参数量;在编译工具链方面,设计了一套自动的端到端优化堆栈,提出了针对基于现场可编程门阵列(FPGA)的深度学习编译器设计方法,并在中间表示中添加了所提出的排序标准的剪枝算法。实验结果表明,所设计的编译器于舰船目标检测的任务中,在通用设备上,保证精度损失不超过1%的情况下取得了1.3倍的加速效果;在专用的CNN加速器上取得了1.6倍的加速效果,在部署中能够有效地针对卷积网络进行加速。
展开更多
关键词
现场可编程门阵列
模型压缩
深度学习编译器
中间表示
目标检测
在线阅读
下载PDF
职称材料
一种基于TVM的算子生成加速策略
7
作者
高伟
李帅龙
+3 位作者
茆琳
王磊
李颖颖
韩林
《计算机工程》
CAS
CSCD
北大核心
2024年第8期353-362,共10页
随着人工智能(AI)的飞速发展,新算子和底层硬件层出不穷,这给算子库的开发和维护带来了巨大的工作量。单纯基于手工优化来解决AI模型的性能和效率很容易出现瓶颈。TVM深度学习编译器通过代码的自动化生成减轻了手工优化的负担,但同时也...
随着人工智能(AI)的飞速发展,新算子和底层硬件层出不穷,这给算子库的开发和维护带来了巨大的工作量。单纯基于手工优化来解决AI模型的性能和效率很容易出现瓶颈。TVM深度学习编译器通过代码的自动化生成减轻了手工优化的负担,但同时也存在搜索时间长的问题。为此,针对TVM的自动化代码生成框架Ansor,提出基于梯度提升算法的新代价模型和基于预定义规则的调度空间剪枝优化2种优化策略,旨在加速TVM的自动化代码生成过程,实现模型快速落地与部署,并进一步为人工智能技术的应用提供更高效的解决方案。实验结果表明,通过应用优化后代价模型可以在不损失推理时间的前提下,使得在x86 CPU平台上模型的调优时间减少30%~35%,同时优化后算子性能最高可提升22%,使得在深度计算单元(DCU)平台上模型的调优时间减少20%左右,同时优化后算子平均性能提升5.7%,此外,基于预定义规则的剪枝策略可以有效提升代价模型的收敛速度,并且在原有最佳迭代次数下,模型推理时间可提高7.4%。
展开更多
关键词
深度学习编译器
代价模型
梯度提升算法
剪枝策略
自动调优
在线阅读
下载PDF
职称材料
基于MLIR的FP8量化模拟与推理内存优化
8
作者
徐金龙
桂中华
+2 位作者
李嘉楠
李颖颖
韩林
《计算机科学》
CSCD
北大核心
2024年第9期112-120,共9页
随着目标检测模型和语言大模型的迅速发展,网络模型正变得越来越庞大。为了更好地在端侧硬件上进行模型部署,通常采用模型量化技术对模型进行压缩。现有的模型量化策略主要基于FP16,BF16和INT8等类型实现。其中,8bit数据类型在降低推理...
随着目标检测模型和语言大模型的迅速发展,网络模型正变得越来越庞大。为了更好地在端侧硬件上进行模型部署,通常采用模型量化技术对模型进行压缩。现有的模型量化策略主要基于FP16,BF16和INT8等类型实现。其中,8bit数据类型在降低推理内存占用与部署开销方面最为显著,但INT8类型依赖特定的校准算法,未能很好地处理动态范围大、离群点多的模型。FP8类型能够更好地拟合神经网络中的数据分布,同时具有多种数制,可在表达范围和表达精度上灵活调整。然而,当前MLIR系统缺乏对FP8类型量化的支持。为此,提出了一种基于MLIR系统的FP8量化模拟策略,包含FP8E4M3和FP8E5M2两种数制,通过对网络中的算子进行量化模拟,评估FP8两种数制对模型推理精度的影响。同时,针对推理引擎中存在的内存分配冗余问题,提出了一种基于定义使用链的内存复用策略,使得模型推理过程中的内存占用峰值进一步减小。实验选取了典型的Yolov5s和Resnet50模型进行测试,结果表明相较于现有的INT8量化策略,FP8量化策略能够保持更好的模型精度,同时不依赖特定校准算法,部署更为简便。在模型精度上,测试用例分别达到了55.5%和77.8%的准确度,经过内存复用优化,内存占用峰值降低了约15%~20%。
展开更多
关键词
模型压缩
深度学习编译器
FP8量化
MLIR
Yolov5s模型
在线阅读
下载PDF
职称材料
题名
面向深度学习编译器TVM的算子融合优化
1
作者
高伟
王磊
李嘉楠
李帅龙
韩林
机构
国家超级计算郑州中心(郑州大学)
郑州大学计算机与人工智能学院
出处
《计算机科学》
北大核心
2025年第5期58-66,共9页
基金
河南省重大科技专项“国产先进计算平台创新生态及应用研究”(221100210600)。
文摘
算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方案存在以下问题:首先,功能特性的算子分类方式下的融合规则不够通用,会错失算子融合机会,无法实现更大粒度的融合;其次,贪心的融合算法也无法实现算子融合的最优解。针对上述问题,对TVM进行改进,提出按照算子输入输出映射类型的算子分类方式,并设计通用的算子融合规则以扩大算子融合的粒度;提出基于动态规划的融合方案搜索算法和算子融合代价评估模型,并对搜索空间进行剪枝,使得算法能够在合理时间内搜索得到优化的融合方案。为评测融合方案的有效性,在CPU以及DCU等平台上对VGG-16,Efficient-B0,MobileNet-V1,YOLO-V4等深度学习模型的融合比和推理时延进行测试,实验结果表明,相较于TVM原有融合方案,所提方案融合比平均提升了27%,推理时延平均获得了1.75的加速比。
关键词
深度学习编译器
TVM
算子融合
融合规则
动态规划
Keywords
Deep learning compiler
TVM
Operator fusion
Fusion rule
Dynamic programming
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
深度学习编译器缺陷实证研究:现状与演化分析
2
作者
沈庆超
田家硕
陈俊洁
陈翔
陈庆燕
王赞
机构
天津大学智能与计算学部
南通大学人工智能与计算机学院
山东航空学院信息工程学院
出处
《软件学报》
北大核心
2025年第7期3022-3040,共19页
基金
国家自然科学基金(62322208,12411530122)。
文摘
深度学习编译器已被广泛应用于深度学习模型的性能优化和部署.与传统编译器类似,深度学习编译器也存在缺陷.存在缺陷的深度学习编译器会导致编译失败或者产生错误的编译结果,甚至有时会带来灾难性的后果.为了深入理解深度学习编译器缺陷的特性,已有工作针对深度学习编译器早期的603个缺陷进行研究分析.近年来,深度学习编译器在快速迭代更新,伴随着大量新特性的引入和旧特性的弃用.与此同时,一些针对深度学习编译器缺陷的检测工具已被开发出来.因此,需要分析之前对深度学习编译器缺陷的研究结论是否依然适用.此外,缺乏对缺陷症状、根因、位置三者之间关系的深入挖掘,并且缺乏对触发缺陷的回归测试用例特征和修复缺陷的补丁特征的研究.为了深入分析当下深度学习编译器缺陷特征和缺陷分布随时间的演化过程,收集当前3款主流深度学习编译器(即Apache的TVM、Facebook的Glow和华为的AKG)中的613个近期修复的缺陷,并对缺陷的根因、症状、位置等特征进行人工标注.基于标注结果,从多个不同角度深入挖掘缺陷的分布特征,并与已有研究进行对比分析.同时,对触发缺陷的回归测试用例和修复缺陷的补丁进行研究.最终获得12个主要研究发现,以全面了解深度学习编译器缺陷现状与演变过程,并为深度学习编译器缺陷的检测、定位、修复提供一系列可行的指导方案.最后,为了验证这些研究发现的有效性,开发了一款基于优化配置的测试工具CfgFuzz.CfgFuzz通过对编译配置选项进行组合测试,最终检测到8个TVM缺陷,其中7个缺陷已被开发人员确认或修复.
关键词
深度学习编译器
缺陷分析
实证研究
缺陷检测
缺陷特征
Keywords
deep learning compiler
bug analysis
empirical study
bug detection
bug characteristic
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向深度学习编译器的多粒度量化框架支持与优化
3
作者
魏铭康
李嘉楠
韩林
高伟
赵荣彩
王洪生
机构
郑州大学计算机与人工智能学院
国家超级计算郑州中心(郑州大学)
出处
《计算机工程》
北大核心
2025年第5期62-72,共11页
基金
河南省重大科技专项(221100210600)。
文摘
随着各大厂商对大模型应用部署需求的激增,深度学习编译器TVM(Tensor Virtual Machine)的单一量化方式精度下降,已无法满足部署需求。设计并构建一种可选粒度的模型量化框架,具体包括逐层与逐通道量化流程的支持,以及阈值搜索与自适应舍入优化算法的实现。首先,基于量化模块“relay.quantize”构建信息标注、阈值校准与量化图实现的框架流程,并添加粒度属性以显式识别量化方式。其次,针对预定义校准方法无法确定有效量化信息的问题,对量化中的阈值校准、权重舍入进行调优,提高量化后模型精度。实验采用ImageNet数据集对视觉网络进行测试,针对MobileNetV1新量化方案将8 bit量化后模型精度损失降低到2.3%,调优后该损失降低到0.7%,实验结果表明多粒度量化框架可有效降低量化误差。
关键词
模型量化
模型部署
模型压缩
推理加速
深度学习编译器
Keywords
model quantization
model deployment
model compression
inference acceleration
deep learning compiler
分类号
TP332 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
AutoConfig:面向深度学习编译优化的自动配置机制
被引量:
2
4
作者
张洪滨
周旭林
邢明杰
武延军
赵琛
机构
中国科学院大学
中国科学院软件研究所
出处
《软件学报》
EI
CSCD
北大核心
2024年第6期2668-2686,共19页
基金
国家重点研发计划(2022YFB4401402)。
文摘
随着深度学习模型和硬件架构的快速发展,深度学习编译器已经被广泛应用.目前,深度学习模型的编译优化和调优的方法主要依赖基于高性能算子库的手动调优和基于搜索的自动调优策略.然而,面对多变的目标算子和多种硬件平台的适配需求,高性能算子库往往需要为各种架构进行多次重复实现.此外,现有的自动调优方案也面临着搜索开销大和缺乏可解释性的挑战.为了解决上述问题,提出AutoConfig,一种面向深度学习编译优化的自动配置机制.针对不同的深度学习计算负载和特定的硬件平台,AutoConfig可以构建具备可解释性的优化算法分析模型,采用静态信息提取和动态开销测量的方法进行综合分析,并基于分析结果利用可配置的代码生成技术自动完成算法选择和调优.AutoConfig创新性地将优化分析模型与可配置的代码生成策略相结合,不仅能保证性能加速效果,还能减少重复开发的开销,同时可以简化调优过程.在此基础上,进一步将AutoConfig集成到深度学习编译器Buddy Compiler中,对矩阵乘法和卷积的多种优化算法建立分析模型,并将自动配置的代码生成策略应用在多种SIMD硬件平台上进行评估.实验结果可验证AutoConfig在代码生成策略中完成参数配置和算法选择的有效性.与经过手动或自动优化的代码相比,由AutoConfig生成的代码可达到相似的执行性能,并且无需承担手动调优的重复实现开销和自动调优的搜索开销.
关键词
深度学习编译器
编译
优化
代码生成
自动配置机制
Keywords
deep learning compiler
compilation optimization
code generation
automatic configuration mechanism
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向深度学习算子的循环不变式外提算法
被引量:
1
5
作者
梁佳利
华保健
吕雅帅
苏振宇
机构
中国科学技术大学软件学院
中科寒武纪科技股份有限公司
出处
《计算机科学与探索》
CSCD
北大核心
2023年第1期127-139,共13页
基金
中国科学技术大学研究生教育创新计划项目(2020ycjc41)。
文摘
TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环内这些计算包含了大量的循环不变式。然而,传统的循环不变量外提技术不能判断不变量外提是否能带来额外收益,无法发现操作数顺序不同的循环不变表达式,不能处理嵌套的条件表达式,并且与目标平台编译器优化存在冲突等。由于这些挑战,传统的循环不变量外提算法无法直接用于深度学习编译器的优化,提出了一种融合深度学习代价函数和启发式策略的循环不变量外提算法。该算法基于深度学习编译器的高层中间表示,通过调整操作数顺序和简化嵌套条件表达式等方法规范化表达式。为了衡量优化的收益,在结合TVM IR和目标平台的特点的基础上,提出了一个新的面向深度学习的不变式外提代价指标函数。在开源编译器TVM 0.7版本上,通过新增优化遍的形式,具体实现了所介绍的算法以及代价函数。为评测算法的有效性,在Tesla P4的图形处理器(GPU)平台上对TVM TOPI的测试算子集中27个典型算子不同输入规模的511个测例进行了测试。实验结果表明47.6%的算子性能得到提升,最大加速比大于40.0%。
关键词
深度学习编译器
领域专用语言
循环不变量外提
中间表示
Keywords
deep learning compiler
domain specific language
loop invariant code motion
intermediate representation
分类号
TP331 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于专用卷积神经网络加速器的编译器设计与实现
被引量:
1
6
作者
焦禹铭
吴凯
郭风祥
王昭
宋庆增
机构
天津工业大学计算机科学与技术学院
天津工业大学电气工程学院
中国电子科技集团公司信息科学研究院
出处
《计算机应用》
CSCD
北大核心
2022年第S01期208-214,共7页
文摘
不同框架深度学习模型部署是人工智能落地的核心,然而模型计算量和参数量过大、编程模型未统一导致了各种新型的专用卷积神经网络(CNN)加速器层出不穷,增加了模型的部署难度。对模型压缩和编译工具链这两个方面进行了改进:在模型压缩方面,提出新的通道剪枝标准,结合了通道的相关性和影响性以及输出通道对应的激活值,在保证精度的同时可以极大地削减卷积神经网络的计算量和参数量;在编译工具链方面,设计了一套自动的端到端优化堆栈,提出了针对基于现场可编程门阵列(FPGA)的深度学习编译器设计方法,并在中间表示中添加了所提出的排序标准的剪枝算法。实验结果表明,所设计的编译器于舰船目标检测的任务中,在通用设备上,保证精度损失不超过1%的情况下取得了1.3倍的加速效果;在专用的CNN加速器上取得了1.6倍的加速效果,在部署中能够有效地针对卷积网络进行加速。
关键词
现场可编程门阵列
模型压缩
深度学习编译器
中间表示
目标检测
Keywords
Field Programmable Gate Array(FPGA)
model compression
deep learning complier
intermediate representation
object detection
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于TVM的算子生成加速策略
7
作者
高伟
李帅龙
茆琳
王磊
李颖颖
韩林
机构
郑州大学国家超级计算郑州中心
郑州大学计算机与人工智能学院
[
信息工程大学网络空间安全学院
出处
《计算机工程》
CAS
CSCD
北大核心
2024年第8期353-362,共10页
基金
河南省重大科技专项(221100210600)。
文摘
随着人工智能(AI)的飞速发展,新算子和底层硬件层出不穷,这给算子库的开发和维护带来了巨大的工作量。单纯基于手工优化来解决AI模型的性能和效率很容易出现瓶颈。TVM深度学习编译器通过代码的自动化生成减轻了手工优化的负担,但同时也存在搜索时间长的问题。为此,针对TVM的自动化代码生成框架Ansor,提出基于梯度提升算法的新代价模型和基于预定义规则的调度空间剪枝优化2种优化策略,旨在加速TVM的自动化代码生成过程,实现模型快速落地与部署,并进一步为人工智能技术的应用提供更高效的解决方案。实验结果表明,通过应用优化后代价模型可以在不损失推理时间的前提下,使得在x86 CPU平台上模型的调优时间减少30%~35%,同时优化后算子性能最高可提升22%,使得在深度计算单元(DCU)平台上模型的调优时间减少20%左右,同时优化后算子平均性能提升5.7%,此外,基于预定义规则的剪枝策略可以有效提升代价模型的收敛速度,并且在原有最佳迭代次数下,模型推理时间可提高7.4%。
关键词
深度学习编译器
代价模型
梯度提升算法
剪枝策略
自动调优
Keywords
deep learning compiler
cost model
gradient boosting algorithm
pruning strategy
automatic tuning
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于MLIR的FP8量化模拟与推理内存优化
8
作者
徐金龙
桂中华
李嘉楠
李颖颖
韩林
机构
郑州大学国家超级计算郑州中心
郑州大学计算机与人工智能学院
信息工程大学四院
出处
《计算机科学》
CSCD
北大核心
2024年第9期112-120,共9页
基金
2022年河南省重大科技专项(221100210600)。
文摘
随着目标检测模型和语言大模型的迅速发展,网络模型正变得越来越庞大。为了更好地在端侧硬件上进行模型部署,通常采用模型量化技术对模型进行压缩。现有的模型量化策略主要基于FP16,BF16和INT8等类型实现。其中,8bit数据类型在降低推理内存占用与部署开销方面最为显著,但INT8类型依赖特定的校准算法,未能很好地处理动态范围大、离群点多的模型。FP8类型能够更好地拟合神经网络中的数据分布,同时具有多种数制,可在表达范围和表达精度上灵活调整。然而,当前MLIR系统缺乏对FP8类型量化的支持。为此,提出了一种基于MLIR系统的FP8量化模拟策略,包含FP8E4M3和FP8E5M2两种数制,通过对网络中的算子进行量化模拟,评估FP8两种数制对模型推理精度的影响。同时,针对推理引擎中存在的内存分配冗余问题,提出了一种基于定义使用链的内存复用策略,使得模型推理过程中的内存占用峰值进一步减小。实验选取了典型的Yolov5s和Resnet50模型进行测试,结果表明相较于现有的INT8量化策略,FP8量化策略能够保持更好的模型精度,同时不依赖特定校准算法,部署更为简便。在模型精度上,测试用例分别达到了55.5%和77.8%的准确度,经过内存复用优化,内存占用峰值降低了约15%~20%。
关键词
模型压缩
深度学习编译器
FP8量化
MLIR
Yolov5s模型
Keywords
Model compression
Deep learning compiler
FP8 quantification
MLIR
Yolov5s model
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向深度学习编译器TVM的算子融合优化
高伟
王磊
李嘉楠
李帅龙
韩林
《计算机科学》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
深度学习编译器缺陷实证研究:现状与演化分析
沈庆超
田家硕
陈俊洁
陈翔
陈庆燕
王赞
《软件学报》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
面向深度学习编译器的多粒度量化框架支持与优化
魏铭康
李嘉楠
韩林
高伟
赵荣彩
王洪生
《计算机工程》
北大核心
2025
0
在线阅读
下载PDF
职称材料
4
AutoConfig:面向深度学习编译优化的自动配置机制
张洪滨
周旭林
邢明杰
武延军
赵琛
《软件学报》
EI
CSCD
北大核心
2024
2
在线阅读
下载PDF
职称材料
5
面向深度学习算子的循环不变式外提算法
梁佳利
华保健
吕雅帅
苏振宇
《计算机科学与探索》
CSCD
北大核心
2023
1
在线阅读
下载PDF
职称材料
6
基于专用卷积神经网络加速器的编译器设计与实现
焦禹铭
吴凯
郭风祥
王昭
宋庆增
《计算机应用》
CSCD
北大核心
2022
1
在线阅读
下载PDF
职称材料
7
一种基于TVM的算子生成加速策略
高伟
李帅龙
茆琳
王磊
李颖颖
韩林
《计算机工程》
CAS
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
8
基于MLIR的FP8量化模拟与推理内存优化
徐金龙
桂中华
李嘉楠
李颖颖
韩林
《计算机科学》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部