程序控制流检测算法优化  

Optimization of Control Flow Checking Algorithm

作　　者：李剑明 谭庆平[2] 徐建军[2] 尹胜[3] 

机构地区：[1]75130部队133分队 [2]国防科技大学计算机学院 [3]75130部队政治部

出　　处：《计算机科学》2014年第B11期382-386,共5页Computer Science

摘　　要：暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。In the space environment,the electrical circuses of computer are often subject to hardware transient faults,which are caused by high energy neutrons from cosmic rays.It is necessary to utilize appropriate fault tolerance techniques for improving the reliability of space application.This paper proposed an enhanced algorithm based on RSCFC（Relationship Signatures for Control Flow Checking）,which is a control flow checking approach for hardware transient faults.In RSCFC,the sum of basic blocks is limited by the length of machine word.Through the segmented encoding of signatures,the optimized method solves the problem effectively.The analytical results indicate that the maximal number of basic blocks is extended to 218 when the length of machine word is 64 bits.Compared with RSCFC,the overhead of performance and memory is decreased evidently in our algorithm,and the faults detecting capability remains.

关 键 词：瞬时故障 数字标签 控制流检测 软件容错 

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