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.

Return Instruction Analysis and Optimization in Dynamic Binary Translation

SPC-Indexed Indirect Branch Hardware Cache Redirecting Technique in Binary Translation

DTT: program structure-aware indirect branch optimization via direct-TPC-table in DBT system.

An approach to minimizing the interpretation overhead in Dynamic Binary Translation

A Hardware Non-Invasive Mapping Method for Condition Bits in Binary Translation

Performance Improvements via Peephole Optimization in Dynamic Binary Translation

Spire: Improving Dynamic Binary Translation Through Spc-Indexed Indirect Branch Redirecting

A Light-weight Code Cache Design for Dynamic Binary Translation

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

Condition code optimization in dynamic binary translation

An Instruction Inflation Analyzing Framework for Dynamic Binary Translators

Using Pcache to Speedup Interpretation in Dynamic Binary Translation.

Improving Dynamically-Generated Code Performance on Dynamic Binary Translators

Level Based Binary Translation System Back-end Instruction Indexing Strategy

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

Improving SIMD Parallelism via Dynamic Binary Translation

Low Power Branch Target Buffer Based on Loop Access Filtering

SPTU: Improving Dynamic Binary Translation through Software Prediction with Target Updating

A Novel Chaining Approach To Indirect Control Transfer Instructions

MTCrossBit: A Dynamic Binary Translation System Based on Multithreaded Optimization

GSM: An Efficient Code Generation Algorithm for Dynamic Binary Translator