RT Book, Section
T1 Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
A1 Hidalgo Herrero, Mercedes
A1 Ortega Mallén, Yolanda
A1 Rubio, Fernando
A2 Horvath, Z.
A2 Zsok, V
A2 Butterfield, A.
AB In parallel functional languages, like Eden, lazy and strictevaluation are commonly mixed. Thus, the parallel performance of these languages depends on the strategy used to fix the degrees of laziness/strictness. By using an implementation of Eden’s operational semantics,we analyze the influence of alternative evaluation models on Eden skeletons performance. In particular, we assess the performance of different implementations of a skeleton that uses stream-based communications.
PB Board
SN 978-3-540-74129-9
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53175
UL https://hdl.handle.net/20.500.14352/53175
LA eng
NO Baker-Finch, C., King, D.J., Hall, J., Trinder, P.W.: An operational semantics for parallel call-by-need. Technical Report 99/1, Faculty of Mathematics and Computing,The Open University (1999)Breitinger, S., Loogen, R., Ortega -Mallen, Y., Peña, R.: Eden: Language definition and operational semantics. Technical Report 96/10, Reihe Informatik, FB Mathematik, Philipps-Universitat Marburg, Germany, http://www.mathematik.uni-marburg.de/eden/, (1996)Broy, M., Hinkel, U., Nipkow, T., Prehofer, C., Schieder, B.: Interpreter verification for a functional language. In: Thiagarajan, P.S. (ed.) Foundations of Software Technology and Theoretical Computer Science.LNCS, vol. 880, pp. 77–88. Springer,Heidelberg (1994)Hernandez, F., Peña, R., Rubio, F.: From GranSim to Paradise. Trends in Functional Programming (Selected papers of the First Scottish Functional Programming Workshop) 1,11–19 (2000)Hidalgo-Herrero, M., Ortega-Mallen, Y.: An operational semantics for the parallel language Eden. Parallel Processing Letters (World Scientific Publishing Company)12(2), 211–228 (2002)Hidalgo-Herrero, M., Ortega-Mallen, Y., Rubio, F.:Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing 32(7-8), 523–538 (2006)Hidalgo-Herrero, M., Ortega-Mallen, Y., Rubio, F.: An integrated framework for comparing alternative semantics for parallel functional languages. In: Draft Proceedings of the 20th International Workshop on Implementation of King, D.J., Hall, J., Trinder, P.W.: A Strategic Profiler for Glasgow Parallel Haskell. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol. 1595,pp. 465–474. Springer, Heidelberg (1999)Klusik, U., Loogen, R., Priebe, S., Rubio,F.:Implementation skeletons in Eden:Low-effort parallel programming. In:Mohnen, M., Koopman, P. (eds.) IFL 2000.LNCS, vol. 2011, pp. 71–88. Springer, Heidelberg (2001)Loidl, H.W.: GranSim user’s guide. GRASP/AQUA Proyect,Glasgow University (1996)Loogen, R., Ortega-Mallen, Y., Peña, R., Priebe, S., Rubio, F.: Patterns and Skeletons for Parallel and Distributed Computing. In: Rabhi, F.A., Gorlatch, S. (eds.)Parallelism Abstractions in Eden, ch. 4, pp. 95–128. Springer,Heidelberg (2002)Loogen, R., Ortega-Mallen, Y., Peña, R.: Parallel functional programming in Eden.Journal of Functional Programming 15(3), 431–475 (2005)Peyton Jones, S.L. (ed.): Haskell 98 language and libraries: the Revised Report.Cambridge University Press, Cambridge (2003)Rubio, F.: Programacion funcional paralela eficiente en Eden. PhD thesis, Dept.Sistemas Informaticos y Programacion, Universidad Complutense deMadrid (2001)Trinder, P.W., Loidl, H.W., Pointon, R.F.: Parallel and Distributed Haskells. Journal of Functional Programming 12(4+5), 469–510 (2003)
NO 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected Papers
DS Docta Complutense
RD 1 sept 2024