Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments

Benoit Pradelle 1, 2
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
LSIIT - Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Inria Nancy - Grand Est
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 com- pilation, e.g., for closed-source or legacy software, where binary code is the only available representation. We propose an automatic parallelizer 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.
Complete list of metadatas

Cited literature [139 references]  Display  Hide  Download
Contributor : Philippe Clauss <>
Submitted on : Wednesday, September 19, 2012 - 5:29:11 PM
Last modification on : Friday, January 12, 2018 - 1:09:35 AM
Long-term archiving on : Thursday, December 20, 2012 - 3:48:14 AM


  • HAL Id : tel-00733856, version 1



Benoit Pradelle. Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments. Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English. ⟨tel-00733856⟩



Record views


Files downloads