A method for automatic placement of communications in SPMD parallelisation
We present a method for automatic SPMD parallelisation of applications, when the data are partitioned along processors with overlapping, redundant values. The problem is to insert just enough communication calls to ensure coherence of the redundant values. Our method uses a representation of the topology of the data and of the duplicated values that we call the Overlap Automaton. We present a tool that implements this method, and its application to two-dimensional and three-dimensional NavierStokes flow solvers. Performance results are given.
parallelisation single program multiple data mesh partition static analysis program transformation