一种源代码级的控制流错误检测实现方案.pdfVIP

2014全国计算机网络与通信学术会议优秀论文 Telecommarket 一 种源代码级的控制流错误检测实现方案 孟宪凯 谭庆平 徐建军 赵昕琳 (目防科学技术大学 计算机学院，湖南省 长沙市 邮编 ：410073) 摘要：由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一。控制流 错误作为软错误的一种主要表现形式，约占软错误总量的33％～77％。本文提出了一种在 源代码级实现控制流错误检测的方法SLCEDM，该方法针对高级语言程序以函数作为基本 功能单元的特点，通过函数标签分析策略解决了函数间控制流容错的难点问题。并且，由 于基本块的划分及标签分配以函数为界，可以根据函数内控制流的结构选用最适合的标签 更新和检测手段，增强了可配置性，具有开销小、检错率高、易于实现等优势。 关键词：软件容错；控制流检测：瞬态故障 中图分类号： 文献标识码： 文章编号： A Source．．codeLevelContro1．．flOW ErrorDetectionM ethod MENG Xian—kai (SchoolofComputer，NationalUniversityofDefenseTechnology，Changsha410073，China． Correspondingauthor：MengXian—kai，E-mail：mengxiankai@gmail．com) Abstract：SOfterrorscausedby transient faultshasbecomeone ofthemain factorsfor affectingthereliabilityofcomputersystems．AsanimportantforrnofSOfterrors．contro1flow errorsaccountforabout33％ ～77％ Ofthetota1．Thispaperpresentsasource—codelevelcontrol flOW errordetection method．SLCEDM ．Themethodaimsathigh．1evellanguageprograms whichusefunctionsasthebasicfunctiona1unit．W esolvedthedifncultproblem ofcontrolflow checkingbetween functionsby jntroducing inter．function labelanalysis．Also．wecan define basicblocksandassign block labelswithin theconfineoffunction boundary．Basedon the innovation．wecanchoosethethemostsuitablealgorism tocheckthecontro1．flow errorswithin functionboundary。thusenhancescOn gurabi1itv．Thismethodhasadvantagesofsmalloverhead， higherrordetectionrateandeasy—to-implement． Keywords：SOfiwarefaulttolerance；controlflow checking；transientfault 口 在计算机系统中，瞬态故障可 以通过改变 电子器件内部的信号传输值和存储单元内容 等方式T扰系统正常运行，严重时可能会导致整个系统失效。研究表明，计算机系统中大 约 80％～90％的失效都是 由瞬态故障引起的f1]。瞬态故障如果改变 了程序计数器的值，或 者影响了跳转指令的操作码或操作数，就会导致程序指令的正常执行序列被干扰而发牛控 制流错误 。实验表 明，瞬态故障总数的 33％[21～77％[3】来 自于控制流错误 。控制流错误会 对系统造成严重的影响，如导致死循环、系统崩溃等等，而更为严重的后果，是在程序看 似正常结束的情况下返回错误的计算结果， SDC (SilentDataCorruption)，这种错误不 被人所察觉，造成的威胁是不可预测的。因此，必须采用有效手