基于虚拟寄存器的控制流错误检测算法

• 作者: 吴翔虎 廖明宏 高星 黄振远
• 来源期刊: 宇航学报
• 学科: 工学
• 关键词: 可靠性 容错 控制流检测 虚拟寄存器
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 论文
• 页码范围: 183-187
• 页数: 5页
• 分类号: TP302.8
• 字数: 5032字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1328.2007.01.034

摘要

控制流故障是航天软件系统必须面对的一个重要故障类型.提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测.它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令.这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的.实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄振远	哈尔滨工业大学计算机科学与技术学院	4	23	3.0	4.0
2	廖明宏	哈尔滨工业大学计算机科学与技术学院	48	708	14.0	25.0
3	高星	哈尔滨工业大学计算机科学与技术学院	3	16	3.0	3.0
4	吴翔虎	哈尔滨工业大学计算机科学与技术学院	29	240	9.0	14.0