RISC-V与人工智能系统软件前沿进展专题前言
武延军1,4, 谢涛2, 侯锐3,4, 宋威3,4, 邢明杰1
1(中国科学院 软件研究所, 北京 100190)
2(北京大学 计算机学院, 北京 100871)
3(中国科学院 信息工程研究所, 北京 100085)
4(中国科学院大学, 北京 100049)
通讯作者: 武延军, E-mail: yanjun@iscas.ac.cn
中文引用格式: 武延军, 谢涛, 侯锐,宋威, 邢明杰. RISC-V与人工智能系统软件前沿进展专题前言. 软件学报. http://www.jos.org.cn/1000-9825/7620.htm
RISC-V的开放、可扩展特性使其在人工智能领域展现出了独特优势和巨大潜力. 系统软件作为计算机系统中连接底层硬件和上层应用的桥梁, 对于发挥RISC-V架构的优势和潜力起到了关键性作用. 本专题聚焦操作系统、编译器、基础库等系统软件在RISC-V平台上的基础性问题, 同时还特别关注面向人工智能领域的系统软件栈及关键技术, 人工智能赋能的系统软件和新技术, 旨在进一步推动国内RISC-V相关的技术发展和生态建设, 促进学术交流.
本专题公开征文, 共收到投稿9篇. 论文均通过了形式审查, 内容涉及二进制代码反编译、深度学习模型部署与性能评估、软件构建、智能计算软件栈移植、RISC-V向量扩展性能评测、机器学习预处理性能分析、大语言模型辅助向量化方法、硬件安全缺陷检测、深度学习算子测试等. 特约编辑先后邀请了10多位专家参与审稿工作, 每篇投稿至少邀请2位专家进行评审. 稿件经初审、复审、中国软件大会 2025 (ChinaSoft2025) 宣读和终审4个阶段, 历时3个月, 最终有4篇论文入选本专题. 这些论文的内容如下所示.
《基于大语言模型与符号执行协同的RISC-V二进制代码反编译研究》针对传统基于规则的反编译器生成的代码可读性差、难复用,且对RISC-V指令集架构支持滞后的问题,提出了一种结合大语言模型与符号执行的反编译方法.
《面向RISC-V指令集多样性的兼容性感知多层级构建方法》针对传统跨平台软件构建机制在RISC-V生态中面临兼容性差、维护成本高与优化粒度不足等挑战,提出了一种面向RISC-V平台的兼容性感知多层级编译方法.
《MARC: 基于多智能体协同的硬件安全缺陷早期检测方法》针对现有硬件安全缺陷早期检测方法由于规约知识未充分利用以及代码上下文语义理解不足, 导致存在高漏报率和高误报率的问题, 提出了一种基于大语言模型多智能体协同的硬件安全缺陷早期检测方法.
《面向RISC-V架构的深度学习算子测试》针对现有算子测试方法主要面向x86架构,难以刻画不同计算复杂度对RISC-V架构下受限内存、功耗与系统资源使用行为的影响差异这一问题, 提出了一种面向RISC-V架构的深度学习算子质量评估方法.
本专题主要面向RISC-V系统软件相关的研究人员和工程人员, 内容涵盖了逆向工程、软件构建、硬件安全、软件测试等领域, 反映了我国学者在相关领域的最新研究进展. 感谢《软件学报》编委会和系统软件专委会对专题工作的指导和帮助, 特别感谢专题全体评审专家及时、耐心、细致的评审工作, 感谢踊跃投稿的所有作者. 希望本专题能够对RISC-V相关领域的研究工作有所促进.
武延军, 博士, 中国科学院软件研究所研究员, 博士生导师, CCF杰出会员, 主要研究领域为开源软件供应链与RISC-V基础软件. 担任中国科学院软件研究所研究员副所长、总工程师, 同时兼任中电标协RISC-V工委会轮值会长, 开源鸿蒙TSC委员, 曾任开源欧拉委员会常务委员, 开放原子基金会开源安全委员会主席,《智能计算》期刊编委. 已在国内外重要期刊和会议上发表论文100余篇, 获得专利30余项. 获国家级领军人才、北京市科技新星、中国科学院青促会优秀会员等荣誉称号, 2023年获CCF科技进步特等奖.
谢涛, 博士, 北京大学讲席教授, 复旦大学双聘顶尖人才, 博士生导师, CCF会士. 主要研究领域为软件工程, 系统软件, RISC-V基础软件, 软件安全, 可信人工智能. 当选欧洲科学院外籍院士、ACM、IEEE、AAAS会士. 担任复旦大学先进计算系统研究院院长, 北京通明湖信息技术应用创新中心理事长、主任, 上海开放计算系统研究院院长等. 包揽国际计算机学会软件工程领域(ACM SIGSOFT)三大国际奖项(杰出研究奖,有影响力教育工作者奖、杰出服务奖;每个奖项全球通常只有一名年度获奖人). 曾获科学探索奖, 国家海外杰青, 美国国家自然科学基金青年职业奖等. 担任CCF系统软件专委会主任, RISC-V+AI算力生态(RACE)委员会主席, RISC-V国际基金会人工智能与机器学习专委会(AI/ML SIG)主席.
侯锐, 博士, 中国科学院信息工程研究所研究员,主要研究方向是计算机体系结构、处理器芯片设计与安全.获得国家杰出青年科学基金、优秀青年科学基金资助.担任网络空间安全防御重点实验室主任, 中国计算机学会体系结构专委会委员. 曾作为技术委员会或组织委员会委员服务多个国际顶级学术会议. 在国内外期刊及会议上发表论文50余篇,包括ACM TOCS、TC、HPCA、ASPLOS、ISCA、Micro、S&P、DAC等多个体系结构和安全领域顶级会议及期刊, 国内外已授权专利50余项.
宋威, 博士, 中国科学院信息工程研究所研究员, 博士生导师, CCF高级会员. 主要研究领域为安全处理器设计、计算机体系结构安全和基于RISC-V的处理器设计. 曼彻斯特大学计算机博士, 曼彻斯特大学和剑桥大学博士后, 在剑桥大学期间主持开发了RISC-V开源片上多核SoC项目lowRISC的前4版的硬件实现. 获中国科学院率先行动“引才计划”支持, 主持国家自然科学基金青年和面上项目各一项, 发表论文50余篇.
邢明杰, 硕士, 中国科学院软件研究所高级工程师, CCF专业会员. 主要研究领域为编译技术. 作为负责人主持国家重点研发计划课题和中国科学院先导专项课题各一项、企业合作项目多项, 涉及到的工作内容包括: 指令集架构支持、程序优化、并行编程模型、异构编程框架、领域专用编程语言及编译系统等. 近年来在面向RISC-V指令集架构的编译优化、人工智能相结合的编译优化等方向开展研究,在国内外期刊及会议上发表论文20余篇,授权专利10项.