Implementing a numerical solution of the KPI equation using single assignment c: lessons and experiences

Authors:
Alex Shafarenko;Sven-Bodo Scholz;Stephan Herhut;Clemens Grelck;Kai Trojahner
Affiliations:
Department of Computer Science, University of Hertfordshire, U.K.;Department of Computer Science, University of Hertfordshire, U.K.;Department of Computer Science, University of Hertfordshire, U.K.;Institute of Software Technology and Programming Languages, University of Lübeck, Germany;Institute of Software Technology and Programming Languages, University of Lübeck, Germany
Venue:
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Year:
2005

Citing 4
Cited 8

Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code

PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Implementing the Conjugate Gradient Algorithm in a Functional Language

IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
On the effectiveness of functional language features: NAS benchmark FT

Journal of Functional Programming
With-Loop scalarization – merging nested array operations

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages

SAC: a functional array language for efficient multi-threaded execution

International Journal of Parallel Programming
Merging compositions of array skeletons in SAC

Parallel Computing - Algorithmic skeletons
SAC: off-the-shelf support for data-parallelism on multicores

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Shape cliques

ACM SIGAPL APL Quote Quad
Controlling chaos: on safe side-effects in data-parallel operations

Proceedings of the 4th workshop on Declarative aspects of multicore programming
Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Streaming networks for coordinating data-parallel programs

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Single assignment C (SAC) high productivity meets high performance: high productivity meets high performance

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report our experiences of programming in the functional language SaC[1] a numerical method for the KPI (Kadomtsev-Petiviashvili I) equation. KPI describes the propagation of nonlinear waves in a dispersive medium. It is an integro-differential, nonlinear equation with third-order derivatives, and so it presents a noticeable challenge in numerical solution, as well as being an important model for a range of topics in computational physics. The latter include: long internal waves in a density-stratified ocean, ion-acoustic waves in a plasma, acoustic waves on a crystal lattice, and more. Thus our solution of KPI in SaC represents an experience of solving a “real” problem using a single-assignment language and as such provides an insight into the kind of challenges and benefits that arise in using the functional paradigm in computational applications. The paper describes the structure and functionality of the program, discusses the features of functional programming that make it useful for the task in hand, and touches upon performance issues.