Engineering Parallel Symbolic Programs in GpH

We invetigate the clai that functional languages offer low-cost parallelism in the context of symbolic programs on modest parallel architectures. In our investigation we present the first comparative study of the construction of large applications in a parallel functional lauguage, in our case in Glasgow Parallel Haskell (GpH). The applications cover a range of application areas, use several parallel progamming paradugms, and are measured on two very different parallel architectures.

On the applications level the most significant result is that we are able to achieve modest wall-clock speedups (between factors of 2 and 10) over the optimised sequential versions for all but one of the programs. Speedups are obtained even for programs that were not written with the intention of being parallelised. These gains are achieved with a relatively small programmer-effort. One reason for the relative ease of parallelisation is the use of evaluation strategies, a new parallel programming technique that separates the algorithm from the coordination of parallel behaviour.

On the language level we show that the combination of lazy and parallel evaluation is useful for achieving a high level of abstraction. In particular we can describe top-level parallelism, and also preserve module abstraction by describing parallelism over the data structures provided at th module interface ("data-oriented parallelism"). Furthermore, we find that the determinism of the language is helpful, as is the largely-implicit nature of paralllelism in GpH.

@Unpublished{eng-par,
  author = 	 {Hans-Wolfgang Loidl and Philip W. Trinder and Kevin Hammond and Sahalu B. Junaidu and Richard G. Morgan and Simon L. {Peyton Jones}},
  title = 	 {Engineering Parallel Symbolic Programs in GpH},
  note = 	 {Submitted to Concurrency: Practice and Experience},
  month = 	 oct,
  year = 	 1998
}

Available in: ps, ps.gz


GPH Papers | GPH