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

孟宪凯徐建军谭庆平赵昕琳

中国人民解放军国防科技大学;

摘要：

由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33％ ～ 77％.本文提出了一种在源代码级实现控制流错误检测的方法SLCEDM,该方法针对高级语言程序以函数作为基本功能单元的特点,通过函数标签分析策略解决了函数间控制流容错的难点问题.并且,由于基本块的划分及标签分配以函数为界,可以根据函数内控制流的结构选用最适合的标签更新和检测手段,增强了可配置性,具有开销小、检错率高、易于实现等优势.

关键词：钦件容错、控制流检测、瞬态故障

分类号：TP311.52;TN915;TN47

资助基金：国家自然科学基金61202116

在线出版日期：2014-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：48-52