International Conference on Computational Science, ICCS 2012 A Theory of Data Movement in Parallel Computations

详细信息	查看全文 | 推荐本文 |

• 作者：Victor Eijkhout ^{eijkhout@tacc.utexas.edu}
• 关键词：Parallel Programming ; Programming models
• 刊名：Procedia Computer Science
• 出版年：2012
• 期刊代码：pc74_18770509
• 类别：cp
• 出版时间：2012
• 卷：9
• 期：Complete
• 页码：236-245
• 文件大小：136 K

摘要

We propose a set-theoretic model for parallelism. The model is based on separate distributions of data and work. The major theoretic result is that communication can then be derived by formal reasoning. While the model has an immediate interpretation in distributed memory parallelism, we show that it can also accomodate multicore shared memory programming, as well as clusters with accelerators. The model gives rise in a natural way to objects that resemble the VecScatter construct in the PETSc library, or active messages in such packages as Charm++. Thus we argue that the model offers the prospect of an abstract programming system that can be compiled down to proven high-performance constructs.