GCC编译器中间代码层控制流扩充研究  

Research on the Expanding Intermediate Code for Control Flow Checking Based on GCC

作　　者：何涛[1] 周会平[2] 贾丽丽[2] 王发鸿[1] 

机构地区：[1]国防科学技术大学继续教育学院,湖南长沙410073 [2]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2012年第2期73-77,共5页Computer Engineering & Science

摘　　要：本文首先对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.

关 键 词：GCC 中间层代码 优化 控制流检错算法 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]