Intel Corporation

Igor Breger

Konstantin Levit-Gurevich

Boris Ginzburg

Esfir Natanzon

Gadi Haber

Moshe Maury Bach

Aya Elhanan

Methods, apparatus and systems for virtualization of a native instruction set are disclosed. Embodiments include a processor core executing the native instructions and a second core, or alternatively only the second processor core consuming less power while executing a second instruction set that excludes portions of the native instruction set. The second core's decoder detects invalid opcodes of the second instruction set. A microcode layer disassembler determines if opcodes should be translated. A translation runtime environment identifies an executable region containing an invalid opcode, other invalid opcodes and interjacent valid opcodes of the second instruction set. An analysis unit determines an initial machine state prior to execution of the invalid opcode. A partial translation of the executable region that includes encapsulations of the translations of invalid opcodes and state recoveries of the machine states is generated and saved to a translation cache memory.

Method and apparatus for performance efficient ISA virtualization using dynamic partial binary translation

Technologies for binary loop trip count computation include a computing device that dynamically instruments binary code, executes the instrumented code, and records execution statistics during execution of the instrumented code. The computing device may instrument only instructions affecting local control flow within functions of the binary code. The computing device may combine execution statistics from multiple threads or process instances of the binary code. After completing execution of the instrumented code, the computing device generates a control flow graph indicative of control flow of the binary code and recursively detects binary loops within the binary code. The computing device calculates a trip count for reach detected binary loop using the recorded execution statistics. Other embodiments are described and claimed.

Technologies for determining binary loop trip count using dynamic binary instrumentation

Growing community of inventors

Haifa, Israel

Igor Breger