|
|||||
|
|
| 程序控制流检测算法优化 | |
| 引用本文： | 李剑明,谭庆平,徐建军,尹胜.程序控制流检测算法优化[J].计算机科学,2014,41(Z2). |
| 作者姓名： | 李剑明 谭庆平 徐建军 尹胜 |
| 作者单位： | 1. 75130部队133分队,贵港537103 2. 国防科技大学计算机学院 长沙410073 3. 75130部队政治部,贵港537103 |
| 摘 要： | 暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。 |
| 关 键 词： | 瞬时故障 数字标签 控制流检测 软件容错 |
Optimization of Control Flow Checking Algorithm |
|
| LI Jian-ming,TAN Qing-ping,XU Jian-jun,YIN Sheng.Optimization of Control Flow Checking Algorithm[J].Computer Science,2014,41(Z2). | |
| Authors: | LI Jian-ming TAN Qing-ping XU Jian-jun YIN Sheng |
| Abstract: | |
| Keywords: | Transient faults Software signatures Control flow checking Software tolerance |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |