首页 | 本学科首页   官方微博 | 高级检索  
     

一种定义于伽罗瓦域的信号函数
引用本文:彭宇,洪炳熔. 一种定义于伽罗瓦域的信号函数[J]. 计算机研究与发展, 2000, 37(7): 796-801
作者姓名:彭宇  洪炳熔
作者单位:哈尔滨工业大学计算机科学与工程系,哈尔滨,100051
基金项目:“九五”预研基金项目资助 !(项目编号 16.6.2 .7/ A9760 0 0 -0 6)
摘    要:信号监控是一种有效的控制流错误检测技术,采用不同的信号函数所引起的性能开销和存储器开销差别很大,为了降低开销,提出了一种新的用于控制流错误检测的信号函数,该信号函数定义于伽罗瓦域中,给发配状态代码和计算状态信号的算法,该算法不是用穷尽搜索的方法而是通过矩阵给状态赋值,在该算法中,对的信号函数只需实现为一维表格,其开比以前的信号函数你 给出了在保证错误检测延迟一定的条件下进上步降低开销的方法,该函数

关 键 词:控制流 伽罗瓦域 信号函数 计算机 可靠性

A NEW SIGNATURE FUNCTION DEFINED IN GALOIS FIELD
PENG Yu,HONG Bing-Rong. A NEW SIGNATURE FUNCTION DEFINED IN GALOIS FIELD[J]. Journal of Computer Research and Development, 2000, 37(7): 796-801
Authors:PENG Yu  HONG Bing-Rong
Abstract:Signature monitoring is an effective technique to detect the control flow errors. Different signature functions cause significantly different overheads in memory and processor performance. In order to reduce the overhead, a new signature function is presented for the detection of control flow errors in this paper. This signature function is defined in Galois field (GF). An algorithm is presented to assign state codes and compute state signatures. The assignment of values to the states is carried out by matrix inversion instead of using exhaustive search methods. In this algorithm, the computation of the signature requires only one addition operation and one multiplication operation at each transition of states. This signature function can be implemented as one dimensional table while the previous signature function needs to be implemented as two dimensional table. So this signature function allows lower overhead than the previous signatures. A method is also presented to further reduce the overhead caused by this signature function while guaranteeing a given delay for control flow error detection. This signature function can be efficiently implemented in both hardware and software.
Keywords:the control flow   a finite state machine   Galois field   a signature function
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号