描述了一种用于在冗余多线程环境中的检验指令的方法和设备。在一个实施例中，当RMT需要时，处理器会在前导线程和结尾线程中发出检验指令。该检验指令会对于每个线程单独地向下传输到各个流水线中，直到它到达每个流水线末端的缓冲器。然后，在提交该检验指令之前，该检验指令查找其相应部分并对该指令进行比较。如果该检验指令匹配，则提交该检验指令并退出，否则描述错误。