基于表驱动的纯软件签名错误检测算法  

Error Detection Algorithm for Pure Software Signature Based on Table-driven

作　　者：陈建 沈潇军 姚一杨 邢雅菲 琚小明 CHEN Jian;SHEN Xiaojun;YAO Yiyang;XING Yafei;JU Xiaoming(Information and Communication Branch,State Grid Zhejiang Electric Power Company,Hangzhou 310007,China;School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China)

机构地区：[1]国家电网浙江省电力公司信息通信分公司,杭州310007 [2]华东师范大学计算机科学与软件工程学院,上海200062

出　　处：《计算机工程》2018年第4期187-192,共6页Computer Engineering

基　　金：上海市自然科学基金(15ZR1410000)

摘　　要：针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID),用于存储控制流图的信息,通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转。对于CFDSS算法不能有效检测的共享分支扇入节点的非法指令跳转错误,可成功检测出这类错误。实验结果表明,EDSS算法的平均错误检测覆盖率比CFDSS算法高出1.3%,对具有共享分支扇入节点的检错能力平均高出约1.9%。For the presence of temporary,intermittent,and permanent errors,the processor capturing and executing an incorrect instruction will cause a control flow error to occur.This paper proposes a pure Error Detection of Software Signature(EDSS)algorithm based on table-driven with the study of Controlled Flow Detection by Software Signature(CFDSS)algorithm.It constructs two-dimensional table CFID to store the information of the control flow graph,and the illegal instruction jump is detected by comparing the signatures in the basic block with the signature stored in the CFID table.The EDSS algorithm can detect such errors successfully for the illegal branch jumps of the sharing-branch-fan-nodes that cannot be effectively detected by CFDSS algorithm.Experimental results show that the average error detection coverage of EDSS algorithm is 1.3%higher than that of CFDSS algorithm,and the average error detection rate of the sharing-branch-fan-nodes is about 1.9%higher than that of CFDSS algorithm.

关 键 词：表驱动 软件签名 错误检测 通过软件签名的控制流检错算法 控制流图 

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