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

A Control Flow Checking Algorithm Based on Virtual Register

作　　者：高星[1] 廖明宏[1] 吴翔虎[1] 黄振远[1] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《宇航学报》2007年第1期183-187,共5页Journal of Astronautics

基　　金：国家高技术研究发展计划(2005AA742013)

摘　　要：控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令。这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性。Control Flow Fault was an important fault type which should have been seriously treated in the high-confidence software systems such as aero-space system. An algorithm named CFCVR（Contrel Flow Checking Based on Virtual Register） was given which cheeks the control flow fault based on the Base-Block prototype. The control flow faults were detected by obtaining the virtual register and adding some control flow checking instructions into the program based on the virtual register. All these works were done on the assemble programs. Experiments show that CFCVR will introduce about 28.7% performance overhead and about 31.3% storage overhead and will increase the fault detection rate to 97.1% that was better than the existent methods.

关 键 词：可靠性 容错 控制流检测 虚拟寄存器 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]