Publication:
Towards Improving Skeletons in Eden.

Loading...
Thumbnail Image
Full text at PDC
Publication Date
2006
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Publisher
John von Neumann Institute for Computing
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
Abstract
The functional language Eden facilitates a skeleton-based methodology for parallel programming. A key point in the efficiency of parallel programs is the distribution of computation among processes. In Eden, this is closely related to its order of evaluation. We describe here an ongoing project whose purpose is to use a prototype implementation of Eden’s operational semantics to investigate how alternative evaluation models may either improve or make worse the behavior of the skeletons implemented in Eden
Description
Proceedings of the International Conference ParCo 2005,13-16 September 2005, Department of Computer Architecture, University of Malaga, Spain; 01/2005
Keywords
Citation
S. Breitinger, R. Loogen, Y. Ortega-Mallen, and R. Peña. Eden: Language definition and operational semantics. Technical Report 96/10, Reihe Informatik, FB Mathematik, Philipps-Universitat Marburg,Germany, URL http://www.mathematik.uni-marburg.de/»eden/, 1996 M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martı-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.1),March 2004. URL http://maude.cs.uiuc.edu/manual. M. Hidalgo-Herrero and Y. Ortega-Mallen. An operational semantics for the parallel language Eden.Parallel Processing Letters (World Scientific Publishing Company), 12(2):211–228, 2002. M. Hidalgo-Herrero, Alberto Verdejo, and Y. Ortega-Mallen. Looking for eden through maude and its strategies. In Proc. of the 5th Jornadas sobre Programacin y Lenguajes, 2005. To appear. G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In IFIP’77, pages 993–998.Eds. B. Gilchrist. North-Holland, 1977. Ulrike Klusik, Rita Loogen, Steffen Priebe, and Fernando Rubio. Implementation skeletons in eden:Low-effort parallel programming. In Proceedings of the 12th InternationalWorkshop on Implementation of Functional Languages, (IFL’00 selected papers), pages 71–88. LNCS 2011, Springer, 2001. R. Loogen, Y. Ortega-Mallen, R. Pea, S. Priebe, and F. Rubio. Patterns and Skeletons for Parallel and Distributed Computing, chapter 4: Parallelism Abstractions in den,pages 95–128. Eds. F. A. Rabhi and S. Gorlatch. Springer, 2002. R. Loogen, Y. Ortega-Mallen, and R. Peña Parallel functional programming in Eden. Journal of Functional Programming, 15(3):431–475, 2005.N. Martı-Oliet, J.Meseguer, and A. Verdejo. Towards a strategy language for Maude. In N. Martı-Oliet,editor, Proceedings Fifth International Workshop on Rewriting Logic and its pplications, WRLA 2004,Barcelona, Spain, March 27 – April 4, 2004, volume 117 of Electronic Notes in Theoretical Computer Science, pages 417–441. Elsevier, 2004. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992. G. Michaelson. An Introduction to Functional Programming through Lambda Calculus. Addison-Wesley, 89. Peña F. Rubio, and C. Segura. Deriving non-hierarchical process topologies. In Trends in Functional Programming (Selected papers of the 3rd Scottish Functional Programming Workshop), volume 3, pages 51–62. Intellect, 2002. S. Peyton Jones. Haskell 98 language and libraries: the Revised Report. Cambridge University Press,2003. F. Rubio. Programaci´on funcional paralela eficiente en Eden. PhD thesis, Dept. Sistemas Informaticos y Programacion, Universidad Complutense de Madrid, 2001.