Engineering a Parallel Compiler for Standard ML (1998)
| Venue: | In Proceedings of the 10th International Workshop on Implementations of Functional Language |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Scaife98engineeringa,
author = {Norman Scaife and Paul Bristow and Greg Michaelson and Peter King},
title = {Engineering a Parallel Compiler for Standard ML},
booktitle = {In Proceedings of the 10th International Workshop on Implementations of Functional Language},
year = {1998},
pages = {213--225}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We present the design and partial implementation of an automated parallelising compiler for Standard ML using algorithmic skeletons. Source programs are parsed and elaborated using the ML Kit compiler and a small set of higher order functions are automatically detected and replaced with parallel equivalents. Without the presence of performance predictions, the compiler simply instantiates all instances of the known HOFs with parallel equivalents. The resulting SML program is then output as Objective Caml and compiled with the parallel skeleton harnesses giving an executable which runs on networks of workstations. The parallel harnesses are implemented in C with MPI providing the communications subsystem. A substantial parallel exemplar is presented, an implementation of the Canny edge tracking algorithm from computer vision which is parallelised by implementing the map skeleton over a set of subimages. 1 Introduction We are investigating the development of a fully automatic parallel...
