CAJ | 학술논문

控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.
공제류검측시저어단입자사건적유효수단지일.목전적주류방법시채용감입식첨명기술, 단시해기술인입적검측지령과다, 도치정서효솔저하. 본문사용기본괴규약적기술, 재원기본괴적기출상, 선택합괄적약속량중신화분기본괴, 감소인입적검측지령. 여8개상견산법적성능비교표명, 해방법재연착오검측복개솔기본불변적전제하,능유효제고목표정서효솔.
Control-flow checking is an effective method on resisting single event upset. the mainstream method is embedded signature, but this method involve too many detecting instructions to make program ineffective. In this paper, we introduce a new method which named'basic block reduced'to decrease the instruction involved, and inprove the performance of the program, without changing soft error detection rate.