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.

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

Optimization of Basic Blocks Overlapped Redundancy in Dynamic Binary Translation

Transferring Optimize Technology in Dynamic Binary Translation

OPTIMIZATION FOR DYNAMIC BINARY TRANSLATION

An Intermediate Language Level Optimization Framework for 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

OPTIMIZATION TECHNIQUE OF REDUNDANT INSTRUCTIONS ELIMINATION IN DYNAMIC BINARY TRANSLATOR QEMU

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

An approach to minimizing the interpretation overhead in Dynamic Binary Translation

A study on register mapping optimization in dynamic binary translation

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

The Implementation of Dynamic Linking in Dynamic Binary Translation Systems

A Solution to the Misalignment Problems in Dynamic Binary Translation

A Dynamic Binary Translation Framework Based on Page Fault Mechanism in Linux Kernel

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

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

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

Dynamic Optimization on Multi-core Platform

The Implementation of Static-Integrated Optimization Framework for Dynamic Binary Translation