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.…
Author: | Sebastian Kuckuk |
---|---|
Persistent identifiers - URN: | urn:nbn:de:bvb:29-opus4-130501 |
Persistent identifiers - 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: | Erlangen |
Referee: | Harald Köstler, Matthias Bolten |
Advisor: | Harald Köstler |
Document Type: | Doctoral Thesis |
Language: | English |
Year of publication: | 2019 |
Date of online publication (Embargo Date): | 2020/01/17 |
Publishing Institution: | FAU University Press |
Granting institution: | Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Technische Fakultät |
Acceptance date of the thesis: | 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 |
Length/size: | xi, 243 Seiten |
Notes: | 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): | ![]() |