Abstract:Dynamic binary translators (DBTs) are widely used to migrate applications between different instruction set architectures (ISAs). Despite extensive research to improve DBT performance, noticeable overhead remains, preventing near-native performance, especially when translating from complex instruction set computer (CISC) to reduced instruction set computer (RISC). For computational workloads, the main overhead stems from translated code quality. Experimental data show state-of-the-art DBT products have dynamic code inflation of at least 1.46. This indicates on average over 1.46 host instructions are needed to emulate one guest instruction. Worse, inflation closely correlates with translated code quality. However, the detailed sources of instruction inflation remain unclear. To understand the sources of inflation, we present Deflater, an instruction inflation analysis framework comprising a mathematical model, a collection of black-box unit tests called BenchMIAOes, and a trace-based simulator called InflatSim. The mathematical model calculates overall inflation based on the inflation of individual instructions and translation block (TB) optimizations. BenchMIAOes extract model parameters from DBTs without accessing DBT source code. InflatSim implements the model and uses the extracted parameters from BenchMIAOes to simulate a given DBT’s behavior. Deflater is a valuable tool to guide DBT analysis and improvement. Using Deflater, we simulated inflation for three state-of-the-art CISC-to-RISC DBTs: ExaGear, Rosetta2, and LATX, with inflation errors of 5.63%, 5.15%, and 3.44% respectively for SPEC CPU 2017, gaining insights into these commercial DBTs. Deflater also efficiently models inflation for the open-source DBT QEMU and suggests optimizations that can substantially reduce inflation. Implementing the suggested optimizations confirms Deflater’s effective guidance, with 4.65% inflation error, and gains 5.47x performance improvement.

FADATest: Fast and Adaptive Performance Regression Testing of Dynamic Binary Translation Systems

FADATest

PerfDBT: Efficient Performance Regression Testing of Dynamic Binary Translation

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

Improving Dynamically-Generated Code Performance on Dynamic Binary Translators

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

Performance Improvements via Peephole Optimization in Dynamic Binary Translation

CrossDBT: An LLVM-Based User-Level Dynamic Binary Translation Emulator

Design and Application of a Response-Driven Adaptive Test System

A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules

CoDBT: A multi-source dynamic binary translator using hardware-software collaborative techniques

Decoupling Binary-Level Dynamic Test Generation from Specific Architecture Details

An Instruction Inflation Analyzing Framework for Dynamic Binary Translators

Towards Efficient Data-flow Test Data Generation

On Enhancing Adaptive Random Testing for AADL Model

The Optimizations in Dynamic Binary Translation

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

Sinof: A Dynamic-Static Combined Framework for Dynamic Binary Translation

Research on Automatic Instrumentation for Bytecode Testing and Debugging

OFFDTAN: A New Approach of Offline Dynamic Taint Analysis for Binaries

The Implementation of Dynamic Linking in Dynamic Binary Translation Systems