Abstract:Dynamic binary translation (DBT) is a key system technology that enables many important system applications such as system virtualization and emulation. To achieve good performance, it is important for a DBT system to be equipped with high-quality translation rules. However, most translation rules in existing DBT systems are created manually with high engineering efforts and poor quality. To solve this problem, a learning-based approach was recently proposed to automatically learn semantically-equivalent translation rules, and symbolic verification is used to prove the semantic equivalence of such rules. But, they still suffer from some shortcomings. In this paper, we first give an in-depth analysis on the constraints of prior learning-based methods and observe that the equivalence requirements are often unduly restrictive. It excludes many potentially high-quality rule candidates from being included and applied. Based on this observation, we propose an enhanced learning-based approach that relaxes such equivalence requirements but supplements them with constraining conditions to make them semantically equivalent when such rules are applied. Experimental results on SPEC CINT2006 show that the proposed approach can improve the dynamic coverage of the translation from 55.7% to 69.1% and the static coverage from 52.2% to 61.8%, compared to the original approach. Moreover, up to 1.65X performance speedup with an average of 1.19X are observed.

Optimization of Basic Blocks Overlapped Redundancy in Dynamic Binary Translation

An optimization technology for detecting and eliminating basic blocks' overlapped redundancies in dynamic binary translation

OPTIMIZATION FOR DYNAMIC BINARY TRANSLATION

Transferring Optimize Technology in Dynamic Binary Translation

The Optimizations in Dynamic Binary Translation

Condition code optimization in dynamic binary translation

Performance analysis and evaluation of dynamic binary translation system CrossBit

An Intermediate Language Level Optimization Framework for Dynamic Binary Translation.

OPTIMIZATION TECHNIQUE OF REDUNDANT INSTRUCTIONS ELIMINATION IN DYNAMIC BINARY TRANSLATOR QEMU

An approach to minimizing the interpretation overhead in Dynamic Binary Translation

A Dynamic-Static Combined Code Layout Reorganization Approach for Dynamic Binary Translation.

A New Approach to Reorganize Code Layout of Software Cache in Dynamic Binary Translator

A study on register mapping optimization in dynamic binary translation

A Solution to the Misalignment Problems in Dynamic Binary Translation

Unleashing the Power of Learning: an Enhanced Learning-Based Approach for Dynamic Binary Translation.

The Implementation of Dynamic Linking in Dynamic Binary Translation Systems

Metadata Driven Registerization Optimization in Dynamic Binary Translator

A Two-Phase Optimization Approach for Condition Codes in a Machine Adaptable Dynamic Binary Translator

Return Instruction Analysis and Optimization in Dynamic Binary Translation

FPGA based hardware-software co-designed dynamic binary translation system

Hot Path Optimization in Software Dynamic Binary Translation