基于差异化位标识的数据流错误检测算法  

Error detection algorithm for data flow based on extension bit sign

作　　者：周航 曾歆 ZHOU Hang;ZENG Xin

机构地区：[1]同济大学电子与信息工程学院,上海201804

出　　处：《信息技术与信息化》2018年第7期85-89,共5页Information Technology and Informatization

基　　金：国家科技支撑计划"2015BAG19B02"

摘　　要：计算机系统在运行时可能发生硬件错误,从而破坏寄存器中的数据,导致程序产生错误的输出结果,此类错误在安全苛求系统中会造成不可估量的损失。目前主要使用冗余编码的软件方法来检测数据流错误,该研究领域主要有ANBD码算法和△码算法两种主流的检测算法,但现有算法难以实现安全性和性能的平衡,本文在此基础上提出了一种基于差异化位标识的程序运行时错误检测算法,通过注入差异化的按位标识对数据进行双目编码,利用按位操作的特性以尽可能少的冗余来实现运算的安全性,该算法性能优于现有算法,能以仅仅3-5倍的性能下降,实现所有数据流运算符合SIL4标准。There can be hardware errors during the running of computer systems, corrupting the data in the registers and causing wrong output results. Such errors can cause incalculable losses in safety critical systems. At present, redundant encoding methods are mainly used to detect data flow errors. There are two mainstream detection algorithms, ANBD encoding algorithm and Δ encoding algorithm. However, existing algorithms are difficult to achieve a balance between safety and performance. This paper proposes a run-time error detection algorithm based on the diverse bit sign, data can be encoded by injection of bit sign, using bit-wise operations to achieve safety of system with as little redundancy as possible. These algorithm can meet SIL4 standard with only 3-5 times of performance slowdown,the perfomance is better than existing algorithms.

关 键 词：数据流 冗余编码 按位标识 安全性 性能 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]