汇编级软硬结合的控制流检测方法.pdfVIP

ISSNN 111777T P Journal of Comput er Research and Development 7( 8) : 1 81- 1 89, 2010 1 1 2 1 1 吴艳霞 顾国昌 戴 葵 刘海波 沈 晶 1 ( 150001) 2 ( 3007 ) (w uyanxia@ hrbeu. edu. cn) A HardSoft Integrated Control Fl ow Checking Method at Assembly Level 1 1 2 1 1 Wu Yanxia , Gu Guochang , Dai Kui , Liu Haibo , and Shen Jing 1 (College of Computer Science and Technology , H arbin Engineering University , H arbin 150001) 2 (Department of Electronic Science and Technology , H uazhong University of Science and Technology , uhan 3007 ) Abstract The control flow checking ( CFC) technique is one of the effective w ays to avoid programs dow n caused by transient fault. T he control flow checking by softw are signatures ( CFCSS) based on assemble code w hich has been tested on ARGOS satellite, has not only the relatively high error detecting ability and low er cost in redundant instructions, but also more practicability. How ever, there are still some detection loopholes and mistaken checking in this algorithm. Firstly the detection loopholes and mistaken checking are explained in CFCSS. Then according to the character of assemble, an improved CFCSS algorithm is presented, w hich modifies the basicblock selecting method and the insert position of multiadjusting signature value assign instructions. Furthermore, In order to improve the detecting ability and reduce the cost in redundant instructions on the basis of the improved algorithm, an improved CFCSS using hardw aresoftw are ( ICFCSSHS ) algorithm is presented. In this algorithm, only the information about signature is generated in compiler and the control flow checking hardw are units are triggered by judging the instruction types in the ID stage. Experimental resul