程序控制流检测算法优化

• 作者: 尹胜 徐建军 李剑明 谭庆平
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 瞬时故障 数字标签 控制流检测 软件容错
• 年，卷（期）: 2014,（z2）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 382-386
• 页数: 5页
• 分类号: TP306+.2
• 字数: 5235字
• 语种: 中文

摘要

暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性.对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明.计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218.与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科技大学计算机学院	50	929	16.0	29.0
2	徐建军	国防科技大学计算机学院	19	189	6.0	13.0