[发明专利]验证动态二进制转换器中转换的来宾代码的方法和设备

权利要求书

1.一种用于验证动态二进制转换器中转换的来宾代码的设备，包括：

用于生成来宾代码的第一转换以在主机上执行的转换器，所述来宾代码的所述第一转换用于形成第一转换的来宾代码，并且所述转换器用于生成所述第一转换的来宾代码的第二转换以在所述主机上执行；

用于基于执行所述第一转换的一部分，识别第一主机状态的转换版本管理器，并且所述转换版本管理器用于基于执行所述第二转换的一部分，识别第二主机状态；以及

用于基于在所述第一主机状态与所述第二主机状态之间的比较，确定所述第二转换的状态发散状况的验证器。

2.如权利要求1所述的设备，其中所述转换器用于：

识别所述第一转换的来宾代码中执行的指令；

识别将包括所述执行的指令的指令块；以及

在所述块的结尾处插入提交指令。

3.如权利要求1所述的设备，还包括：

用于执行所述第一转换的一部分的主机指令执行器；以及

所述转换版本管理器用于在所述主机指令执行器执行所述第一转换前，识别所述主机的系统状态信息，并且所述转换版本管理器用于识别在所述第一转换执行结束时的所述第一主机状态。

4.如权利要求3所述的设备，其中所述转换版本管理器用于：

加载所述主机的所述系统状态信息；以及

响应所述主机指令执行器执行所述第二转换的一部分，识别所述第二主机状态。

5.如权利要求1所述的设备，其中所述来宾代码是以前转换的来宾代码。

6.如权利要求1所述的设备，还包括用于执行以下操作的认证器：

在未检测到状态发散时，增大用于所述第二转换的认证计数；

比较所述认证计数和第一阈值；以及

基于所述比较，认证所述第二转换。

7.如权利要求1所述的设备，还包括用于执行以下操作的链优化器：

更新执行链以包括所述第一转换；

在执行所述第一转换时，增大第一迭代计数；

识别将对应于所述第一转换的第一性能计数器；

更新所述执行链以包括所述第二转换；

在执行所述第二转换时，增大第二迭代计数；

比较所述第一性能计数器和将对应于所述第二转换的第二性能计数器；以及

基于所述比较，在所述第一性能计数器大于所述第二性能计数器时，丢弃所述第二转换。

8.一种用于验证动态二进制转换器中转换的来宾代码的方法，所述方法包括：

生成来宾代码的第一转换以在主机上执行，所述来宾代码的所述第一转换用于形成第一转换的来宾代码；

生成所述第一转换的来宾代码的第二转换以在所述主机上执行；

基于执行所述第一转换的一部分，识别第一主机状态；

基于执行所述第二转换的一部分，识别第二主机状态；以及

基于在所述第一主机状态与所述第二主机状态之间的比较，确定所述第二转换的状态发散状况。

9.如权利要求8所述的方法，其中生成所述第一转换还包括：

识别所述第一转换的来宾代码中执行的指令；

识别包括所述执行的指令的指令块；以及

在所述块的结尾处插入提交指令。

10.如权利要求8所述的方法，其中识别所述第一主机状态还包括：

存储所述主机的系统状态信息；

执行所述第一转换的一部分；以及

识别在所述第一转换执行结束时的所述第一主机状态。

11.如权利要求10所述的方法，其中识别所述第二主机状态还包括：

加载所述主机的所述系统状态信息；

执行所述第二转换的一部分；以及

识别在所述第二转换执行结束时的所述第二主机状态。