Testing speculative work in a lazy/eager parallel functional language

Authors:
Alberto de la Encina;Ismael Rodríguez;Fernando Rubio
Affiliations:
Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain;Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain;Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain
Venue:
LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
Year:
2005

Citing 16
Cited 3

Algorithmic skeletons: structured management of parallel computation

Algorithmic skeletons: structured management of parallel computation
Numerical recipes in C (2nd ed.): the art of scientific computing

Numerical recipes in C (2nd ed.): the art of scientific computing
GUM: a portable parallel implementation of Haskell

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Compiling Haskell by Program Transformation: A Report from the Trenches

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
From GranSim to Paradise

SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Implementation Skeletons in Eden: Low-Effort Parallel Programming

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Parallelism abstractions in eden

Patterns and skeletons for parallel and distributed computing
Chinese remainder and interpolation algorithms

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Comparing Parallel Functional Languages: Programming and Performance

Higher-Order and Symbolic Computation
Parallel and Distributed Haskells

Journal of Functional Programming
Algorithm + strategy = parallelism

Journal of Functional Programming
Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming

Parallel Computing
A parallel SML compiler based on algorithmic skeletons

Journal of Functional Programming
A parallel framework for computational science

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Formalizing the debugging process in haskell

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing

Observing intermediate structures in a parallel lazy functional language

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Introducing debugging capabilities to natural semantics

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Platyhelminthes are [re]constructed recursively

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to enable the parallel execution of processes in Eden, this feature must be disabled when new processes are instantiated. Hence, any newly created process can be speculative, as it is not known whether the computations it performs will actually be required for the overall computation. Therefore, the performance of a program may be affected by the unneeded speculation. In this paper we present a framework to compare the speculated computations of an Eden program with the computations it actually requires. Thus, the programmer is provided with a profiling tool allowing him to produce better programs where speculative work fits better the actual necessities.