摘要
本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。
The paper introduces for CFCSS,briefly analyzes the running routine of the GCC compiler,gives the concrete methods for how to extend the CFCSS algorithm in the GCC compiler and then compiles a single C language program in the extended GCC.Finally,we perform the CFCSS algorithm＇s valid verification by fault injection experiments.The experiment shows the new program can check the error of the control flow when it runs,which is compiled by the GCC compiler after extending the CFCSS algorithm.The above conclusion gives great support to positioning and recovering the faults in the next step and lays a good foundation for solving the computer running faults in the space.
出处
《计算机工程与科学》
CSCD
北大核心
2012年第2期73-77,共5页
Computer Engineering & Science
关键词
GCC
中间层代码
优化
控制流检错算法
GCC
intermediate code
optimization
control flow error detection algorithm
