Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 157–174

Abstract

Binary translation is a powerful approach to support cross-architecture emulation of unmodified binaries in increasingly heterogeneous computing environments. However, binary translation systems face correctness issues, due to the strong-on-weak memory model mismatch (e.g., from x86-64 to Arm/RISC-V) for concurrent programs. Besides, the current landscape of binary translation systems is fundamentally limited in terms of completeness for static systems and performance for dynamic ones.

Authors 10

1. Sebastian Reimers

   Technical University of Munich

   Affiliation as printed

   TU Munich, Munich, Germany

2. Dennis Sprokholt

   Technical University of Munich

   Affiliation as printed

   TU Munich, Munich, Germany

3. Martin Fink

   Technical University of Munich

   Affiliation as printed

   TU Munich, Munich, Germany

4. Theofilos Augoustis

   Technical University of Munich

   Affiliation as printed

   TU Munich, Munich, Germany

5. Simon Kammermeier

   Technical University of Munich

   Affiliation as printed

   TU Munich, Munich, Germany

6. Rodrigo C. O. Rocha
   Affiliation as printed

   Huawei, Edinburgh, United Kingdom

7. Tom Spink

   University of St Andrews

   Affiliation as printed

   University of St Andrews, United Kingdom, St Andrews, United Kingdom

8. Redha Gouicem Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

9. Soham Chakraborty

   Delft University of Technology

   Affiliation as printed

   TU Delft, Delft, Netherlands

10. Pramod Bhatotia

    Technical University of Munich

    Affiliation as printed

    TU Munich, Munich, Germany