发明名称 一种非对称的数据三模冗余方法及系统
摘要 本发明涉及对单粒子翻转有效的容错技术领域,特别涉及一种非对称的数据三模冗余方法及系统,该方法包括:通过三模冗余模块,将编译器调度指令之后及寄存器分配之前的原始指令中的操作数进行复制,并将复制后的所述操作数转换成二模数据与三模数据,建立所述二模数据、所述三模数据与所述操作数对应的原始数据的映射关系,其中所述原始数据作为一模数据;将寄存器存储空间划分为集合regs_one、集合regs_two、集合regs_three,并将所述一模数据、所述二模数据、所述三模数据分别存入所述集合regs_one、所述集合regs_two、所述集合regs_three,以完成数据冗余。本发明有助于提高容错性。
申请公布号 CN104679603A 申请公布日期 2015.06.03
申请号 CN201510055815.4 申请日期 2015.02.03
申请人 中国科学院计算技术研究所 发明人 吕方;黄磊;胡丹琪;冯晓兵
分类号 G06F11/07(2006.01)I 主分类号 G06F11/07(2006.01)I
代理机构 北京律诚同业知识产权代理有限公司 11006 代理人 祁建国;梁挥
主权项 一种非对称的数据三模冗余方法,其特征在于,包括:步骤1,通过三模冗余模块,将编译器调度指令之后及寄存器分配之前的原始指令中的操作数进行复制,并将复制后的所述操作数转换成二模数据与三模数据,建立所述二模数据、所述三模数据与所述操作数对应的原始数据的映射关系,其中所述原始数据作为一模数据;步骤2,将寄存器存储空间划分为集合regs_one、集合regs_two、集合regs_three,并将所述一模数据、所述二模数据、所述三模数据分别存入所述集合regs_one、所述集合regs_two、所述集合regs_three,以完成数据冗余。
地址 100190 北京市海淀区中关村科学院南路6号