| VarBIFT:指令级的变量冗余容错检测技术 |
| |
| 引用本文： | 张显明,张锐,彭启民,赵军锁.VarBIFT:指令级的变量冗余容错检测技术[J].计算机工程与设计,2010,31(10). |
| |
| 作者姓名： | 张显明 张锐 彭启民 赵军锁 |
| |
| 作者单位： | 1. 中国科学院软件研究,所综合信息技术国家级重点实验室,北京,100190;中国科学院研究生院,北京100049
2. 中国科学院软件研究所,综合信息技术国家级重点实验室,北京,100190 |
| |
| 摘 要： | 为了解决空间辐射对嵌入式计算机系统正确性的影响越来越明显的问题,基于典型的编译级容错技术,在编译器LCC上实现了基于有向无环图的编译级容错检测方法VarBIFT.该方法可以有效的保护由于粒子效应所引起的瞬时硬件故障,并可针对不同的目标机自动生成容错代码.实验结果表明,VarBIFT使源程序的平均段错误率从32.3%降到了13.9%,平均错误输出率从28.6%降到了9.2%;而其时间开销和空间开销仅为0.7%和36%.
|
| 关 键 词： | 软件容错 编译 可靠性 瞬时错误 嵌入式系统 |
VarBIFT:Variable backup at instruction-level for fault tolerance |
| |
| ZHANG Xian-ming,ZHANG Rui,PENG Qi-min,ZHAO Jun-suo.VarBIFT:Variable backup at instruction-level for fault tolerance[J].Computer Engineering and Design,2010,31(10). |
| |
| Authors: | ZHANG Xian-ming ZHANG Rui PENG Qi-min ZHAO Jun-suo |
| |
| Affiliation: | ZHANG Xian-ming1,2,ZHANG Rui1,PENG Qi-min1,ZHAO Jun-suo1(1.National Key Laboratory of Integrated Information System Technology,Institute of Software,Chinese Academy of Sciences,Beijing 100190,China,2.Graduate University,Chinese Academy of Science,Beijing 100049,China) |
| |
| Abstract: | In order to solve the problem of more radiation effect on the correctness of embedded computer systems.Based on typical compiler fault tolerance technology,a new compiler fault tolerance method VarBIFT is implemented based on directed acyclic graph of C compiler LCC.An appropriate protection is provided for hardware against transient fault caused by event effects,and fault tolerance code according to variable targets are generated automatically.Experiment shows that with VarBIFT the program average ratio of... |
| |
| Keywords: | software fault tolerance compilation reliability transient fault embedded system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
