Parallel Functional Programming with Skeletons: the OCamlP3L experiment

Abstract : Writing parallel programs is not easy, and debugging them is usually a nightmare. To cope with these diiculties, a structured approach to parallel programs using skeletons and template based compiler techniques has been developed over the past years by several researchers, including the P3L group in Pisa. This approach is based on the use of a set of primitive forms that are just functionals implemented via templates exploiting the underlying parallelism, so it is natural to ask whether marrying a real functional language like Ocaml with the P3L skeletons can be the basis of a powerful parallel programming environment. We show that this is the case: our prototype, written entirely in Ocaml using a limited form of closure passing, allows a very simple and clean programming style, shows real speed-up over a network of workstations and, as an added fundamental bonus, allows logical debug-ging of parallel programs in a sequential framework without changing the user code.
Type de document :
Communication dans un congrès
ACM Workshop on ML and its applications, Sep 1998, Baltimore, United States
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499962
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:15:56
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:59:18

Fichier

ocamlp3l-mlws.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01499962, version 1

Collections

Citation

Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, Susanna Pelagatti. Parallel Functional Programming with Skeletons: the OCamlP3L experiment. ACM Workshop on ML and its applications, Sep 1998, Baltimore, United States. 〈hal-01499962〉

Partager

Métriques

Consultations de la notice

497

Téléchargements de fichiers

37