Polyhedral Dataflow Programming: a Case Study

Romain Fontaine (1) , Laure Gonnord (2) , Lionel Morel (3)

1 CITI - CITI Centre of Innovation in Telecommunications and Integration of services
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 CEA - Commissariat à l'énergie atomique et aux énergies alternatives

Dataflow languages expose the application's potential parallelism naturally and have thus been studied and developed for the past thirty years as a solution for harnessing the increasing hardware parallelism. However, when generating code for parallel processors, current dataflow compilers only take into consideration the overall dataflow network of the application. This leaves out the potential parallelism that could be extracted from the internals of agents, typically when those include loop nests, for instance, but also potential application of intra-agent pipelining, or task splitting and rescheduling. In this work, we study the benefits of jointly using polyhedral compilation with dataflow languages. More precisely, we propose to expend the parallelization of dataflow programs by taking into account the parallelism exposed by loop nests describing the internal behavior of the program's agents. This approach is validated through the development of a prototype toolchain based on an extended version of the ΣC language. We demonstrate the benefit of this approach and the potentiality of further improvements on relevant case studies.

Mots clés: parallelism; dataflow programming; compilation; runtime system; load-balancing

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

Romain Fontaine, Laure Gonnord, Lionel Morel. Polyhedral Dataflow Programming: a Case Study. International Symposium on Computer Architecture and and High-Performance Computing SBAC-PAD, Sep 2018, Lyon, France. ⟨cea-01855997v1⟩