Download:
by P. W. Grant, J. A. Sharp, M. F. Webster, X. Zhang
http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol25/issue9/spe971pg.pdf
Add To MetaCart
Abstract:
Experiences are described of parallelizing a functional finite-element program (written in Haskell) for the solution of computational fluid-dynamics problems. A transformation prototyping approach using a system developed at the University of York, which simulates idealised parallel machines on a conventional sequential workstation, is presented. In this paper we demonstrate: (a) the relative simplicity of the functional approach for parallelizing a complex program compared with the conventional procedural approach; (b) the suitability of functional languages for prototyping parallel algorithms to improve an implementation; and (c) the considerable assistance provided by the simulator. KEY WORDS: functional programming; parallel programming; simulation of parallelism; finite-element method
Citations
|
1167
|
Introduction to functional programming
– Wadler
- 1988
|
|
512
|
The Implementation of Functional Programming Languages
– Jones
- 1987
|
|
459
|
Direct Methods for Sparse Matrices
– Duff, Erisman, et al.
- 1986
|
|
91
|
Retire Fortran? A Debate Rekindled
– Cann
- 1992
|
|
44
|
Para-Functional Programming
– Hudak
- 1986
|
|
38
|
An Introduction to Functional Programming Systems using Haskell
– Davie
- 1992
|
|
38
|
A functional theory of exceptions
– Spivey
- 1990
|
|
20
|
Wadler (Eds), Report on the Programming Language Haskell
– Hudak, Jones, et al.
- 1992
|
|
20
|
Level 3 BLAS for distributed memory concurrent computers
– Choi, Dongarra, et al.
- 1992
|
|
13
|
A parallel framework for unstructured grid solvers
– Burgess, Crumpton, et al.
- 1994
|
|
12
|
Two dimensional basic linear algebra communication subprograms
– Dongarra, Geijn, et al.
- 1992
|
|
9
|
et al. Pseudoknot: A float-intensive benchmark for functional compilers
– Hartel
- 1994
|
|
7
|
The time-parallel multigrid method
– Horton
- 1992
|
|
6
|
Handbook for Automatic
– Wilkinson, Reinsch
- 1971
|
|
6
|
A study of sparse matrix representations for solving linear systems in a functional language
– Wainwright, Sexton
- 1992
|
|
3
|
An algorithm for the three-dimensional transient simulation of nonNewtonian fluid flows
– Townsend, Webster
- 1987
|
|
3
|
Functional programming for a computational fluid dynamics problem
– Grant, Sharp, et al.
- 1993
|
|
2
|
A Taylor–Galerkin-based algorithm for viscous incompressible
– Hawken, Tamaddon-Jahromi, et al.
- 1990
|
|
2
|
Some issues in a functional implementation of a finite element algorithm
– Grant, Sharp, et al.
- 1993
|
|
2
|
Iterative solutions of Taylor–Galerkin augmented mass matrix equations
– Ding, Townsend, et al.
- 1992
|
|
2
|
Sparse matrix representations in a functional language
– Grant, Sharp, et al.
- 1994
|
|
1
|
A Haskell implementation of a generalized envelope method for sparse matrix factorization
– Grant, Sharp, et al.
- 1992
|
|
1
|
Quasi-parallel implementation and tools
– Wakeling
- 1995
|
|
1
|
An implementation of the Haskell array prelude using pruned radix tries
– Grant, Sharp, et al.
- 1992
|
|
1
|
Matrix algorithms using quadtrees (invited talk
– Wise
- 1992
|
|
1
|
Computational fluid dynamics application
– Zhang, Webster, et al.
- 1995
|
|
1
|
Substructure condensation using modified choleski decomposition
– Han, Abel
- 1984
|
|
1
|
Building blocks for iterative solution of linear systems
– Barrett, Berry, et al.
- 1993
|
