| 一种软硬件结合的控制流检测与恢复方法 |
| |
| 引用本文： | 龚锐,陈微,刘芳,戴葵,王志英. 一种软硬件结合的控制流检测与恢复方法[J]. 计算机研究与发展, 2009, 46(2) |
| |
| 作者姓名： | 龚锐 陈微 刘芳 戴葵 王志英 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划)，国家高技术研究发展计划(863计划)，国家自然科学基金 |
| |
| 摘 要： | 控制流检测可以有效地提高微处理器容错能力.针对传统软件实现的控制流检测时空开销大的缺点,提出了一种软硬件结合的控制流检测与恢复方法.该方法通过编译自动插入签名数据,由硬件在分支/跳转指令之后自动执行检测,并且提供了硬件现场保存和恢复机制,检测到控制流错误后无需复位系统即可以快速恢复正常控制流.基于8051体系结构实现了软硬件结合的控制流检测与恢复方法,实验结果表明与传统的软件控制流检测相比,该方法在保持相同的错误检测率的情况下,可以大幅减小二进制代码量和额外的性能开销,在发生控制流错误以后可以快速恢复正常控制流.
|
| 关 键 词： | 软错误 控制流检测 编译签名 硬件检测 控制流恢复 |
Control Flow Checking and Recovering by Compiler Signatures and Hardware Checking |
| |
| Gong Rui,Chen Wei,Liu Fang,Dai Kui,Wang Zhiying. Control Flow Checking and Recovering by Compiler Signatures and Hardware Checking[J]. Journal of Computer Research and Development, 2009, 46(2) |
| |
| Authors: | Gong Rui Chen Wei Liu Fang Dai Kui Wang Zhiying |
| |
| Affiliation: | College of Computer;National University of Defense Technology;Changsha 410073 |
| |
| Abstract: | With the exponential increase in the transistors per chip,microprocessors are becoming more susceptible to soft errors. Control flow checking has been proved effective in promoting soft error tolerant ability of microprocessors. The conventional control flow checking method inserts large number of signature instructions in the program by compiler. So it imposes large overheads on both binary code size and program execution performance. Moreover,the conventional control flow checking method does not consider... |
| |
| Keywords: | soft error control flow checking compiler signature hardware checking control flow recovering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
