%0 Journal Article
%T 程序控制流检测算法优化
%A 李剑明？
%A 谭庆平？
%A 徐建军？
%A 尹胜？
%J 计算机科学
%D 2014
%X 暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法rscfc(relationshipsignaturesforcontrolflowchecking)进行了有效的改进,通过对标签s进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与rscfc相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。
%K 瞬时故障
%K 数字标签
%K 控制流检测
%K 软件容错
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201411A093&flag=1