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

• 作者: 杨学军 王之元 高珑
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 面向硬件故障的软件容错 错误流模型 关键子图 部分冗余 容错编译
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2105-2116
• 页数: 12页
• 分类号: TP314
• 字数: 8365字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨学军	国防科学技术大学计算机学院	85	786	15.0	23.0
2	高珑	国防科学技术大学计算机学院	6	45	5.0	6.0
3	王之元	国防科学技术大学计算机学院	8	77	5.0	8.0