论文信息 - SPC: A Model of Parallel Computation

SPC: A Model of Parallel Computation

A new model of parallel computation is presented that provides appropriate cost models for automatic systems parallelization. We demonstrate its utility in automatic optimization for vectorization and provide a reference to more elaborate examples.

Arjan J. C. van Gemund | A. V. Gemund

[1] Ken Kennedy,et al. Requirements for DataParallel Programming Environments , 1994, IEEE Parallel & Distributed Technology: Systems & Applications.

[2] Chris R. Jesshope,et al. Parallel Computers 2: Architecture, Programming and Algorithms , 1981 .

[3] Arjan J. C. van Gemund. Performance Modeling of Parallel Systems , 1996 .

[4] Gregory R. Andrews,et al. Concepts and Notations for Concurrent Programming , 1983, CSUR.

[5] Leslie G. Valiant,et al. A bridging model for parallel computation , 1990, CACM.

[6] Ramesh Subramonian,et al. LogP: towards a realistic model of parallel computation , 1993, PPOPP '93.

[7] Wolfgang Kreutzer,et al. System simulation programming styles and languages , 1986 .

[8] Wentong Cai,et al. A Cost Calculus for Parallel Functional Programming , 1995, J. Parallel Distributed Comput..

[9] Vikram S. Adve,et al. Requirements for Data-Parallel Programming Environments , 1994 .