Imperial College London
Portrait Picture

Emeritus ProfessorJohnDarlington

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8361j.darlington Website

 
 
//

Location

 

213William Penney LaboratorySouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Darlington:2016:10.1007/s10766-016-0422-9,
author = {Darlington, J and Field, A and Hakim, L},
doi = {10.1007/s10766-016-0422-9},
journal = {International Journal of Parallel Programming},
pages = {402--420},
title = {Tackling complexity in high performance computing applications},
url = {http://dx.doi.org/10.1007/s10766-016-0422-9},
volume = {45},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We present a software framework that supports the specification of userdefinableconfiguration options in HPC applications independently of the applicationcode itself. Such options include model parameter values, the selection of numericalalgorithm, target platform etc. and additional constraints that prevent invalid combinationsof options from being made. Such constraints, which are capable of describingcomplex cross-domain dependencies, are often crucial to the correct functioning ofthe application and are typically either completely absent from the code or a hardto recover from it. The framework uses a combination of functional workflows andconstraint solvers. Application workflows are built from a combination of functionalcomponents: higher-order co-ordination forms and first-order data processing componentswhich can be either concrete or abstract, i.e. without a specified implementationat the outset. A repository provides alternative implementations for these abstract components.A constraint solver, written in Prolog, guides a user in making valid choicesof parameters, implementations, machines etc. for any given context. Partial designscan be stored and shared providing a systematic means of handling application useand maintenance. We describe our methodology and illustrate its application in twoclasses of application: a data intensive commercial video transcoding example and anumerically intensive incompressible Navier–Stokes solver.
AU  - Darlington,J
AU  - Field,A
AU  - Hakim,L
DO  - 10.1007/s10766-016-0422-9
EP  - 420
PY  - 2016///
SN  - 1573-7640
SP  - 402
TI  - Tackling complexity in high performance computing applications
T2  - International Journal of Parallel Programming
UR  - http://dx.doi.org/10.1007/s10766-016-0422-9
UR  - http://hdl.handle.net/10044/1/34412
VL  - 45
ER  -
Download