[發明專利]一種存儲器數據分層校驗方法

有效

• 申請號: 201710035619.X
• 申請日: 2017-01-17
• 公開（公告）號: CN106776100B
• 公開（公告）日: 2020-04-10
• 發明（設計）人: 陳為偉;張增安;林榮峰;吳敬玉;郭思巖
• 申請（專利權）人: 上海航天控制技術研究所
• 主分類號: G06F11/07
• 分類號: G06F11/07
• 代理公司: 上海信好專利代理事務所(普通合伙) 31249
• 代理人: 周乃鑫;周榮芳

技術領域

本發明涉及一種存儲器數據分層校驗方法，尤其涉及一種針對宇航用計算機存儲器的數據分層校驗方法。

背景技術

因宇航領域的不可維護性，要求宇航系統自身具有較高的可靠性。宇航用計算機一般通過冗余備份技術提高系統可靠性，實現方式包括硬件冗余、軟件冗余、信息冗余等。宇航用計算機針對存儲器的可靠性方式主要有存儲器硬件冗余、EDAC錯誤檢測與糾正(信息冗余)等。受宇航用計算機使用環境中各類宇宙射線的影響，宇航用計算機經常發生存儲器翻轉異常，如果不能及時準確地檢測與修復發生翻轉異常的存儲器地址，則無法保障軟件存儲和運行安全。

發明內容

本發明提供一種存儲器數據分層校驗方法，能快速準確地定位發生存儲器多位翻轉異常的地址空間，能及時糾正存儲器單位翻轉異常和多位翻轉異常，保證存儲器中的存儲數據持續穩定可靠，軟件實現簡單，成本低廉。

為了達到上述目的，本發明提供一種存儲器數據分層校驗方法，包含以下步驟：

對存儲器的所有空間進行讀操作，如果發現存儲器單位翻轉異常，將讀取的該單位翻轉異常地址的數據作為操作數回寫到該單位翻轉異常地址，完成對存儲器單位翻轉異常的修復，如果發現存儲器多位翻轉異常，將該多位翻轉異常的地址本身作為操作數回寫到該多位翻轉異常地址，并標記該多位翻轉異常地址，對該多位翻轉異常地址中存儲的三份完全相同的數據進行“三取二”檢查，將“三取二”檢查結果作為操作數回寫到該多位翻轉異常地址。

在將“三取二”檢查結果作為操作數回寫到該多位翻轉異常地址后，進行修復確認操作，完成對存儲器多位翻轉異常的修復；

所述的修復確認操作是指：檢查該多位翻轉異常地址中的數據內容是否為該多位翻轉異常地址本身。

本發明使用異常地址本身作為數據回寫，能快速準確地定位發生存儲器多位翻轉異常的地址空間，進而使其得以修復，能及時糾正存儲器單位翻轉異常和多位翻轉異常，保證存儲器中的存儲數據持續穩定可靠，且不需要專用宇航計算機硬件外設，軟件實現簡單，成本低廉。

附圖說明

圖1是本發明的流程示意圖。

圖2是本發明的具體實施例的示意圖。

具體實施方式

以下根據圖1和圖2具體說明本發明的較佳實施例。

如圖1所示，本發明提供一種存儲器數據分層校驗方法，包含以下步驟：

步驟S1、第一層校驗；

對存儲器的所有空間進行讀操作，檢查存儲器中是否存在翻轉異常，如果發現存儲器單位翻轉異常，進行步驟S2，如果發現存儲器多位翻轉異常，進行步驟S3；

步驟S2、進行單位異?；貙懖僮鳎瑢⒆x取的該異常地址的數據作為操作數回寫到該異常地址，并返回步驟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中②返回到存儲器讀操作程序。