 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00692515, version 1 |
| DOI: 10.1016/j.procs.2012.04.202 |
| Detailed view |  Export this paper |
 |
| International Conference on Computational Science, Omaha : United States (2012) |
|
|
|
|
| A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCaml |
|
|
| Marco Danelutto 1Roberto Di Cosmo 2 |
|
|
| (2012-06-05) |
|
|
|
| We discuss the implementation of a minimalist parallel library in OCaml. The library provides parallel map and fold (reduce) higher order functions and targets standard cache coherent shared memory multi-cores. Our Parmap.parmap and Parmap.parfold functions may be used to seamlessly replace OCaml List map and fold standard functions preserving their full functional semantics while achieving nearly optimal speedup on standard multi-core architectures. We discuss the design of the Parmap module, the main implementation features and we present some experimental results assessing the effciency of the Parmap parallel functions. Overall, Parmap represents a perfect incarnation of the "propagate the concept with minimal disruption" principle introduced in Cole's algorithmic skeleton manifesto. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Department of Computer Science [Pisa] |
|
|
|
UNIVERSITÀ DEGLI STUDI DI PISA |
|
|
| 2: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00692515, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00692515 | |
| oai:hal.archives-ouvertes.fr:hal-00692515 | |
| From: Roberto Di Cosmo | |
| Submitted on: Wednesday, 20 March 2013 10:15:14 | |
| Updated on: Wednesday, 20 March 2013 10:27:31 | |
