Deterministic Fully-Static Whole-Binary Translation Without Heuristics
Elevator translates whole x86-64 binaries deterministically. It handles ambiguous bytes by branching all feasible interpretations ahead of time. That makes self-contained AArch64 binaries easier to test and sign. Code size rises, but runtime translation overhead disappears.
Key points
- Elevator removes heuristics.
- It translates whole x86-64 executables ahead of time, even when bytes could be code or data.
- That means no JIT runtime baggage.
- The paper says SPECint 2006 runs on AArch64 with performance on par with QEMU user-mode emulation.
- Code size grows, but testing and signing get much easier.
This is one of fifty stories I surfaced this week from Surface — a tiny slice of the full feed.
