高效的部分冗余容错编译:复制错误流关键子图

摘要：

传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.

关键词：面向硬件故障的软件容错、错误流模型、关键子图、部分冗余、容错编译

所属期刊栏目：18

分类号：TP314(计算技术、计算机技术)

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

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

页数：共12页

页码：2105-2116