高级检索
    徐建军 谭庆平 李建立 李剑明. 一种基于格式化标签的可扩展控制流检测方法[J]. 计算机研究与发展, 2011, 48(4): 638-646.
    引用本文: 徐建军 谭庆平 李建立 李剑明. 一种基于格式化标签的可扩展控制流检测方法[J]. 计算机研究与发展, 2011, 48(4): 638-646.
    Xu Jianjun, Tan Qingping, Li Jianli, and Li Jianming. An Extendable Control Flow Checking Method Based on Formatted Signatures[J]. Journal of Computer Research and Development, 2011, 48(4): 638-646.
    Citation: Xu Jianjun, Tan Qingping, Li Jianli, and Li Jianming. An Extendable Control Flow Checking Method Based on Formatted Signatures[J]. Journal of Computer Research and Development, 2011, 48(4): 638-646.

    一种基于格式化标签的可扩展控制流检测方法

    An Extendable Control Flow Checking Method Based on Formatted Signatures

    • 摘要: software fault tolerance; fault injection

       

      Abstract: Hardware transient fault is one of the top challenges for the space computers, which run in the space environment with different radiation phenomena. Furthermore, with the continuously increasing performance enabled by the scaling of VLSI technologies, modern microprocessors are becoming more susceptible to transient faults. For the reliability of system, a major effect incurred by these transient faults is the control flow errors, e.g. modifying the target address of a jump instruction. Through the control flow graph of program, basic blocks are firstly categorized by the graph coloring algorithm. Then an effective control flow checking method, named ECCFS, is presented based on the formatted signature of basic blocks. Moreover, the extended solutions are proposed for the control flow checking of intra-block and inter-procedure, respectively. ECCFS can be extended flexibly by user through configuring the signatures format according to the requirement of detecting rate and performance. The analytical result of checking capacity and the experimental result of fault injection indicate that ECCFS can detect most control flow errors, excepting the dummy branch and some checking defects. Compared with two typical control flow checking methods, ECCFS has the advantage in errors detecting rate and performance overhead.

       

    /

    返回文章
    返回