在同步多线程机上使用比较和传送指令的可靠执行

摘要

本发明提供在同步多线程机上进行高效且可靠执行的系统和方法。处理器设置在可靠执行模式(REM)中，以在任务关键型软件应用程序的执行过程中检测可能的错误。只有两个线程可经配置以在该模式中运行。浮点存储和整数变换一元指令可转换成新的二元指令。每个新指令具有两个源操作数，对应于不同线程的每个源操作数由相同逻辑寄存器编号指定为所述原始一元指令的单个源操作数。所有其他指令可进行复制，其中所述原始指令及其副本分配给不同线程。在使用所述新指令与实例化的整数独立群集通信时，同步多线程(SMT)浮点逻辑可能只能够提供锁步执行。在所述两个源操作数就绪之前，所述新指令无法开始，其中所述两个源操作数随后将进行比较以确定任何不匹配或错误。

主权项

一种系统，包括：计算机程序的高速缓冲存储指令；以及处理器；其中所述处理器经配置以执行以下操作：响应于确定所述指令的原始指令对应于第一指令类型，复制所述原始指令以创建所述原始指令的副本；响应于确定所述指令的所述原始指令对应于将由第一功能单元执行的第二指令类型，不复制所述原始指令，其中所述第一功能单元具有M个副本，每个副本对应于多个线程的两个或更多线程；以及响应于确定源操作数从第一线程就绪且源操作数从所述多个线程中的至少一个其他线程就绪，执行所述第二指令类型的所述原始指令。