Lifting sequential functions to parallel skeletons

Parallel Processing Letters

Volumn 12, Issue 2, 2002, Pages 267-284

  Nitsche, Thomas ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Automatic parallelization; Code transformation; Functional programming; Lifting; Skeletons

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING; DIGITAL LIBRARIES; PROGRAM PROCESSORS;

SEQUENTIAL FUNCTIONS;

PARALLEL PROCESSING SYSTEMS;

EID: 0036625331     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0129626402000963     Document Type: Conference Paper

References (26)

1. M. Aldinucci, M. Coppola, and M. Danelutto. Rewriting skeleton programs: How to evaluate the data-parallel stream-parallel tradeoff. In S. Gorlatch, editor, First Intern. Workshop on Constructive Methods for Parallel Programming (CMPP'98), Jun 1998.
2. 3L: A Structured High-level Parallel Language and its Structured Support. Technical Report HPL-PSC-93-55, Hewlett-Packard Laboraties, Pisa Science Center, 1993.
3. G.H. Botorog. High-Level Parallel Programming and the Efficient Implementation of Numerical Algorithms. PhD thesis, Mathem-Naturwissensch. Fakultät, RWTH Aachen, Jan. 1998.
4. [4] G.H. Botorog and H. Kuchen. Efficient high-level parallel programming. Theoretical Computer Science, Special Issue on Parallel Computing, 1998.
5. C.A. and Ch. Lengauer. Hdc: A higher-order language for divide-and-conquer. Parallel Processing Letters, 10(2-3):239-250, 2000.
6. M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989.
7. M. Danelutto, F. Pasqualetti, and S. Pelagatti. Skeletons for Data Parallelism in P3L. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Proc. of EuroPar'97, volume 1300 of LNCS, pages 619-628. Springer, Aug. 1997.
8. J. Darlington, Y. Guo, H.W. To, and J. Yang. Functional skeletons for parallel coordination. In S. Haridi, K. Ali, and P. Maguussin, editors, Euro-Par'95 Parallel Processing, pages 55-69. Springer, Aug. 1995.
9. J. Darlington, Y. Guo, H.W. To, and J. Yang. Parallel skeletons for structured composition. In Proc. PPoPP'95, pages 19-28. ACM Press, July 1995.
10. K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. OPAL: Design and Implementation of an algebraic programming language. In J. Gutknecht, editor, Programming Languages and System Architectures, number 782 in Lecture Notes in Computer Science, pages 228-244. Springer, Mar 1994.
11. K. Didrich, W. Grieskamp, C. Maeder, and P. Pepper. Programming in the Large: the Algebraic-Functional Language Opal 2α. In Implementation of Functional Languages, (IFL'97), Selected Papers, volume 1467 of LNCS, pages 323-338. Springer, Sept. 1997.
12. S. Gorlatch and Ch. Lengauer. Abstraction and performance in the design of parallel programs: An overview of the SAT approach. Acta Informatica, 36(9-10):761-803, May 2000.
13. S. Gorlatch and S. Pelagatti. A transformational framework for skeletal programs: Overview and case study. In J. Rohlim et.al., editor, Parallel and Distributed Processing. IPPS/SPDP'99 Workshops Proc., LNCS 1586, pages 123-137, 1999.
14. C.A. Herrmann. The Skeleton-Based Parallelization of Divide-and-Conquer Recursions. PhD thesis, Universität Passau, 2000.
15. C.B. Jay. A semantics for shape. Science of Computer Programming, 25:251-283, 1995.
16. E. Moggi, Belle, and C.B. Jay. Monads, shapely functors and traversals. In M. Hoffman, Pavlović, and P. Rosolini, editors, 8th Conference on Category Theory and Computer Science (CTCS'99), volume 24 of Electronic LNCS, pages 265-286. Elsevier, 1999.
17. T. Nitsche. Shapeliness analysis of functional programs with algebraic data types. Science of Computer Programming, 37:225-252, May 2000.
18. T. Nitsche. Skeleton implementations based on generic data distributions. In S. Gorlatch and Ch. Lengauer, editors, 2nd Intern. Workshop on Constructive Methods for Parallel Programming (CMPP'2000), pages 19-34, Jul 2000.
19. T. Nitsche. Thread communication over MPI. In J. Dongarra, P. Kacsuk, and N. Podhorszki, editors, 7th European PVM/MPI User'S Group Meeting (EuroPVM/MPI'00). LNCS, Sept 2000.
20. J. O'Donnell and G. Rünger. A methodology for deriving parallel programs with a family of parallel abstract machines. In Ch. Lengauer, M. Griebl, and S. Gorlatch, editors, Euro-Par'97 Parallel Processing, volume 1300 of LNCS, pages 662-669, 1997.
21. S. Pelagatti. A Methodology for the Development and the Support of Massively Parallel Programs. PhD thesis, Department of Computer Science, Pisa, Mar 1993.
22. P. Pepper and M. Südholt. Deriving parallel numerical algorithms using data distribution algebras: Wang'S algorithm. In Proc. HICSS'97, January 1997.
23. R. Rangaswami. HOPP - a higher-order parallel programming model. In Algorithms and Parallel VLSI Architectures, 1995.
24. R. Rangaswami. A Cost Analysis for a Higher-order Parallel Programming Model. PhD thesis, University of Edinburgh, 1996.
25. M. Südholt. The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons. PhD thesis, Technical University of Berlin, Department of Computer Science, Aug 1997.
26. A. Zavanella. The Skel-BSP global optimizer: Enhancing performance portability in parallel programming. In A. Bode, Th. Ludwig, W. Karl, and R. Wismüller, editors, Euro-Par'2000 - Parallel Processing, 6th Intern. Euro-Par Conference, volume 1900 of LNCS, pages 658-667. Springer-Verlag, Aug./Sept. 2000.