Method for fast detection of mutually exclusive predicated instructions
    1.
    发明授权
    Method for fast detection of mutually exclusive predicated instructions 有权
    快速检测相互排除的预测指令的方法

    公开(公告)号:US06360316B1

    公开(公告)日:2002-03-19

    申请号:US09334841

    申请日:1999-06-16

    申请人: Leonid Baraz

    发明人: Leonid Baraz

    IPC分类号: G06F9318

    摘要: A method for detecting independent predicated instructions comprises associating all instructions within a block of code with true and false bit vectors that have bit locations corresponding to instructions that produce pairs of mutually exclusive predicates. A computation is performed in which the true bit vectors associated with the first and second instructions are EXCLUSIVE-ORed to produce a first result. The false bit vectors associated with the first and second instructions are EXCLUSIVE-ORed to produce a second result. The first and second results are then ANDed to produce a third result. If the third result is a non-zero result, the first and second instructions are independent.

    摘要翻译: 用于检测独立的预测指令的方法包括将代码块内的所有指令与具有与产生互斥谓词对的指令相对应的位位置的真和假位向量相关联。 执行计算,其中与第一和第二指令相关联的真位向量是独占等效的,以产生第一结果。 与第一和第二指令相关联的伪位向量是EXCLUSIVE-OR,以产生第二结果。 然后将第一和第二个结果进行AND运算以产生第三个结果。 如果第三个结果是非零结果,则第一和第二个指令是独立的。

    Apparatus and method for reproduction of a source ISA application state corresponding to a target ISA application state at an execution stop point
    2.
    发明授权
    Apparatus and method for reproduction of a source ISA application state corresponding to a target ISA application state at an execution stop point 有权
    用于在执行停止点再现对应于目标ISA应用状态的源ISA应用状态的装置和方法

    公开(公告)号:US07076769B2

    公开(公告)日:2006-07-11

    申请号:US10401468

    申请日:2003-03-28

    申请人: Leonid Baraz

    发明人: Leonid Baraz

    IPC分类号: G06F9/45

    CPC分类号: G06F8/52

    摘要: A method and apparatus for reproduction of a legacy ISA application corresponding to a target ISA application state at an execution stop point are described. In one embodiment, the method includes the translation of a binary application generated for a legacy instruction set architecture (ISA) into a translated binary application for a target ISA. During translation, one or more instructions within the translated binary application are selected as commit point instructions. Once selected, the translated binary application is modified to store a source ISA application state corresponding to a target ISA application state prior to each selected commit point. In addition, the selected commit points indicate the location of the stored source ISA application state information.

    摘要翻译: 描述用于在执行停止点处再现对应于目标ISA应用程序状态的传统ISA应用程序的方法和装置。 在一个实施例中,该方法包括将用于遗留指令集架构(ISA)生成的二进制应用程序转换为目标ISA的翻译二进制应用程序。 在翻译期间,翻译的二进制应用程序中的一个或多个指令被选择为提交点指令。 一旦被选择,翻译的二进制应用程序被修改为存储与每个所选提交点之前的目标ISA应用程序状态相对应的源ISA应用程序状态。 此外,所选择的提交点指示存储的源ISA应用程序状态信息的位置。

    Method for verifying contiquity of a binary translated block of
instructions by attaching a compare and/or branch instruction to
predecessor block of instructions
    4.
    发明授权
    Method for verifying contiquity of a binary translated block of instructions by attaching a compare and/or branch instruction to predecessor block of instructions 失效
    用于通过将比较和/或分支指令附加到先前的指令块来验证二进制翻译的指令块的持续性的方法

    公开(公告)号:US5721927A

    公开(公告)日:1998-02-24

    申请号:US689357

    申请日:1996-08-07

    摘要: A method for enabling a first block of instructions to verify whether the first block of instructions follows a second block of instructions in an order of execution. The method includes appending a compare instruction to the first block of instructions. The compare instruction compares a first value from the first block of instructions with a second value from the second block of instructions, which precedes the first block of instructions in the order of execution. The method further includes appending a branching instruction to the first block of instructions. The branching instruction is executed in response to the first value being unequal to the second value. The branching instruction, when executed, branches to an alternative look-up routine to obtain a block of instructions that follows the second block of instructions in the order of execution.

    摘要翻译: 一种用于使得第一指令块能够以执行顺序验证第一指令块是否遵循第二指令块的方法。 该方法包括将比较指令附加到第一指令块。 比较指令将来自第一指令块的第一值与来自执行顺序的第一指令块之前的第二指令块的第二值进行比较。 该方法还包括将分支指令附加到第一指令块。 响应于第一值不等于第二值来执行分支指令。 分支指令在执行时分支到另一查找例程,以按照执行顺序获得遵循第二指令块的指令块。