您的位置:首页  > 论文页面

一种针对线性汇编程序的控制流恢复方法

发表时间:2016-05-31  浏览量:1648  下载量:534
全部作者: 邱远强,徐建军,孟宪凯,邵则铭
作者单位: 国防科学技术大学计算机学院
摘 要: 研究提出一种软件实现的针对线性汇编程序的控制流错误恢复(detecting and correct control-flow errors for linear assembly,DCCLA)方法。首先将程序划分为循环体块和非循环体块,并为其设计和分配静态标签,然后通过插入计数指令和比较指令,实现对程序块内部、块与块之间的控制流错误的检测与恢复。在此基础上,通过对循环体状态及活跃变量的备份实现对由控制流导致的数据流故障的恢复。故障注入实验表明,DCCLA 以41.7%的性能开销和44%的空间代价,使程序的平均失效率减低至5.2%. 相比同类方法,DCCLA方法具有较低的时空开销和较高的可靠性。
关 键 词: 计算机软件;瞬态故障;控制流错误;错误恢复;故障注入
Title: A control-flow errors recovery approach for the linear assembly programs
Author: QIU Yuanqiang, XU Jianjun, MENG Xiankai, SHAO Zeming
Organization: College of Computer, National University of Defense Technology
Abstract: For the linear assembly, this paper proposes a software-implemented control flow error recovery approach, named detecting and correct control-flow errors for linear assembly (DCCLA). DCCLA firstly divides the target program into loop blocks and non-loop blocks, and assigns the formatted signature for each block. Then, DCCLA inserts the counting and comparing instructions into every block for detecting and correcting the control flow errors occurred in inter-block and intra-block. To recover the data flow errors caused by the control flow errors, DCCLA backups the loop state and live variables. DCCLA also can be configured flexibly according to the requirement of reliability and performance. The results of fault injection experiment show that the average fail rate of programs with DCCLA has decreased to 5.2% with the cost of increasing the average executing time by 41.7% and space overhead by 44%. Comparing with two typical control flow recovery algorithms, DCCLA has the least performance and space overhead with higher reliability.
Key words: computer software; transient fault; control flow error; error recovery; fault injection
发表期数: 2016年5月第10期
引用格式: 邱远强,徐建军,孟宪凯,等. 一种针对线性汇编程序的控制流恢复方法[J]. 中国科技论文在线精品论文,2016,9(10):1003-1011.
 
1 评论数 0
暂无评论
友情链接