在冗余多线程系统中管理外部存储器更新的方法和设备

摘要

公开了一种使用推测性存储器支持来管理用于冗余多线程系统中故障检测的外部存储器更新的多线程体系结构。特别是，一种方法通过使用推测性存储器支持将冗余线程与外部更新隔离来在SRT处理器上提供装入值的输入复制。该方法因此避免了提供输入复制的专用结构的需要。

主权项

1. 一种使用推测性存储器支持来管理用于冗余多线程系统中故障检测的外部存储器更新的方法，包括：将两个指令线程作为前导线程和拖尾线程来并行执行，其中每个指令线程至少包括目的地是存储器中的存储单元的存储指令；将在前导线程中执行的存储指令的第一结果以及在拖尾线程中执行的存储指令的第二结果保存到存储器中；确定第一结果是否等于第二结果；当第一结果等于第二结果时将存储指令应用于存储器状态；以及延迟外部更新一直到完成应用步骤。