Polyhedral parallelization of binary code

Benoit Pradelle 1, 2 Alain Ketterlin 1, 2, 3 Philippe Clauss 1, 2, 3
Abstract : Many automatic software parallelization systems have been proposed in the past decades, but most of them are dedicated to source-to-source transformations. This paper shows that parallelizing executable programs is feasible, even if they require complex transformations, and in effect decouples parallelization from compilation, for example, for closed-source or legacy software, where binary code is the only available representation. We propose an automatic parallelizer, which is able to perform advanced parallelization on binary code. It first parses the binary code and extracts high-level information. From this information, a C program is generated. This program captures only a subset of the program semantics, namely, loops and memory accesses. This C program is then parallelized using existing, state-of-the-art parallelizers, including advanced polyhedral parallelizers. The original program semantics is then re-injected, and the transformed parallel loop nests are recompiled by a standard C compiler. We show on the PolyBench benchmark suite that our system successfully detects and parallelizes almost all the loop nests from the binary code, using a recent polyhedral loop parallelizer as a backend. The paper ends by elaborating a strategy to parallelize more complex programs, such as those containing non-linear accesses to memory, and provides a few example case-studies.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-00664370
Contributor : Philippe Clauss <>
Submitted on : Monday, January 30, 2012 - 2:20:03 PM
Last modification on : Wednesday, April 3, 2019 - 1:23:03 AM

Links full text

Identifiers

Collections

Citation

Benoit Pradelle, Alain Ketterlin, Philippe Clauss. Polyhedral parallelization of binary code. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp.39:1--39:21. ⟨10.1145/2086696.2086718⟩. ⟨hal-00664370⟩

Share

Metrics

Record views

457