Page 6 - 《软件学报》2025年第9期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
2025,36(9):3917−3918 [doi: 10.13328/j.cnki.jos.007361] [CSTR: 32375.14.jos.007361] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

*
RISC-V 系统软件及软硬协同技术专题前言

武延军 1,5 , 谢 涛 2 , 侯 锐 3,5 , 张 科 4,5 , 宋 威 3,5 , 邢明杰 1

1
(中国科学院 软件研究所, 北京 100190)
2
(北京大学 计算机学院, 北京 100871)
3
(中国科学院 信息工程研究所, 北京 100085)
4
(中国科学院 计算技术研究所, 北京 100190)
5
(中国科学院大学, 北京 100049)
通信作者: 武延军, E-mail: yanjun@iscas.ac.cn
中文引用格式: 武延军, 谢涛, 侯锐, 张科, 宋威, 邢明杰. RISC-V系统软件及软硬协同技术专题前言. 软件学报, 2025, 36(9):
3917–3918. http://www.jos.org.cn/1000-9825/7361.htm

RISC-V 技术的发展, 一方面为操作系统、编译器等系统软件在设计实现、测试验证、安全可信等方向带来
了新机遇和新挑战; 另一方面, 也推动了软硬协同设计、优化等技术的进一步创新与发展. 近年来, RISC-V 相关技
术已逐渐成为国内外学者的关注点和研究热点. 为此, 组织了本专题与中国软件大会 RISC-V 系统软件及软硬协
同技术论坛, 探讨并交流最近一年以来, 国内学者在相关研究中取得的新成果, 旨在进一步推动国内 RISC-V 相关
的技术发展和生态建设, 促进学术交流.
本专题公开征文, 共收到投稿 16 篇. 论文均通过了形式审查, 内容涉及指令调度、缓存模型、页表模型、软
件代码适配、国密算法快速运算、高性能算法库优化、内存模型一致性等. 特约编辑先后邀请了 20 多位专家参
与审稿工作, 每篇投稿至少邀请 2 位专家进行评审. 稿件经初审、复审、中国软件大会 2024 (ChinaSoft 2024) 宣
读和终审 4 个阶段, 历时 6 个月, 最终有 4 篇论文入选本专题. 另有 1 篇《软件学报》已录用论文, 因与本专题主
题密切相关, 应作者申请收录在本专题中. 这些论文的内容如下.
《RISC-V 内存一致性模型的同地址顺序一致性定理证明》面向 RISC-V 内存一致性模型, 基于已定义的公
理和规则, 将同地址顺序一致性作为定理, 通过将任意同地址访存序列的构建抽象为确定有限状态自动机进行归
纳证明, 可以作为 RISC-V 内存一致性相关形式化方法的一个理论补充.
《基于 RISC-V VLIW 架构的混合指令调度算法》以 RISC-V VLIW 架构为实验平台, 结合表调度和整数线
性规划调度两种调度算法的优点, 提出了一种 IPC 理论模型指导的混合指令调度算法, 从而能够以接近表调度的
复杂度达到整数线性规划调度的效果.
《Spike-FlexiCAS: 支持缓存架构灵活配置的 RISC-V 处理器模拟器》基于 RISC-V 指令集架构模拟器 Spike,
设计并实现了一种新的缓存模型, 具有灵活配置、模块化、易扩展等特性, 实验表明相比当前最快的执行驱动型
模拟器 ZSim 的缓存模型具有明显的性能优势.
《RISC-V 架构下的懒惰影子页表模型》针对 RISC-V 架构下的内存虚拟化开展研究, 基于 RISC-V 架构下的
特权级模型和虚拟化硬件特性, 提出了一种懒惰影子页表模型, 在保留影子页表的地址翻译高效性的同时可以降
低页表同步开销.
《面向 RISC-V 向量扩展的高性能算法库优化方法》针对 RISC-V 向量扩展指令集架构, 提出了一种面向可
变长向量扩展平台和固定长度 SIMD 扩展平台的硬件抽象层设计方法, 可以显著优化高性能算法库在 RISC-V 设
备上的执行性能.

* 收稿时间: 2024-12-11; jos 在线出版时间: 2024-12-11