论文部分内容阅读
本文研究了软件容错的两项关键技术—复制签名检错技术和软件签名控制流检错技术，对软件检错技术的关键问题进行了分析并给出了解决问题的算法。首先，对基本块划分，软件签名检错指令生成，影子指令生成和指令调度等关键问题进行了理论分析，给出了适于目标平台的算法，介绍了软件检错技术系统的总体设计方法。