[發明專利]一種非對稱的數據三模冗余方法及系統

有效

• 申請號: 201510055815.4
• 申請日: 2015-02-03
• 公開（公告）號: CN104679603B
• 公開（公告）日: 2018-02-06
• 發明（設計）人: 呂方;黃磊;胡丹琪;馮曉兵
• 申請（專利權）人: 中國科學院計算技術研究所
• 主分類號: G06F11/07
• 分類號: G06F11/07
• 代理公司: 北京律誠同業知識產權代理有限公司11006
• 代理人: 祁建國,梁揮

1.一種非對稱的數據三模冗余方法，其特征在于，包括：

步驟1，通過三模冗余模塊，將編譯器調度指令之后及寄存器分配之前的原始指令中的操作數進行復制，并將復制后的所述操作數轉換成二模數據與三模數據，建立所述二模數據、所述三模數據與所述操作數對應的原始數據的映射關系，其中所述原始數據作為一模數據；

步驟2，將寄存器存儲空間劃分為集合regs_one、集合regs_two、集合regs_three，并將所述一模數據、所述二模數據、所述三模數據分別存入所述集合regs_one、所述集合regs_two、所述集合regs_three，以完成數據冗余；

其中所述步驟2還包括：在所述編譯器中設定默認比例值，并根據所述默認比例值將所述寄存器存儲空間進行劃分，根據所述一模數據、所述二模數據、所述三模數據的所占存儲空間，為所述集合regs_one、所述集合regs_two、所述集合regs_three劃分存儲空間，并在分配過程中維護所述集合regs_one、所述集合regs_two、所述集合regs_three。

2.如權利要求1所述的非對稱的數據三模冗余方法，其特征在于，所述步驟1還包括：建立所述二模數據、所述三模數據的地址變量與所述一模數據的地址變量的對應關系。

3.如權利要求1所述的非對稱的數據三模冗余方法，其特征在于，所述步驟1和所述步驟2之間還包括：將store指令與jmp指令設置為檢查點，用于檢錯、信息存儲、錯誤恢復。

4.一種非對稱的數據三模冗余系統，其特征在于，包括：

復制模塊，用于通過三模冗余模塊，將編譯器調度指令之后及寄存器分配之前的原始指令中的操作數進行復制，并將復制后的所述操作數轉換成二模數據與三模數據，建立所述二模數據、所述三模數據與所述操作數對應的原始數據的映射關系，其中所述原始數據作為一模數據；

數據冗余模塊，用于將寄存器存儲空間劃分為集合regs_one、集合regs_two、集合regs_three，并將所述一模數據、所述二模數據、所述三模數據分別存入所述集合regs_one、所述集合regs_two、所述集合regs_three，以完成數據冗余；

其中所述數據冗余模塊還包括：在所述編譯器中設定默認比例值，并根據所述默認比例值將所述寄存器存儲空間進行劃分，根據所述一模數據、所述二模數據、所述三模數據的所占存儲空間，為所述集合regs_one、所述集合regs_two、所述集合regs_three劃分存儲空間，并在分配過程中維護所述集合regs_one、所述集合regs_two、所述集合regs_three。

5.如權利要求4所述的非對稱的數據三模冗余系統，其特征在于，所述復制模塊還包括：建立所述二模數據、三模數據的地址變量與所述一模數據的地址變量的對應關系。

6.如權利要求4所述的非對稱的數據三模冗余系統，其特征在于，還包括檢查模塊：用于將store指令與jmp指令設置為檢查點，用于檢錯、信息存儲、錯誤恢復。