[发明专利]一种存储器数据分层校验方法

说明书

技术领域

本发明涉及一种存储器数据分层校验方法，尤其涉及一种针对宇航用计算机存储器的数据分层校验方法。

背景技术

因宇航领域的不可维护性，要求宇航系统自身具有较高的可靠性。宇航用计算机一般通过冗余备份技术提高系统可靠性，实现方式包括硬件冗余、软件冗余、信息冗余等。宇航用计算机针对存储器的可靠性方式主要有存储器硬件冗余、EDAC错误检测与纠正(信息冗余)等。受宇航用计算机使用环境中各类宇宙射线的影响，宇航用计算机经常发生存储器翻转异常，如果不能及时准确地检测与修复发生翻转异常的存储器地址，则无法保障软件存储和运行安全。

发明内容

本发明提供一种存储器数据分层校验方法，能快速准确地定位发生存储器多位翻转异常的地址空间，能及时纠正存储器单位翻转异常和多位翻转异常，保证存储器中的存储数据持续稳定可靠，软件实现简单，成本低廉。

为了达到上述目的，本发明提供一种存储器数据分层校验方法，包含以下步骤：

对存储器的所有空间进行读操作，如果发现存储器单位翻转异常，将读取的该单位翻转异常地址的数据作为操作数回写到该单位翻转异常地址，完成对存储器单位翻转异常的修复，如果发现存储器多位翻转异常，将该多位翻转异常的地址本身作为操作数回写到该多位翻转异常地址，并标记该多位翻转异常地址，对该多位翻转异常地址中存储的三份完全相同的数据进行“三取二”检查，将“三取二”检查结果作为操作数回写到该多位翻转异常地址。

在将“三取二”检查结果作为操作数回写到该多位翻转异常地址后，进行修复确认操作，完成对存储器多位翻转异常的修复；

所述的修复确认操作是指：检查该多位翻转异常地址中的数据内容是否为该多位翻转异常地址本身。

本发明使用异常地址本身作为数据回写，能快速准确地定位发生存储器多位翻转异常的地址空间，进而使其得以修复，能及时纠正存储器单位翻转异常和多位翻转异常，保证存储器中的存储数据持续稳定可靠，且不需要专用宇航计算机硬件外设，软件实现简单，成本低廉。

附图说明

图1是本发明的流程示意图。

图2是本发明的具体实施例的示意图。

具体实施方式

以下根据图1和图2具体说明本发明的较佳实施例。

如图1所示，本发明提供一种存储器数据分层校验方法，包含以下步骤：

步骤S1、第一层校验；

对存储器的所有空间进行读操作，检查存储器中是否存在翻转异常，如果发现存储器单位翻转异常，进行步骤S2，如果发现存储器多位翻转异常，进行步骤S3；

步骤S2、进行单位异常回写操作，将读取的该异常地址的数据作为操作数回写到该异常地址，并返回步骤S1；

步骤S3、进行多位异常回写操作，将该翻转异常的地址本身作为操作数回写到该异常地址，并标记该异常地址，进行步骤S4；

步骤S4、第二层校验；

对存储器中存储的三份完全相同的数据(如执行程序原码、软件参数、软件运行过程数据)进行字“三取二”检查，当检索到已标记的存储器多位异常地址时，将“三取二”检查结果作为操作数回写到该异常地址，完成对存储器多位翻转异常的修复，并返回步骤S1。

如图2所示，在本发明的一个具体实施例中，使用宇航用计算机中的EDAC模块进行第一层校验。

宇航用处理器执行存储器读操作程序，从存储器初始地址A_a1开始顺序执行读操作，读取数据D_a1、D_a2、……、D_an、D_b1、D_b2、……、D_bn、D_c1、D_c2、……、D_cn，其中，a、b、c为存储器标识，代表三份完全相同的数据，1～n为存储器空间序号。

读取已发生存储器单位翻转的地址A_ij的数据D_ij时(其中，i为存储器标识，i＝a、b、c，j为存储器空间序号，j＝1～n)，宇航用计算机中的EDAC模块发出异常错误提示，按照图1中①进入EDAC单位异常服务程序，将读取的数据D_ij直接作为操作数回写到地址A_ij中，处理完成后按照图1中②返回到存储器读操作程序。