软件实现的程序控制流校验方法研究进展  

Survey of control flow checking using software

作　　者：李爱国[1] 洪炳镕[1] 王司[2] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001 [2]哈尔滨工业大学航天学院,哈尔滨150001

出　　处：《哈尔滨工业大学学报》2008年第3期407-412,482,共7页Journal of Harbin Institute of Technology

摘　　要：在太空环境中,由于宇宙射线的存在,计算机系统的硬件经常发生各种故障,致使软件系统的执行流程产生错误.对于这种由硬件引入的控制流错误,软件实现的运行时校验可提供一种低价、高效的在线错误探测方法.本文以国外近年来有关文献为依据,对由软件实现的控制流校验方法进行了综述与分类,介绍了它们的实现原理并阐明了它们之间的联系与区别,最后指出了软件控制流探测方法目前存在的问题以及发展前景.To avoid the hardware-induced control flow faults of computer system operating due to the radiation in space environment, the low-cost and efficient software schemes are employed to achieve the Control flow checking （CFC）. The methods of CFC implemented through software itself are summarized and classified, and their principles are discussed as well. Furthermore, some existing problems and the foreground about CFC through software are put forward.

关 键 词：控制流校验 并行错误探测 软错误 在线检测 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]