Search International and National Patent Collections

1. (WO2015047278) METHODS AND APPARATUS TO VALIDATE TRANSLATED GUEST CODE IN A DYNAMIC BINARY TRANSLATOR

Pub. No.:    WO/2015/047278    International Application No.:    PCT/US2013/061967
Publication Date: Fri Apr 03 01:59:59 CEST 2015 International Filing Date: Fri Sep 27 01:59:59 CEST 2013
IPC: G06F 9/45
Applicants: INTEL CORPORATION
Venkatasubramanian, Girish
Mangla, Chaitanya
Hoflehner, Gerolf F.
Schuchman, Ethan
Inventors: Venkatasubramanian, Girish
Mangla, Chaitanya
Hoflehner, Gerolf F.
Schuchman, Ethan
Title: METHODS AND APPARATUS TO VALIDATE TRANSLATED GUEST CODE IN A DYNAMIC BINARY TRANSLATOR
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.