Imperial College London
Professor Wayne Luk

ProfessorWayneLuk

Faculty of Engineering, Department of Computing

Professor of Computer Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8313w.luk Website

 
 
//

Location

 

434Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Targett:2017:10.23919/FPL.2017.8056793,
author = {Targett, JS and Düben, P and Luk, W},
doi = {10.23919/FPL.2017.8056793},
publisher = {IEEE},
title = {Validating optimisations for chaotic simulations},
url = {http://dx.doi.org/10.23919/FPL.2017.8056793},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - It is non-trivial to optimise computations of chaotic systems since slightly perturbed simulations diverge exponentially over time due to the well-known butterfly effect if bit-reproducible results are not achieved. Therefore, two model setups that show the same quality in the representation of a chaotic system will show uncorrelated behaviour if integrated long enough, hence it is challenging to check whether a given optimisation degrades model quality. Most models in computational fluid dynamics show chaotic behaviour. In this paper we focus on models of atmosphere and ocean that are vital for predictions of future weather and climate. Since forecast quality is usually limited by the available computational power, optimisation is highly desirable. We describe a new method for accepting or rejecting an optimised implementation of a reconfigurable design to simulate dynamics of a chaotic system. We apply this method to optimise numerical precision to a minimal level of stencil computations that can be used in an idealised ocean model, and show the performance improvements gained on an FPGA. The proposed method enables precision reduction for the FPGA so that it computes up to 9 times faster with 6 times lower energy consumption than an implementation on the same device with double precision arithmetic, while ensuring the optimised design to have acceptable numerical behaviour.
AU  - Targett,JS
AU  - Düben,P
AU  - Luk,W
DO  - 10.23919/FPL.2017.8056793
PB  - IEEE
PY  - 2017///
SN  - 1946-1488
TI  - Validating optimisations for chaotic simulations
UR  - http://dx.doi.org/10.23919/FPL.2017.8056793
UR  - http://hdl.handle.net/10044/1/56421
ER  -
Download