[发明专利]一种非对称的数据三模冗余方法及系统

摘要

本发明涉及对单粒子翻转有效的容错技术领域，特别涉及一种非对称的数据三模冗余方法及系统，该方法包括通过三模冗余模块，将编译器调度指令之后及寄存器分配之前的原始指令中的操作数进行复制，并将复制后的所述操作数转换成二模数据与三模数据，建立所述二模数据、所述三模数据与所述操作数对应的原始数据的映射关系，其中所述原始数据作为一模数据；将寄存器存储空间划分为集合regs_one、集合regs_two、集合regs_three，并将所述一模数据、所述二模数据、所述三模数据分别存入所述集合regs_one、所述集合regs_two、所述集合regs_three，以完成数据冗余。本发明有助于提高容错性。

主权项

一种非对称的数据三模冗余方法，其特征在于，包括：步骤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。