DSLHyPE-a DSL kernel language for the Exascale Hyperbolic PDE Engine ExaHyPE

2026-08-18

AI Summary

本文介绍了一种双语领域特定语言DSLHyPE，用于在超大规模双曲PDE引擎中建模计算内核，通过将物理模型与数值方案分离来优化求解过程。

Abstract

We introduce a bilingual domain-specific language (DSL) for modelling compute kernels within a generic solver for hyperbolic partial differential equations (PDEs). Users express PDE terms, i.e.~the underlying physics, in a familiar native language such as C or C++, while the numerical scheme is specified in a Python-embedded DSL, DSLHyPE. DSLHyPE's compiler lowers the Python description to MLIR and introduces a translation pass that integrates it with native code likewise mapped to MLIR. Our approach keeps the numerical representation and the physics implementation separate for as long as possible, while delegating optimization to the compiler through existing MLIR optimization passes. This separation of concerns benefits researchers developing numerical schemes on top of existing PDE implementations or with applications involving nonlinear systems whose PDE terms must solve PDEs themselves. We demonstrate the feasibility of the approach using a gravitational-wave solver and a matter-evolution solver on x86 processors and H200 GPUs.

Problem

• domain-specific language
• hyperbolic partial differential equations
• numerical scheme
• MLIR
• separation of concerns

Innovation

• Domain-Specific Language
• Hyperbolic PDEs
• MLIR
• Separation of Concerns
• Compiler Optimization