Compact trace trees for dynamic binary parallelization
    1.
    发明授权
    Compact trace trees for dynamic binary parallelization 有权
    用于动态二进制并行化的紧凑跟踪树

    公开(公告)号:US08332558B2

    公开(公告)日:2012-12-11

    申请号:US12242371

    申请日:2008-09-30

    IPC分类号: G06F9/44 G06F9/00

    CPC分类号: G06F9/45516

    摘要: Methods and apparatus relating to compact trace trees for dynamic binary parallelization are described. In one embodiment, a compact trace tree (CTT) is generated to improve the effectiveness of dynamic binary parallelization. CTT may be used to determine which traces are to be duplicated and specialized for execution on separate processing elements. Other embodiments are also described and claimed.

    摘要翻译: 描述了用于动态二进制并行化的紧凑跟踪树的方法和设备。 在一个实施例中,生成紧凑跟踪树(CTT)以提高动态二进制并行化的有效性。 可以使用CTT来确定哪些跟踪被复制并专用于在单独的处理元件上执行。 还描述和要求保护其他实施例。

    Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability
    3.
    发明申请
    Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability 有权
    用于软件错误检测的软件控制流程检查的装置和方法,以提高微处理器的可靠性

    公开(公告)号:US20070174750A1

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

    申请号:US11325773

    申请日:2005-12-30

    申请人: Edson Borin

    发明人: Edson Borin

    IPC分类号: G01R31/28

    CPC分类号: G06F11/1004

    摘要: A method and apparatus for software-based control flow checking for soft error detection. In one embodiment, the method includes the instrumentation of one basic block of a target program to update a signature register with a successor basic block signature at an end of the basic block. In addition, the basic block is instrumented to verify that contents of the signature register match a basic block signature at a beginning of the basic block. In one embodiment, an instruction is inserted within the basic block to cause the signature register to store a predetermined value if the contents of the signature register match a basic block signature. In one embodiment, a basic block may be subdivided into a plurality of regions; each region is assigned a signature and instrumented to update the signature register at a beginning of each region. Other embodiments are described and claimed.

    摘要翻译: 一种用于软错误检测的基于软件的控制流程检查的方法和装置。 在一个实施例中,该方法包括在基本块的结尾处对目标程序的一个基本块的仪表进行更新具有后继基本块签名的签名寄存器。 另外,基本块被验证以验证签名寄存器的内容是否与基本块开头的基本块签名相匹配。 在一个实施例中,如果签名寄存器的内容与基本块签名匹配,则在基本块内插入指令以使签名寄存器存储预定值。 在一个实施例中,基本块可以被细分为多个区域; 每个区域都被分配一个签名,并在每个区域的开头进行检测以更新签名寄存器。 描述和要求保护其他实施例。

    METHODS AND APPARATUS TO MANAGE PARTIAL-COMMIT CHECKPOINTS WITH FIXUP SUPPORT
    4.
    发明申请
    METHODS AND APPARATUS TO MANAGE PARTIAL-COMMIT CHECKPOINTS WITH FIXUP SUPPORT 有权
    使用固定支持管理部分提交检查的方法和设备

    公开(公告)号:US20110153999A1

    公开(公告)日:2011-06-23

    申请号:US12644151

    申请日:2009-12-22

    IPC分类号: G06F9/312

    摘要: Example methods and apparatus to manage partial commit-checkpoints are disclosed. A disclosed example method includes identifying a commit instruction associated with a region of instructions executed by a processor, identifying candidate instructions from the region of instructions, and generating a processor partial commit-checkpoint to save a current state of the processor, the checkpoint based on calculated register values associated with live instructions, and including instruction reference addresses to link the candidate instructions.

    摘要翻译: 公开了用于管理部分提交检查点的示例性方法和装置。 所公开的示例性方法包括识别与由处理器执行的指令区域相关联的提交指令,从指令区域识别候选指令,以及生成处理器部分提交检查点以保存处理器的当前状态,所述检查点基于 与实时指令相关联的计算寄存器值,并包括链接候选指令的指令参考地址。

    COMPACT TRACE TREES FOR DYNAMIC BINARY PARALLELIZATION
    5.
    发明申请
    COMPACT TRACE TREES FOR DYNAMIC BINARY PARALLELIZATION 有权
    用于动态二进制并行化的紧凑跟踪

    公开(公告)号:US20100083236A1

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

    申请号:US12242371

    申请日:2008-09-30

    IPC分类号: G06F9/44

    CPC分类号: G06F9/45516

    摘要: Methods and apparatus relating to compact trace trees for dynamic binary parallelization are described. In one embodiment, a compact trace tree (CTT) is generated to improve the effectiveness of dynamic binary parallelization. CTT may be used to determine which traces are to be duplicated and specialized for execution on separate processing elements. Other embodiments are also described and claimed.

    摘要翻译: 描述了用于动态二进制并行化的紧凑跟踪树的方法和设备。 在一个实施例中,生成紧凑跟踪树(CTT)以提高动态二进制并行化的有效性。 可以使用CTT来确定哪些跟踪被复制并专用于在单独的处理元件上执行。 还描述和要求保护其他实施例。

    Methods and apparatus to manage partial-commit checkpoints with fixup support
    7.
    发明授权
    Methods and apparatus to manage partial-commit checkpoints with fixup support 有权
    使用fixup支持来管理部分提交检查点的方法和设备

    公开(公告)号:US08549267B2

    公开(公告)日:2013-10-01

    申请号:US12644151

    申请日:2009-12-22

    摘要: Example methods and apparatus to manage partial commit-checkpoints are disclosed. A disclosed example method includes identifying a commit instruction associated with a region of instructions executed by a processor, identifying candidate instructions from the region of instructions, and generating a processor partial commit-checkpoint to save a current state of the processor, the checkpoint based on calculated register values associated with live instructions, and including instruction reference addresses to link the candidate instructions.

    摘要翻译: 公开了用于管理部分提交检查点的示例性方法和装置。 所公开的示例性方法包括识别与由处理器执行的指令区域相关联的提交指令,从指令区域识别候选指令,以及生成处理器部分提交检查点以保存处理器的当前状态,所述检查点基于 与实时指令相关联的计算寄存器值,并包括链接候选指令的指令参考地址。

    Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability
    9.
    发明授权
    Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability 有权
    用于软件错误检测的软件控制流程检查的装置和方法,以提高微处理器的可靠性

    公开(公告)号:US07506217B2

    公开(公告)日:2009-03-17

    申请号:US11325773

    申请日:2005-12-30

    IPC分类号: G06F11/00

    CPC分类号: G06F11/1004

    摘要: A method and apparatus for software-based control flow checking for soft error detection. In one embodiment, the method includes the instrumentation of one basic block of a target program to update a signature register with a successor basic block signature at an end of the basic block. In addition, the basic block is instrumented to verify that contents of the signature register match a basic block signature at a beginning of the basic block. In one embodiment, an instruction is inserted within the basic block to cause the signature register to store a predetermined value if the contents of the signature register match a basic block signature. In one embodiment, a basic block may be subdivided into a plurality of regions; each region is assigned a signature and instrumented to update the signature register at a beginning of each region. Other embodiments are described and claimed.

    摘要翻译: 一种用于软错误检测的基于软件的控制流程检查的方法和装置。 在一个实施例中,该方法包括在基本块的结尾处对目标程序的一个基本块的仪表进行更新具有后继基本块签名的签名寄存器。 另外,基本块被验证以验证签名寄存器的内容是否与基本块开头的基本块签名相匹配。 在一个实施例中,如果签名寄存器的内容与基本块签名匹配,则在基本块内插入指令以使签名寄存器存储预定值。 在一个实施例中,基本块可以被细分为多个区域; 每个区域都被分配一个签名,并在每个区域的开头进行检测以更新签名寄存器。 描述和要求保护其他实施例。