公开(公告)号：CN105518622A

公开(公告)日：2016-04-20

申请号：CN201380079186.8

申请日：2013-09-26

Applicant: 英特尔公司

Inventor： G.文卡特苏布拉马尼安 ,  C.邙拉 ,  G.F.霍夫勒纳 ,  E.舒赫曼

IPC: G06F9/45

Abstract: 本文公开了验证动态二进制转换器中转换的来宾代码的方法、设备、系统和制品。本文中公开的示例设备包括生成代码的第一转换以在主机上执行的转换器，来宾代码的第一转换有利于形成转换的第一来宾代码，并且转换器生成转换的来宾代码的第二转换以在主机上执行。示例设备也包括基于执行第一转换的一部分，识别第一主机状态的转换版本管理器，并且转换版本管理器基于执行第二转换的一部分，识别第二主机状态。示例系统也包括基于在第一主机状态与第二主机状态之间的比较，确定第二转换的状态发散状况的验证器。

公开(公告)号：CN105518622B

公开(公告)日：2019-08-27

申请号：CN201380079186.8

申请日：2013-09-26

Applicant: 英特尔公司

Inventor： G.文卡特苏布拉马尼安 ,  C.邙拉 ,  G.F.霍夫勒纳 ,  E.舒赫曼

IPC: G06F9/455 ,  G06F11/30 ,  G06F11/34

Abstract: 本文公开了验证动态二进制转换器中转换的来宾代码的方法、设备、系统和制品。本文中公开的示例设备包括生成代码的第一转换以在主机上执行的转换器，来宾代码的第一转换有利于形成转换的第一来宾代码，并且转换器生成转换的来宾代码的第二转换以在主机上执行。示例设备也包括基于执行第一转换的一部分，识别第一主机状态的转换版本管理器，并且转换版本管理器基于执行第二转换的一部分，识别第二主机状态。示例系统也包括基于在第一主机状态与第二主机状态之间的比较，确定第二转换的状态发散状况的验证器。