Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics

Automatische Codegenerierung für Massiv Parallele Applikationen in der Numerischen Strömungsmechanik

Please always quote using this URN: urn:nbn:de:bvb:29-opus4-130501
  • Solving partial differential equations (PDEs) is a fundamental challenge in many application domains in industry and academia alike. With increasingly large problems, efficient and highly scalable implementations become more and more crucial. Today, facing this challenge is more difficult than ever due to the increasingly heterogeneous hardware landscape. One promising approach is developing domain‐specific languages (DSLs) for a set of applications. Using code generation techniques then allows targeting a range of hardware platforms while concurrently applying domain‐specific optimizations in an automated fashion. The present work aims to further the state of the art in this field. AsSolving partial differential equations (PDEs) is a fundamental challenge in many application domains in industry and academia alike. With increasingly large problems, efficient and highly scalable implementations become more and more crucial. Today, facing this challenge is more difficult than ever due to the increasingly heterogeneous hardware landscape. One promising approach is developing domain‐specific languages (DSLs) for a set of applications. Using code generation techniques then allows targeting a range of hardware platforms while concurrently applying domain‐specific optimizations in an automated fashion. The present work aims to further the state of the art in this field. As domain, we choose PDE solvers and, in particular, those from the group of geometric multigrid methods. To avoid having a focus too broad, we restrict ourselves to methods working on structured and patch‐structured grids. We face the challenge of handling a domain as complex as ours, while providing different abstractions for diverse user groups, by splitting our external DSL ExaSlang into multiple layers, each specifying different aspects of the final application. Layer 1 is designed to resemble LaTeX and allows inputting continuous equations and functions. Their discretization is expressed on layer 2. It is complemented by algorithmic components which can be implemented in a Matlab‐like syntax on layer 3. All information provided to this point is summarized on layer 4, enriched with particulars about data structures and the employed parallelization. Additionally, we support automated progression between the different layers. All ExaSlang input is processed by our jointly developed Scala code generation framework to ultimately emit C++ code. We particularly focus on how to generate applications parallelized with, e.g., MPI and OpenMP that are able to run on workstations and large‐scale cluster alike. We showcase the applicability of our approach by implementing simple test problems, like Poisson’s equation, as well as relevant applications from the field of computational fluid dynamics (CFD). In particular, we implement scalable solvers for the Stokes, Navier‐Stokes and shallow water equations (SWE) discretized using finite differences (FD) and finite volumes (FV). For the case of Navier‐Stokes, we also extend our implementation towards non‐uniform grids, thereby enabling static mesh refinement, and advanced effects such as the simulated fluid being non‐Newtonian and non‐isothermal.show moreshow less

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Sebastian Kuckuk
URN:urn:nbn:de:bvb:29-opus4-130501
DOI:https://doi.org/10.25593/978-3-96147-274-1
ISBN:978-3-96147-274-1
Series (Volume number):FAU Studien aus der Informatik (10)
Publisher:FAU University Press
Place of publication:Erlangen
Referee:Harald Köstler, Matthias Bolten
Advisor:Harald Köstler
Document Type:Doctoral Thesis
Language:English
Year of Completion:2019
Embargo Date:2020/01/17
Publishing Institution:FAU University Press
Granting Institution:Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Technische Fakultät
Date of final exam:2019/08/13
Release Date:2020/01/21
Tag:Navier-Stokes equations; Stokes equations; automatic parallelization; code generation; computational engineering; computational fluid dynamics; computer simulation; domain-specific languages; external DSL; finite differences; finite volumes; high-performance computing; numerical solvers; partial differential equations; program generation; scientific computing; shallow-water equations
SWD-Keyword:Codegenerierung; Domänenspezifische Programmiersprache; Mehrgitterverfahren; Numerische Strömungssimulation; Hochleistungsrechnen; Partielle Differentialgleichung; Stokes-Gleichung; Navier-Stokes-Gleichung; Wissenschaftliches Rechnen; Parallelisierung; Computersimulation
Pagenumber:xi, 243 Seiten
Note:
Parallel erschienen als Druckausgabe bei FAU University Press, ISBN: 978-3-96147-273-4
Institutes:Technische Fakultät / Department Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 005 Computerprogrammierung, Programme, Daten
open_access (DINI-Set):open_access
Collections:Universität Erlangen-Nürnberg / FAU University Press
Licence (German):Creative Commons - CC BY - Namensnennung 4.0 International