Static Loop Parallelization Decision Using Template Metaprogramming

Alexis Pereda (1) , David R.C. Hill (1) , Claude Mazel (1) , Bruno Bachelet (1)

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

This article proposes to use C++ template metaprogramming techniques to decide at compile-time which parts of a code sequence in a loop can be parallelized. The approach focuses on characterizing the way a variable is accessed in a loop (reading or writing), first to decide how the loop should be split to enable the analysis for parallelization on each part, and then to decide if the iterations inside each loop are independent so that they can be run in parallel. The conditions that enable the parallelization of a loop are first explained to justify the proposed decision algorithm exposed. Then, a C++ library-based solution is presented that uses expression templates to get the relevant information necessary for the parallelization decision of a loop, and metaprograms to decide whether to parallelize the loop and generate a parallel code.

Mots clés: code parallelization; metaprogramming; C++ expression templates; parallelization decision

Domaines: Langage de programmation [cs.PL]; Calcul parallèle, distribué et partagé [cs.DC]

Alexis Pereda, David R.C. Hill, Claude Mazel, Bruno Bachelet. Static Loop Parallelization Decision Using Template Metaprogramming. IEEE International Conference on High Performance Computing and Simulation (HPCS), Jul 2018, Orléans, France. pp.1015-1021, ⟨10.1109/HPCS.2018.00159⟩. ⟨hal-01848372⟩