论文部分内容阅读
控制流检测是抵抗单粒子效应的有效手段之一。高效的控制流检测方法须实现容错性能和容错开销的合理均衡。首先对控制流标签检测方法的检测性能及影响因素进行建模分析,得到了标签添加的理论基础。然后将一种基于格式化标签的可拓展控制流检测方法 ECCFS做为优化目标算法,并以程序扩展块划分为优化手段,提出一种基于检测能力分析的控制流检测优化方法。该方法给出了容错开销与可靠性提升的工程参考和理论依据,并且实验结果验证了该方法受程序控制流图影响较小,能够实现容错开销与可靠性的合理均衡。
Control flow detection is one of the effective means to resist the single-particle effect. Efficient control flow detection method to achieve a reasonable balance of fault tolerance and fault tolerance. First of all, the detection performance of the control flow label detection method and its influencing factors were modeled and analyzed, and the theoretical basis of label addition was obtained. Then, an extended control flow detection method ECCFS based on format label is taken as the optimization target algorithm, and the program extension block is divided into optimization methods. A control flow detection optimization method based on detection capability analysis is proposed. The method gives engineering reference and theoretical basis for fault tolerance and reliability improvement, and the experimental results show that this method is less affected by the program control flow graph and can achieve a reasonable balance between fault tolerance and reliability.