公开(公告)号：US20160085531A1

公开(公告)日：2016-03-24

申请号：US14956671

申请日：2015-12-02

Applicant: Intel Corporation

Inventor： Girish Venkatasubramanian ,  Chaitanya Mangla ,  Gerolf F. Hoflehner ,  Ethan Schuchman

IPC: G06F9/45

CPC classification number: G06F8/447 ,  F01D5/082 ,  F02C7/18 ,  F05D2250/38 ,  F05D2260/14 ,  F05D2260/941 ,  G06F8/51 ,  G06F8/52 ,  G06F9/44589 ,  G06F9/4552 ,  G06F11/0751 ,  G06F11/30 ,  G06F11/3003 ,  G06F11/3466 ,  G06F2201/81 ,  G06F2201/865 ,  G06F2201/88 ,  Y10T29/49 ,  Y10T29/49995

Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to validate translated guest code in a dynamic binary translator. An example apparatus disclosed herein includes a translator to generate a first translation of code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code, and the translator to generate a second translation of the translated guest code to execute on the host machine. The example apparatus also includes a translation versions manager to identify a first host machine state based on executing a portion of the first translation, and the translation versions manager to identify a second host machine state based on executing a portion of the second translation. The example system also includes a validator to determine a state divergence status of the second translation based on a comparison between the first host machine state and the second host machine state.

公开(公告)号：US09858057B2

公开(公告)日：2018-01-02

申请号：US14956671

申请日：2015-12-02

Applicant: Intel Corporation

Inventor： Girish Venkatasubramanian ,  Chaitanya Mangla ,  Gerolf F. Hoflehner ,  Ethan Schuchman

IPC: G06F9/45 ,  G06F11/07 ,  G06F11/30 ,  G06F9/455 ,  F01D5/08 ,  F02C7/18 ,  G06F9/445 ,  G06F11/34

CPC classification number: G06F8/447 ,  F01D5/082 ,  F02C7/18 ,  F05D2250/38 ,  F05D2260/14 ,  F05D2260/941 ,  G06F8/51 ,  G06F8/52 ,  G06F9/44589 ,  G06F9/4552 ,  G06F11/0751 ,  G06F11/30 ,  G06F11/3003 ,  G06F11/3466 ,  G06F2201/81 ,  G06F2201/865 ,  G06F2201/88 ,  Y10T29/49 ,  Y10T29/49995

Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to validate translated guest code in a dynamic binary translator. An example apparatus disclosed herein includes a translator to generate a first translation of code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code, and the translator to generate a second translation of the translated guest code to execute on the host machine. The example apparatus also includes a translation versions manager to identify a first host machine state based on executing a portion of the first translation, and the translation versions manager to identify a second host machine state based on executing a portion of the second translation. The example system also includes a validator to determine a state divergence status of the second translation based on a comparison between the first host machine state and the second host machine state.

公开(公告)号：US09223553B2

公开(公告)日：2015-12-29

申请号：US14125263

申请日：2013-09-26

Applicant: INTEL CORPORATION

Inventor： Girish Venkatasubramanian ,  Chaitanya Mangla ,  Gerolf F. Hoflehner ,  Ethan Schuchman

IPC: G06F9/45 ,  F01D5/08 ,  F02C7/18 ,  G06F9/445

CPC classification number: G06F8/447 ,  F01D5/082 ,  F02C7/18 ,  F05D2250/38 ,  F05D2260/14 ,  F05D2260/941 ,  G06F8/51 ,  G06F8/52 ,  G06F9/44589 ,  G06F9/4552 ,  G06F11/0751 ,  G06F11/30 ,  G06F11/3003 ,  G06F11/3466 ,  G06F2201/81 ,  G06F2201/865 ,  G06F2201/88 ,  Y10T29/49 ,  Y10T29/49995

Abstract: Methods, apparatus, systems and articles of manufacture are disclosed to validate translated guest code in a dynamic binary translator. An example apparatus disclosed herein includes a translator to generate a first translation of code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code, and the translator to generate a second translation of the translated guest code to execute on the host machine. The example apparatus also includes a translation versions manager to identify a first host machine state based on executing a portion of the first translation, and the translation versions manager to identify a second host machine state based on executing a portion of the second translation. The example system also includes a validator to determine a state divergence status of the second translation based on a comparison between the first host machine state and the second host machine state.

Abstract translation: 公开了方法，装置，系统和制品，以在动态二进制转换器中验证翻译的客户代码。 本文公开的示例设备包括翻译器，用于生成在主机上执行的代码的第一翻译，客户代码的第一次翻译以便于创建第一翻译的客户代码，以及翻译器以生成所翻译的客人的第二翻译 在主机上执行的代码。 该示例设备还包括翻译版本管理器，用于基于执行第一翻译的一部分来识别第一主机状态，以及翻译版本管理器，用于基于执行第二翻译的一部分来识别第二主机状态。 该示例系统还包括基于第一主机状态和第二主机状态之间的比较来确定第二转换的状态发散状态的验证器。