程序控制流检测算法优化
本文关键词：程序控制流检测算法优化 出处：《计算机科学》2014年S2期 论文类型：期刊论文
【摘要】：暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。
[Abstract]:The electronic components of a spaceborne computer exposed to space radiation may cause transient failure of the hardware system due to the bombardment of high-energy charged particles. It is necessary to use fault-tolerant technology to improve its reliability. A pure software control flow detection algorithm RSCFC (. Relationship Signatures for Control Flow checking has been improved effectively. By segmenting the label S, the problem that the total number of basic blocks in the original algorithm is limited by the word length of the machine is overcome, and the concrete calculation proof is given. The calculation results show that. If the word length of the machine is 64 bits, the maximum basic block number of the single layer reinforcement program can exceed 218. Compared with RSCFC. The improved algorithm can significantly reduce the performance cost and maintain the same error detection ability when the total number of basic blocks is relatively large.
【作者单位】： 75130部队133分队;国防科技大学计算机学院;75130部队政治部;
【分类号】：TP306
【正文快照】： 计算机系统的硬件并不是完全可靠的,特别是系统暴露在充满宇宙射线和各种高能带电粒子的太空环境中时很可能发生硬件故障。因为在半导体电路中是通过保持或者释放一定的电量来表示逻辑上的1和0,当系统处于这种恶劣环境时,半导体电路中的PN结可能会被各种高能带电粒子轰击而瞬
【共引文献】
相关期刊论文 前1条
1 李建立;谭庆平;谭兰芳;徐建军;;一种基于虚拟基本块和格式化标签的控制流检测方法[J];计算机学报;2014年11期
相关博士学位论文 前1条
1 谭兰芳;面向软错误的故障恢复和验证技术研究[D];国防科学技术大学;2013年
相关硕士学位论文 前2条
1 杨明月;基于模型的网络化控制系统瞬时故障检测研究[D];华中科技大学;2013年
2 邵则铭;基于COTS DSP的软件抗辐照技术研究[D];国防科学技术大学;2012年
【相似文献】
相关期刊论文 前10条
1 孙书韬,何新华,宫云战,王维锋;基于自由边控制流图的路径覆盖分析实现方法[J];装甲兵工程学院学报;1996年03期
2 陈卫东,杨建军,叶澄清,潘云鹤;基于块的流图模型及其控制流图[J];浙江大学学报(工学版);2003年02期
3 芦运照,张兆庆;控制流路径敏感的深层代码优化技术[J];计算机工程;2004年10期
4 汪淼;赵荣彩;蔡国明;丁志芳;;软件流水中隐式控制流恢复技术[J];计算机科学;2008年10期
5 龚锐;陈微;刘芳;戴葵;王志英;;一种软硬件结合的控制流检测与恢复方法[J];计算机研究与发展;2009年02期
6 张雁;林英;;程序控制流图自动生成的算法[J];计算机与数字工程;2010年02期
7 杜子德;程序控制流图：一种可观化的程序设计工具[J];计算机研究与发展;1995年12期
8 李爱国;洪炳昒;王司;;软件实现的程序控制流校验方法研究进展[J];哈尔滨工业大学学报;2008年03期
9 胡刚;张平;李清宝;张翠艳;;基于静态模拟的二进制控制流恢复算法[J];计算机工程;2011年05期
10 陈新;;基于程序控制流图源代码相似程度分析系统[J];计算机系统应用;2013年03期
相关会议论文 前1条
1 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
相关博士学位论文 前1条
1 王伟;使用显式控制流语言验证汇编程序的方法[D];中国科学技术大学;2011年
相关硕士学位论文 前10条
1 崔晨;固件代码控制流图恢复技术研究[D];解放军信息工程大学;2012年
2 冯斌;静态构造面向方面程序的控制流图[D];上海交通大学;2007年
3 杨广;控制流提取模型及软件可靠性评价应用研究[D];大连理工大学;2013年
4 周希;基于静态分析的程序控制流图生成工具的设计与实现[D];中山大学;2013年
5 李剑明;面向星载计算机瞬时故障的软件控制流错误检测技术[D];国防科学技术大学;2009年
6 韩红军;基于控制流图的Java语言动态例化的研究[D];北京工业大学;2002年
7 任浩;基于静态分析的C程序控制流图构造方法研究[D];内蒙古师范大学;2013年
8 熊利平;基于控制流与数据流的面向方面测试方法研究[D];湖南大学;2013年
9 苏振;类C语言程序分片系统的设计与实现[D];吉林大学;2006年
10 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
，本文编号：1413797
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/1413797.html
