A CALCULUS FOR DENSE ARRAY DISTRIBUTIONS
Roberto Di Cosmo, Susanna Pelagatti · Parallel Processing Letters · 2003
We introduce a very simple, yet powerful, distribution calculus aimed at describing different strategies that can be used to distribute (ie, partition and replicate) multidimensional dense arrays over a set of processors, like what is done in the implementation of the P3L Map skeleton. We give a formal semantics, that allows to prove equations between distributions, and we show how to associate a cost to such distributions, allowing to choose between semantically equivalent distribution strategies.