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

说明书

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

技术领域

本公开内容一般涉及二进制转换，并且更具体地说，涉及验证动态二进制转换器中转换的来宾代码的方法和设备。

背景技术

二进制转换器分析来宾代码块，生成用于主机指令集体系结构的功能上等效的代码块（有时在本文中称为“代码转换”，这产生转换的代码块），执行有关代码转换的优化，以及调度转换的代码块以便在主机上执行。成功时，在主机上执行代码转换的结果与在来宾指令集体系结构机器上执行来宾代码时的结果是相同的。

附图说明

图1是根据本公开内容的教导，包括示例动态二进制转换器的示例系统的示意图。

图2是图1的示例动态二进制转换器的示例转换检验器的框图。

图3-6是表示可执行以验证动态二进制转换器中转换的来宾代码的示例机器可读指令的流程图。

图7是可执行图3-6的指令以实现图1和/或2的示例系统和设备的示例处理器平台的示意图。

具体实施方式

二进制转换是允许在主机系统上运行的虚拟机有效地执行不属于主机本身的指令集体系结构的来宾代码的虚拟化技术。二进制转换允许虚拟机以符合来宾指令集体系结构性(ISA)的方式执行来宾二进制指令，其中，来宾二进制指令在得到适当转换时，以与本机主机二进制指令一致的方式在主机指令集体系结构上执行。在一些情况下，二进制转换器可解释来宾二进制指令，其中，一次一个来宾二进制指令，读取，解码（例如，将来宾二进制指令转化成主机二进制指令）并且随后执行来宾二进制指令。相反，在一些示例中，二进制转换器可识别来宾二进制指令块（例如，一个或更多个来宾二进制指令），将来宾二进制指令块解码，优化解码的块，并且随后存储（例如，缓存）转换的块以便在以后再使用（有时称为“动态编译”、“即时(JIT)编译”或“动态二进制转换”）。优化解码的块可包括例如基于用户配置（例如，用户选择的特征等）、主机运行时环境（例如，操作系统版本、安装（且可用）的硬件和/或驱动程序等），修改转换的来宾二进制指令，将解码的块的来宾二进制指令的执行序、重新排序（例如，基于来宾二进制指令的配置文件信息），识别比来宾二进制指令更有效执行的主机二进制指令（例如，识别一次加载不止一个值而不是加载一个值的主机二进制指令）等。来宾二进制指令（有时在本文中称为“来宾二进制”、“来宾代码”或“源代码”）可被转换成（例如，转化成）主机二进制指令（有时在本文中称为“主机二进制”、“主机代码”或“目标代码”）以实现可移植性，改进性能和/或降低功耗。

二进制转换通常由静态二进制转换器或动态二进制转换器执行。静态二进制转换器在执行来宾代码前执行来宾代码转换（例如，脱机）。相反，动态二进制转换器在来宾代码的执行期间（例如，在运行时）执行来宾代码转换。