面向稀疏计算的领域特定语言设计与实现.pdfVIP

小型微型计算机系统2024年5月第5期

DOI:10.20009/j.cnki,21-1106/TP.2022-0617

JournalofChineseComputerSystemsVol.45No.52024

面向稀疏计算的领域特定语言设计与实现

胡燕婷，郑启龙1,2

1（中国科学技术大学计算机科学与技术学院，合肥230026）

2（中国科学技术大学国家高性能计算中心，合肥230026）

E-mail:huyanting@mail.ustc.edu.cn

摘要：在稀疏计算领域应用模型的开发过程中，低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了

解这种要求造成了稀疏计算领域的高门槛特性，不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛，简化稀疏

计算编程，提高编程的效率，本文提出了一种基于领域特定语言的解决方案，命名为SparseComputingProgrammingSolutions：

SCPS.SCPS设计和实现了专门的语法规则体系SparseComputationbyDomainLanguage:SCDL,并配备了相应的语法检查器.

其次，SCPS会根据用户对数据和任务的划分进行代码优化，通过代码自动生成器将用户编写的应用模型转换为相关硬件的计

算代码.为了提供良好的跨平台特性，代码生成器最终将生成相应模型的OpenCL代码.大规模的实验结果表明，使用SCDL语

言构建的代码量仅为对应OpenCL代码的1/15,有效地提高了稀疏计算编程的效率.同时，实验证明了与串行代码相比，自动生

成的代码能够达到优化的效果。

关键词：领域特定语言；稀疏计算；语法检查；代码自动生成；OpenCL

中图分类号：TP312文献标识码：A文章编号：1000-1220(2024)05-1241-08

DomainSpecificLanguageforSparseComputing

HUYanting,ZHENGQilong-?

1(SchoolofComputerScience,UniversityofScienceandTechnologyofChina,Hefei230026,China)

2(NationalHighPerformanceComputingCenter,UniversityofScienceandTechnologyofChina,Hefei230026,China)

Abstract:Inthedevelopmentprocessofapplicationmodelsinsparsecomputing,low-levelprogramminginterfacesrequireusersto

haveacomprehensiveandin-depthunderstandingofboththeunderlyinghardwareandalgorithmmodels.Thisrequirementleadstothe

highthresholdcharacteristicinthesparsecomputingfield,whichisnotconducivetothedevelopmentworkofnon-professionals.Inor-

dertoreducethelearningthresholdinthesparsecomputingfield,simplifysparsecomputingprogramming,andimprovetheefficiency

ofprogramming,thispaperproposesadomain-specificlanguage-basedsolution,namedSparseComputingProgrammingSolutions:

SCPS.SCPShasdes