程序冗余执行的表决装置、方法、电子设备及存储介质与流程

技术特征：
1.一种程序冗余执行的表决装置，其特征在于，包括：动态反馈模块，用于获取程序冗余执行时，所述程序在本次表决未执行前的上下文信息；统计模块，用于基于所述上下文信息，以统计的本次表决以前的所有表决涉及到的表决相关信息作为本次表决参考，得到本次表决是否执行的判定结果。2.根据权利要求1所述的表决装置，其特征在于，所述上下文信息包括：程序表决地址、程序表决长度、程序执行时所在的函数以及程序表决执行结果。3.根据权利要求1所述的表决装置，其特征在于，还包括：编译模块，用于将回调函数写入原始程序，对所述原始程序进行插桩，得到所述程序。4.根据权利要求1所述的表决装置，其特征在于，所述统计模块还用于：根据表决地址标识判断所述上下文信息中的目标程序表决地址属于无需表决地址队列或需要表决地址队列；当确定所述目标程序表决地址属于无需表决地址队列时，将所述程序表决地址放入所述无需表决地址队列；当确定所述目标程序表决地址属于需要表决地址队列时，将所述程序表决地址放入所述需要表决地址队列。5.根据权利要求1所述的表决装置，其特征在于，还包括：裁决模块，用于在所述程序检测到表决点时，裁决所述表决点对应的程序表决地址在无需表决地址队列或需要表决地址队列，以确定所述表决点是否进行表决。6.根据权利要求1所述的表决装置，其特征在于，所述裁决模块还用于：根据至少两个程序对应的程序表决地址在所述统计模块中所在的表决地址队列，确定对所述至少两个程序的输出是直接合路或先表决再合路。7.一种程序冗余执行的表决方法，其特征在于，包括：获取程序冗余执行时，所述程序在本次表决未执行前的上下文信息；基于所述上下文信息，以统计的本次表决以前的所有表决涉及到的表决相关信息作为本次表决参考，得到本次表决是否执行的判定结果。8.根据权利要求7所述的表决方法，其特征在于，所述程序为：将回调函数写入原始程序，对所述原始程序进行插桩后得到。9.根据权利要求7所述的表决方法，其特征在于，还包括：根据表决地址标识判断所述上下文信息中的目标程序表决地址属于无需表决地址队列或需要表决地址队列；当确定所述目标程序表决地址属于无需表决地址队列时，将所述程序表决地址放入所述无需表决地址队列；当确定所述目标程序表决地址属于需要表决地址队列时，将所述程序表决地址放入所述需要表决地址队列。10.根据权利要求7所述的表决方法，其特征在于，还包括：在所述程序检测到表决点时，裁决所述表决点对应的程序表决地址在无需表决地址队列或需要表决地址队列，以确定所述表决点是否进行表决。11.根据权利要求7所述的表决方法，其特征在于，还包括：
根据至少两个程序对应的程序表决地址所在的表决地址队列，确定对所述至少两个程序的输出是直接合路或先表决再合路。12.一种电子设备，其特征在于，所述电子设备包括存储器和处理器；所述存储器用于存储至少一个指令；所述处理器用于执行所述至少一个指令以实现如权利要求7～11任意一项所述的程序冗余执行的表决方法。13.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储至少一个指令，所述至少一个指令被处理器执行时实现如权利要求7～11任意一项所述的程序冗余执行的表决方法。

技术总结
本发明公开了一种程序冗余执行的表决装置、方法、电子设备及存储介质，动态反馈模块获取程序冗余执行时，该程序在本次表决未执行前的上下文信息，统计模块基于上下文信息，以统计的本次表决以前的所有表决涉及到的表决相关信息作为本次表决参考，得到本次表决是否执行的判定结果。对于每次表决而言，本发明都会将本次表决以前的所有表决涉及到的表决相关信息作为本次表决参考，以确定本次表决是否执行，而本次表决时所涉及到的表决相关信息，也会作为下次表决的参考，这种通用的表决机制可以使得程序运行时间越长，表决机制越智能，表决点越精准，从而有效减少了每次程度输出都会进行表决情况的出现，进而减少了表决次数和系统性能损失。统性能损失。统性能损失。


技术研发人员：韩首魁 潘传幸 张高举 李昂
受保护的技术使用者：郑州昂视信息科技有限公司
技术研发日：2021.11.01
技术公布日：2022/1/28