采用基本块规约的控制流检测性能优化方法.pdfVIP

小型微型计算机系统 2009年12月第12期 VoL Jo啪alofClli∞se 30№．122009 Compu时Syste眦 采用基本块规约的控制流检测性能优化方法 肖 贺1，王永吉1，-，潘远明1，丁丽萍1 1(中国科学院软件研究所基础软件国家工程研究中心，北京lool90) 2(中国科学院软件研究所计算机科学国家重点实验室，北京100190) E-mail：xiaohc83@gman．com 摘要：控制流检测是抵御单粒子事件的有效手段之一．目前的主流方法是采用嵌入式签名技术，但是该技术引入的检测指 令过多，导致程序效率低下．本文使用基本块规约的技术，在原基本块的基础上，选择合适的约束量重新划分基本块，减少引 入的检测指令．与8个常见算法的，}生能比较表明，该方法在软错误检测覆盖率基本不变的前提下，能有效提高目标程序效率． 关键词：软错误；控制流检测；基本块规约；性能优化 中图分类号：TPl8 文献标识码：A 文章编号：1000-1220(2009)12．2378J05 Perfbrmance MethodBasedonBasicBlockReduce Control-aow Checl【jng Optimization ⅪAO He‘，wANGYong-jil．Z．PANYu皿一血n91．D矾GLj·p咄1 1 l№，jD加l勘gj脚一馏R绷，咖c锄把r 2(跏阳脚上4幻m，口，)，D，o唧“舸Sd肌钾．施fffmD，s妒啪彤c^妇埘^c4如砂矿＆加c靠．占嘶岫100190．凸f舱) is is柚effectivemethod ev∞t maills眈啪memodembedded Abstmct：C∞廿01．flowchechlg on地sisdngsiIlgle upset．tllc signatu旭- tllis iIlvolvetoo ms仉】cdonst0mal【c ttIis in廿oduceanewme山0dwtlich but met量lod m柚ydetecdng pmgram访effective．hlpap盯．we n锄edmasicblockreduced’todecre丛eme血sⅡ1】ction the of soft iIIvolved．andinprovepemmn柚ceU”pfogram-wi吐吼】tchaIlging enDrdetectionnlte． block reducc；perfbm∽e0ptimazati∞ Keywords：sof【crrDr；contr_}0l—flOwchecl(ing；basic 1 引 言 77％【6】．随着处理器结构和集成电路的不断发展，受CPu内 部结构的限制，添加或修改硬件资源的难度越来越大，采用硬 随着空间探测计划的发展，星载计算机已经成为太空探 件为主软硬结合的检测控制流方法受到更大的挑战．随着 索中不可或缺的支持设备．由于太空环境的特殊性，存在着 cdrS(co衄eric“0fjF皿esheIf)器件的使用，软件实现的控 各种高能粒子，这些粒子能够穿透星载计算机设备，并对星载 制流检测技术越来越引起人们的注意¨J1． 计算机设备的电子器件造成影响¨j，从而使软件系统出现各 软件实现的控制流检测技术属于软件实现的硬件容错技 种不可预测的行