Skeleton-based parallel programming: Functional and parallel semantics in a single shot

Computer Languages, Systems and Structures

Volumn 33, Issue 3-4, 2007, Pages 179-192

  Aldinucci, Marco ^a   Danelutto, Marco ^b  

^a CNR   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Algorithmical skeletons; Functional semantics; Labeled transition systems; Parallel semantics; Structured parallel programming

Indexed keywords

JAVA PROGRAMMING LANGUAGE; LITHIUM; SEMANTICS;

FUNCTIONAL SEMANTICS; LABELED TRANSITION SYSTEMS; PARALLEL SEMANTICS; SKELETONS;

PARALLEL PROGRAMMING;

EID: 33847650963     PISSN: 14778424     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cl.2006.07.004     Document Type: Article

References (32)

1. Aldinucci M, Danelutto M. An operational semantics for skeletons. In: Joubert GR, Nagel WE, Peters FJ, Walter WV, editors. Parallel computing: software technology, algorithms, architectures and applications, PARCO 2003, Advances in parallel computing, vol. 13. Dresden, Germany: Elsevier; 2004, p. 63-70.
2. Cole M. Algorithmic skeletons: structured management of parallel computations, Research monographs in parallel and distributed computing. London: Pitman; 1989.
3. Au P., Darlington J., Ghanem M., Guo Y., To H., and Yang J. Co-ordinating heterogeneous parallel computation. In: Bouge L., Fraigniaud P., Mignotte A., and Robert Y. (Eds). Proceedings of Euro-Par 1996 (1996), Springer, Berlin 601-614
4. 3L: a structured high-level programming language and its structured support. Concurrency Practice and Experience 7 3 (1995) 225-255
5. Bacci B., Danelutto M., Pelagatti S., and Vanneschi M. SkIE: a heterogeneous environment for HPC applications. Parallel Computing 25 13-14 (1999) 1827-1852
6. Pelagatti S. Structured development of parallel programs (1998), Taylor & Francis, London
7. Sérot J., and Ginhac D. Skeletons for parallel image processing: an overview of the SKIPPER project. Parallel Computing 28 12 (2002) 1685-1708
8. Loulergue F. Distributed evaluation of functional BSP programs. Parallel Processing Letters 4 (2001) 423-437
9. Klusik U, Loogen R, Priebe S, Rubio F. Implementation skeletons in Eden-low-effort parallel programming. In: IFL'00-International workshop on the implementation of functional languages. Lecture notes in computer science, vol. 2011. Aachen, Germany: Springer; 2000. p. 71-88.
10. Kuchen H. A skeleton library. In: Monien B, Feldmann R, editors. Proceedings of Euro-Par 2002. Lecture notes in computer science, vol. 2400. Berlin: Springer; 2002. p. 620-9.
11. Cole M. Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing 30 3 (2004) 389-406
12. MacDonald S., Anvik J., Bromling S., Schaeffer J., Szafron D., and Taa K. From patterns to frameworks to parallel programs. Parallel Computing 28 12 (2002) 1663-1684
13. Gava F, Loulergue F. A parallel virtual machine for bulk synchronous parallel ML. In: International conference on computational science (ICCS 2003). Lecture notes in computer science, vol. 2657. Berlin: Springer; 2003. p. 155-64.
14. Loulergue F, Hu Z, Kakehi K. An implementation of the diffusion algorithmic skeleton with the BSMLlib library. Technical Report METR-2004-06, Department of Mathematical Informatics, University of Tokyo; 2004.
15. Cosmo RD, Pelagatti S, Li Z. A calculus for parallel computations over multidimensional dense arrays. Computer Languages, Systems and Structures, 2006, in press, doi: 10.1016/j.cl2006.07.05.
16. Hidalgo-Herrero M., and Ortega-Mallén Y. An operational semantics for the parallel language Eden. Parallel Processing Letters 12 2 (2002) 211-228
17. The Ocaml home page, 〈http://www.ocaml.org〉; 2005.
18. Aldinucci M, Danelutto M. Stream parallel skeleton optimization. In: Proceedings of the 11th IASTED international conference on parallel and distributed computing and systems (PDCS'99). Cambridge, MA, USA: IASTED/ACTA Press; 1999. p. 955-62.
19. Aldinucci M., Gorlatch S., Lengauer C., and Pelagatti S. Towards parallel programming by transformation: the fan skeleton framework. Parallel Algorithms and Applications 16 2-3 (2001) 87-122
20. Gorlatch S., Lengauer C., and Wedler C. Optimization rules for programming with collective operations. Proceedings of the 13th international parallel processing symposium & 10th symposium on parallel and distributed processing (IPPS/SPDP'99) (1999), IEEE Computer Society Press, Silver Spring, MD 492-499
21. Aldinucci M. Automatic program transformation: the meta tool for skeleton-based languages. In: Gorlatch S., and Lengauer C. (Eds). Constructive methods for parallel programming, advances in computation: theory and practice (2002), Nova Science Publishers, NY, USA 59-78 [chapter 5]
22. Cole M., and Hayashi Y. Static performance prediction of skeletal programs. Parallel Algorithms and Applications 17 1 (2002) 59-84
23. Skillicorn D.B., and Cai W. A cost calculus for parallel functional programming. Journal of Parallel and Distributed Computing 28 (1995) 65-83
24. Fradet P., and Mallet J. Compilation of a specialized functional language for massively parallel computers. Journal of Functional Programming 10 6 (2000) 561-605
25. Aldinucci M., Danelutto M., and Teti P. An advanced environment supporting structured parallel programming in Java. Future Generation Computer Systems 19 5 (2003) 611-626
26. Aldinucci M., Danelutto M., Dünnweber J., and Gorlatch S. Optimization techniques for skeletons on grid. In: Grandinetti L. (Ed). Grid computing and new frontiers of high performance processing. Advances in parallel computing vol. 14 (2005), Elsevier, Amsterdam
27. Backus J. Can programming be liberated from the von Neumann style? A functional programming style and its algebra of programs, Communications of the ACM 1978; 21(8):613-41.
28. Vanneschi M. The programming model of ASSIST, an environment for parallel and distributed portable applications. Parallel Computing 28 12 (2002) 1709-1732
29. Aldinucci M, Coppola M, Danelutto M, Vanneschi M, Zoccolo C. ASSIST as a research framework for high-performance Grid programming environments. In: Cunha JC, Rana OF, editors. Grid computing: software environments and tools. Berlin: Springer; 2007. p. 230-56 [Chapter 10].
30. Darlington J, To HW. Building parallel applications without programming. In: Leeds workshop on abstract parallel machine models; 1993.
31. Darlington J, Field AJ, Harrison PG, Kelly PHJ, Sharp DWN, While RL, et al. Parallel programming using skeleton functions. In: Bode A, Reeve M, Wolf G, editors. Proceedings of the parallel architectures and languages Europe. Lecture notes in computer science, vol. 694. Berlin: Springer; 1993.
32. MacDonald S, Szafron D, Schaeffer J, Bromling S. Generating parallel program frameworks from parallel design patterns. In: Bode A, Ludwing T, Karl W, Wismüller R, editors. Proceedings of Euro-Par 2000. Lecture notes in computer science, vol. 1900. Berlin: Springer; 2000, p. 95-105.