基于检测能力分析的控制流检测优化方法

控制流检测是抵抗单粒子效应的有效手段之一.高效的控制流检测方法须实现容错性能和容错开销的合理均衡.首先对控制流标签检测方法的检测性能及影响因素进行建模分析,得到了标签添加的理论基础.然后将一种基于格式化标签的可拓展控制流检测方法EC-CFS做为优化目标算法,并以程序扩展块划分为优化手段,提出一种基于检测能力分析的控制流检测优化方法.该方法给出了容错开销与可靠性提升的工程参考和理论依据,并且实验结果验证了该方法受程序控制流图影响较小,能够实现容错开销与可靠性的合理均衡.