Computing Publications

Publications Home » A Higher-Order Approach to Parall...

A Higher-Order Approach to Parallel Algorithms

Peter G. Harrison

Journal Article
The Computer Journal
Volume 35
Issue 6
pp.555–566
December, 1992
Oxford Journals
DOI 10.1093/comjnl/35.6.555
Abstract

A unified approach to the development of algorithms tailored to various classes of parallel computer architecture is presented. The central theme is to identify a small set of higher-order functions that can be implemented efficiently on the target architecture and which can be used to express parallel algorithms - in general via mechanised program transformation from some higher-level specification. Such higher-order functions enable generic programs to be written in which much parallelism may be explicit. Although the analysis uses purely functional languages, it is the functional paradigm that is important and not the particular syntax. The proposed methodology is illustrated with a numerical problem which is solved directly by a non-recursive program. We also describe schemes that map programs onto both static and dynamic MIMD architectures which have communication links which are fixed and changeable at run-time respectively.

Keywords
AESOP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.