Invention Grant
US09223553B2 Methods and apparatus to validate translated guest code in a dynamic binary translator
有权
在动态二进制翻译器中验证翻译的访客代码的方法和装置
- Patent Title: Methods and apparatus to validate translated guest code in a dynamic binary translator
- Patent Title (中): 在动态二进制翻译器中验证翻译的访客代码的方法和装置
-
Application No.: US14125263Application Date: 2013-09-26
-
Publication No.: US09223553B2Publication Date: 2015-12-29
- Inventor: Girish Venkatasubramanian , Chaitanya Mangla , Gerolf F. Hoflehner , Ethan Schuchman
- Applicant: INTEL CORPORATION
- Applicant Address: US CA Santa Clara
- Assignee: INTEL CORPORATION
- Current Assignee: INTEL CORPORATION
- Current Assignee Address: US CA Santa Clara
- Agency: Hanley, Flight & Zimmerman, LLC
- International Application: PCT/US2013/061967 WO 20130926
- International Announcement: WO2015/047278 WO 20150402
- Main IPC: G06F9/45
- IPC: G06F9/45 ; F01D5/08 ; F02C7/18 ; G06F9/445

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.
Public/Granted literature
- US20150178104A1 METHODS AND APPARATUS TO VALIDATE TRANSLATED GUEST CODE IN A DYNAMIC BINARY TRANSLATOR Public/Granted day:2015-06-25
Information query