(De) composition rules for parallel scan and reduction

Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997

Volumn , Issue , 1997, Pages 23-32

  Gorlatch, S ^a   Lengauer, C ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING BLOCKES; COLLECTIVE OPERATIONS; COMPOSITION RULE; DATA PARALLELISM; DISTRIBUTED MEMORY; PARALLEL MODELS; PARTIAL REDUCTION; PERFORMANCE GAIN;

PARALLEL PROGRAMMING;

EID: 85040006255     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MPPM.1997.715958     Document Type: Conference Paper

References (19)

1. R. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, NATO ASI Series F: Computer and Systems Sciences. Vol. 55, pages 151-216. Springer Verlag, 1988.
2. R. Bird. Algebraic identities for program calculation. The Computer J., 32(2):122-126, 1989.
3. W. Cai and D. Skillicorn. Calculating recurrences using the Bird-Meertens formalism. Parallel Processing Letters, 5(2):179-190.
4. M. Cole. Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Pitman, 1989.
5. M. Cole, S. Gorlatch, C. Lengauer, and D. Skillicorn, editors. Theory and Practice of Higher-Order Parallel Programming. Dagstuhl-Seminar Report 169, Schlofi Dagstuhl. 1997.
6. A. Geser and S. Gorlatch. Parallelizing functional programs by generalization. In M. Hanus, J. Heering, and K. Meinke, editors, Algebraic and Logic Programming (ALP'97), Lecture Notes in Computer Science 1298, pages 46-60. Springer-Verlag, 1997.
7. S. Gorlatch. Systematic efficient parallelization of scan and other list homomorphisms. In L. Bouge et al., editors, Parallel Processing. Euro-Par'96, Lecture Notes in Computer Science 1124, pages 401-408. Springer-Verlag, 1996.
8. S. Gorlatch. Systematic extraction and implementation of divide-and-conquer parallelism. In H. Kuchen and D. Swierstra, editors, Programming Languages: Implementation, Logics and Programs (PLILP'96), Lecture Notes in Computer Science 1140, pages 274288. Springer-Verlag, 1996.
9. S. Gorlatch. Optimizing compositions of scans and reductions in parallel program derivation. Technical Report MIP-9711, Universitat Passau, May 1997. Available at http://www.fmi.uni-passau.de/cl/papers/Gor97b.html.
10. S. Gorlatch and H. Bischof. Formal derivation of divide-and-conquer programs: A case study in the multidimensional FFT's. In D. Mery, editor, Formal Methods for Parallel Programming: Theory and Applications. Workshop at IPPS'97, pages 80-94, 1997. Available at http://www.fmi.uni-passau.de/cl/papers/GorBi97.html.
11. W. Gropp, E. Lusk, and A. Skijellum. Using MPI: Portable Parallel Programming with the Message Passing. MIT Press, 1994.
12. J. Hill and D. Skillicorn. The BSP Tutorial at Euro-Par'97. University of Passau, 1997.
13. V. Kumar et al. Introduction to Parallel Computing-Benjamin /Cummings Publ., 1994.
14. W. McColl. Scalable computing. In J. van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science 1000, pages 46-61. Springer-Verlag, 1995.
15. J. Misra. Powerlist: a structure for parallel recursion. ACM TOPLAS, 16(6):1737-1767, 1994.
16. F. Preparata and J. Vuillemin. The cube-connected cycles: A versatile network for parallel computation. Communications of the ACM, 24(5):300-309, 1981.
17. D. Skillicorn. Foundations of Parallel Programming. Cambridge University Press, 1994.
18. D. Swierstra and O. de Moor. Virtual data structures. In B. Moller, H. Partsch, and S. Schuman, editors, Formal Program Development, Lecture Notes in Computer Science 755, pages 355-371. Springer-Verlag.
19. C. Wedler and C. Lengauer. Parallel implementations of combinations of broadcast, reduction and scan. In G. Agha and S. Russo, editors, Proc. 2nd Int. Workshop on Software Engineering for Parallel and Distributed Systems (PDSE'97), pages 108-119. IEEE Computer Society Press, 1997.