空间加速器的受约束数据流建模与评估框架

作     者：贺裕兴 王腾 滕文彬 宫磊 HE Yuxing;WANG Teng;TENG Wenbin;GONG Lei

作者机构：中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州高等研究院江苏苏州215123 

基　　金：国家重点研发计划(2022YFB4501600,2022YFB4501603) 国家自然科学基金(62102383,61976200,62172380) 江苏省自然科学基金(BK20210123) 中国科学院青年创新促进会项目(Y2021121) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2024年第60卷第17期

页      码：74-88页

摘      要：将张量计算任务部署在空间加速器上已被证明能有效提高其执行速度和效率。为了在空间加速器上高效地进行张量计算,学术界提出了一系列数据流建模与评估框架。这些框架能够快速评估数据流,以便进行高效的设计空间探索。然而,这些框架缺乏对硬件结构的细粒度描述,因此无法有效地建模硬件结构对数据流的约束,从而无法有效地探索受到真实加速器硬件结构限制的数据流设计空间。为了解决这一问题,对硬件结构进行了细粒度建模,采用多层次的空间加速器硬件结构作为模板。每一层都包括阵列结构、存储结构和互连网络结构三部分,以分别描述硬件结构对数据流在空间展开、存储容量和数据传输方式方面的限制。提出了一种计算任务和数据流建模方法,该方法能够有效地求解数据流对硬件资源的需求。基于此,提出了一个数据流评估框架,包括需求分析、约束分析和性能分析三部分。需求分析用于求解计算任务和数据流对硬件资源的需求;约束分析旨在检查数据流是否违反硬件结构约束;性能分析用于评估数据流的延迟、数据重用和资源利用率等性能指标。实验结果表明,与之前最先进的评估框架相比,提出的框架在延迟评估方面的误差有所降低,并且能够有效地支持对受限数据流设计空间的探索。

主 题 词：张量计算 空间加速器 数据流 建模与评估 设计空间探索 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

D　O　I：10.3778/j.issn.1002-8331.2311-0443

馆 藏 号：203140238...