Beyond Do Loops: Data Transfer Generation with Convex Array Regions

Serge Guelton (1) , Mehdi Amini (2) , Béatrice Creusillet (3)

1 INFO - Département informatique
2 CRI - Centre de Recherche en Informatique
3 Silkan

Automatic data transfer generation is a critical step for guided or automatic code generation for accelerators using distributed memories. Although good results have been achieved for loop nests, more complex control ows such as switches or while loops are generally not handled. This paper shows how to leverage the convex array regions abstraction to generate data transfers. The scope of this study ranges from inter-procedural analysis in simple loop nests with function calls, to inter-iteration data reuse optimization and arbitrary control ow in loop bodies. Generated transfers are approximated when an exact solution cannot be found. Array regions are also used to extend redundant load store elimination to array variables. The approach has been successfully applied to GPUs and domain-speci c hardware accelerators.

Mots clés: data transfers; convex array regions; redundant transfer elimination; GPU

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Parallélisation

Serge Guelton, Mehdi Amini, Béatrice Creusillet. Beyond Do Loops: Data Transfer Generation with Convex Array Regions. 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp. 249-263, ⟨10.1007/978-3-642-37658-0_17⟩. ⟨hal-00742583⟩