Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization

Alexandra Jimborean 1 Philippe Clauss 2, 3, 4 Juan Manuel Martinez 2, 5 Aravind Sukumaran-Rajam 2, 5
2 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
ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Abstract : We present a dynamic dependence analyzer whose goal is to compute dependences from instrumented execution samples of loop nests. The resulting information serves as a prediction of the execution behavior during the remaining iterations and can be used to select and apply a speculatively optimizing and parallelizing polyhedral transformation of the target sequential loop nest. Thus, a parallel lock-free version can be generated which should not induce any rollback if the prediction is correct. The dependence analyzer computes distance vectors and linear functions interpolating the memory addresses accessed by each memory instruction, and the values of some scalars. Phases showing a changing memory behavior are detected thanks to a dynamic adjustment of the instrumentation frequency. The dependence analyzer takes part of a whole framework dedicated to speculative parallelization of loop nests which has been implemented with extensions of the LLVM compiler and an x86-64 runtime system.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Philippe Clauss <>
Submitted on : Friday, May 24, 2013 - 2:34:49 PM
Last modification on : Saturday, October 27, 2018 - 1:26:43 AM

Links full text



Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam. Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization. Euro-Par 2013, Aug 2013, Aachen, Germany. pp.191-202, ⟨10.1007/978-3-642-40047-6_21⟩. ⟨hal-00825744⟩



Record views