- Abstract:
-
We propose in this paper a new technique to analyse quantitatively skeleton-structured programs. We give an overview of high-level structured parallel programming and motivate its usefulness and its relevance to applicative parallel programming. Then we introduce some basics of performance evaluation and focus on the Performance Evaluation Process Algebra PEPA. The presentation of these two concepts leads to PEPA models of two classical skeletons, Pipeline and Deal. Finally we describe a simulator, written in Objective Caml, performing single-step debugging on PEPA models, and we illustrate the use of the simulator on our models of skeletons.
- Links To Paper
- 1st Link
- Bibtex format
- @InProceedings{EDI-INF-RR-0425,
- author = {
Anne Benoit
and Murray Cole
and Stephen Gilmore
and Jane Hillston
},
- title = {Quantitative analysis of skeleton-structured applicative programs},
- book title = {Procs of Journes Francophones des Langages Applicatifs (JFLA'05)},
- year = 2005,
- month = {Mar},
- url = {http://homepages.inf.ed.ac.uk/mic/Pubs/jfla2005eng.pdf},
- }
|