In proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Dynamic Binary Translation (DBT) is a powerful approach to support cross-architecture emulation of unmodified binaries. However, DBT systems face correctness and performance challenges, when emulating concurrent binaries from strong to weak memory consistency architectures. As a matter of fact, we report several translation errors in Qemu, when emulating x86 binaries on Arm hosts. To address these challenges, we propose an end-to-end approach that provides correct and efficient emulation for weak memory model architectures.
Jan 1 2023 Redha Gouicem Dennis Sprokholt Jasper Ruehl Rodrigo C. O. Rocha Tom Spink Soham Chakraborty Pramod Bhatotia