Page 5 - 《软件学报》2020年第10期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
Journal of Software,2020,31(10):2981−2982 [doi: 10.13328/j.cnki.jos.006072] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

∗
系统软件前沿进展专题前言
2
1
3
武延军 , 陈海波 , 包云岗 , 李 玲 1
1
(中国科学院 软件研究所,北京 100190)
2
(上海交通大学,上海 200240)
3 (中国科学院 计算技术研究所,北京 100190)
通讯作者: 武延军, E-mail: yanjun@iscas.ac.cn; 陈海波, E-mail: haibochen@sjtu.edu.cn;
包云岗, E-mail: baoyg@ict.ac.cn; 李玲, E-mail: liling@iscas.ac.cn

中文引用格式: 武延军,陈海波,包云岗,李玲.系统软件前沿进展专题前言.软件学报,2020,31(10):2981−2982. http://www.jos.
org.cn/1000-9825/6072.htm

系统软件是计算系统中连接底层硬件、应用软件和用户的核心基础软件,是 IT 生态的核心环节,涵盖了操
作系统、编程语言、编译器、运行时环境、集成开发环境等.随着移动计算、物联网、云计算、人工智能、开
源软件、开源指令集等领域的飞速发展,相关的软硬件都迎来了新的发展机遇.近 10 多年来,传统操作系统已经
衍生出移动操作系统、物联网操作系统、智能操作系统等,同时也涌现出了很多新的编程语言和编译器,为用
户提供了更高效、更高质量的开发和运行支持.此外,开源软件成为软件行业的重要发展模式,正在重塑软件产
业格局,但安全性和可靠性问题并没有得到很好的解决.最后,以 RISC-V 为代表的开放指令集崛起,也给系统软
件带来了新的机遇和挑战.
本专题采取定向邀请和自由投稿相结合的方式,共收到 23 篇投稿,其中 19 篇通过了形式审查.特约编辑邀
请了近 30 位领域专家参与审稿,每篇稿件至少邀请 2 位专家进行评审,每篇稿件都经过两轮审稿.最终有 9 篇论
文入选本专题.这 9 篇论文的作者将被邀请到全国软件与应用学术会议 NASAC 2020 年会上作报告.这 9 篇文
章中,前沿技术类包括:
论文“基于污点分析的数组越界缺陷的静态检测方法”针对 C 语言数组越界的静态检查精度不高的问题,
提出了一种基于污点分析和数据流分析的数组越界的静态检测方法,并实现了自动静态分析工具 Carraybound.
论文“面向移动终端智能的自治学习系统”提出了一种面向移动终端隐私数据保护的机器学习模型训练模
式(自治式学习),并设计和实现了自治学习系统 AutLearn 来提升终端训练的精度和速度.
论文“基于跨虚拟机零下陷通信的加速器虚拟化框架”针对 AI 加速单元的虚拟化性能问题,提出一种基于
C/S 架构的、支持跨虚拟机快速代理执行的加速器虚拟化框架,并在主流的 QEMU-KVM 虚拟化平台上实现了
针对 NVIDIA GPU 的原型系统.
论文“一种适应 GPU 的混合访问缓存索引框架”提出一种适应 GPU 的混合访问缓存索引框架来减少内存
访问与总线传输,改善了传统散列表的性能,并在 GPU 硬件上进行了实现与实验验证.
论文“面向操作系统可靠性保障的开源软件供应链”基于供应链概念体系,提出一种基于知识图谱的开源
软件供应链组织方法,以及可靠性风险评估和管理方法,并以主流 Linux 操作系统发行版的构建过程为例进行
了分析验证.
论文“一种神经网络指令集扩展与代码映射机制”面向卷积神经网络推理过程,基于 RISC-V 架构设计了专
用指令集 RV-CNN,提出了代码至指令的映射机制,并在 FPGA 平台上进行了验证.

收稿时间:2020-06-13