并发控制流检测技术综述  

A Survey on Concurrent Control Flow Checking

作　　者：吴艳霞[1] 顾国昌[1] 付岩[1] 程立新[1] 

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

出　　处：《计算机科学》2007年第7期14-19,共6页Computer Science

摘　　要：并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制流检测技术的典型方法,对其进行分析评价;最后提出基于目前的方法并发控制流检测技术还需要解决的问题及新的发展方向。The Concurrent Control Flow Checking （CCFC） is an effective way for running system to prevent from breaking down caused by Single Event Upsets. It mainly adopts current Node-Signature Technique based on the Control Flow Graph. The classification criteria of CCFC is presented. And the classic method of CFC is analyzed and evaluated as two ways： hardware-software combination and purely software-based, according to the sequence of technique development. At last, it points out the challenge problems according to the current method and new research directions.

关 键 词：并发控制流检测 看门狗处理器 控制流图 分派签名 源签名 

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