Implementing check instructions in each thread within a redundant multithreading environments
    4.
    发明授权
    Implementing check instructions in each thread within a redundant multithreading environments 有权
    在冗余多线程环境中的每个线程中实现检查指令

    公开(公告)号:US07353365B2

    公开(公告)日:2008-04-01

    申请号:US10953887

    申请日:2004-09-29

    IPC分类号: G06F9/318

    CPC分类号: G06F11/1494 G06F11/1695

    摘要: A method and apparatus for a checker instruction in a redundant multithreading environment is described. In one embodiment, when RMT requires, a processor may issue a checker instruction in both a leading thread and a trailing thread. The checker instruction may travel down individual pipelines for each thread independently until it reaches a buffer at the end of each pipeline. Then, prior to committing the checker instruction, the checker instruction looks for its counterpart and does a comparison of the instructions. If the checker instructions match, the checker instructions commit and retires otherwise an error is declared.

    摘要翻译: 描述用于冗余多线程环境中的检查指令的方法和装置。 在一个实施例中,当RMT需要时,处理器可以在前导线程和后退线程中发出校验指令。 检查器指令可以独立地沿着每个线程的各个管道下行,直到它到达每个管道末端的缓冲区。 然后,在提交检查指令之前,检验员指令寻找其对应方,并对指令进行比较。 如果检查器指令匹配,则检查器指令提交并退出,否则声明错误。

    Hardware recovery in a multi-threaded architecture
    6.
    发明授权
    Hardware recovery in a multi-threaded architecture 有权
    多线程架构中的硬件恢复

    公开(公告)号:US07373548B2

    公开(公告)日:2008-05-13

    申请号:US10651523

    申请日:2003-08-29

    IPC分类号: G06F11/00

    CPC分类号: G06F11/1482

    摘要: Log-based hardware recovery. A checkpointed state of a system includes both architectural register values and memory. The checkpoint consists of a copy of the architectural register file values at the time the checkpoint is generated. An ordered log of non-deterministic events is maintained so that the responses can be repeated to simulate a complete checkpoint for error recovery purposes. When a processor detects an error, the processor reloads the state from the last checkpoint and repeats the non-deterministic events from the log.

    摘要翻译: 基于日志的硬件恢复。 系统的检查点状态包括体系结构寄存器值和存储器。 检查点由生成检查点时的体系结构寄存器文件值的副本组成。 维护非确定性事件的有序日志,以便重复响应以模拟完整的检查点以进行错误恢复。 当处理器检测到错误时,处理器从上一个检查点重新加载状态,并从日志重复非确定性事件。

    Incremental checkpointing in a multi-threaded architecture
    7.
    发明授权
    Incremental checkpointing in a multi-threaded architecture 有权
    多线程架构中的增量检查点

    公开(公告)号:US07243262B2

    公开(公告)日:2007-07-10

    申请号:US10651376

    申请日:2003-08-29

    IPC分类号: G06F11/00

    摘要: A processor executes corresponding instruction threads as a leading thread and a trailing thread. For a selected instruction, processor state corresponding to the execution of the instruction is saved in a history buffer. This is performed before writing a result from the selected instruction to a destination register. The result from executing the selected instruction in the leading thread is compared to the result from executing the selected instruction in the trailing thread. If the comparison indicates a fault, then restoring the processor state corresponding to a previous instruction. Data from the history buffer is used to perform the restoration.

    摘要翻译: 处理器执行相应的指令线程作为前导线程和尾随线程。 对于所选择的指令,与指令的执行相对应的处理器状态被保存在历史缓冲器中。 这是在将所选指令的结果写入目的寄存器之前进行的。 在前导线程中执行所选择的指令的结果与执行拖尾线程中所选指令的结果进行比较。 如果比较指示故障,则恢复与先前指令相对应的处理器状态。 来自历史缓冲区的数据用于执行恢复。

    Fault detection using redundant virtual machines
    9.
    发明授权
    Fault detection using redundant virtual machines 有权
    使用冗余虚拟机进行故障检测

    公开(公告)号:US07587663B2

    公开(公告)日:2009-09-08

    申请号:US11439485

    申请日:2006-05-22

    IPC分类号: G06F11/14

    CPC分类号: G06F11/1484 G06F11/16

    摘要: A technique to detect errors in a computer system. More particularly, at least one embodiment of the invention relates to using redundant virtual machines and comparison logic to detect errors occurring in input/output (I/O) operations in a computer system.

    摘要翻译: 一种检测计算机系统中的错误的技术。 更具体地,本发明的至少一个实施例涉及使用冗余虚拟机和比较逻辑来检测在计算机系统中的输入/输出(I / O)操作中发生的错误。

    Active load address buffer
    10.
    发明授权
    Active load address buffer 有权
    活动负载地址缓冲区

    公开(公告)号:US06598122B2

    公开(公告)日:2003-07-22

    申请号:US09839621

    申请日:2001-04-19

    IPC分类号: G06F1208

    摘要: A redundantly threaded processor is disclosed having an Active Load Address Buffer (“ALAB”) that ensures efficient replication of data values retrieved from the data cache. In one embodiment, the processor comprises a data cache, instruction execution circuitry, and an ALAB. The instruction execution circuitry executes instructions in two or more redundant threads. The threads include at least one load instruction that causes the instruction execution circuitry to retrieve data from the data cache. The ALAB includes entries that are associated with data values that a leading thread has retrieved. The entries include a counter field that is incremented when the instruction execution circuitry retrieves the associated data value for the leading thread, and that is decremented with the associated data value is retrieved for the trailing thread. The entries preferably also include an invalidation field which may be set to prevent further incrementing of the counter field.

    摘要翻译: 公开了一种冗余线程处理器,其具有确保从数据高速缓存检索的数据值的有效复制的活动负载地址缓冲器(“ALAB”)。 在一个实施例中,处理器包括数据高速缓存,指令执行电路和ALAB。 指令执行电路在两个或多个冗余线程中执行指令。 线程包括使指令执行电路从数据高速缓存中检索数据的至少一个加载指令。 ALAB包括与前导线程已检索的数据值相关联的条目。 这些条目包括一个计数器字段,当指令执行电路检索前导线程的相关联的数据值时递增计数器字段,并且为后续线程检索关联的数据值而递减的计数器字段。 条目优选地还包括无效字段,其可以被设置为防止计数器字段的进一步递增。