论文标题
高性能计算流体动力学代码的自动生成
Automated Generation of High-Performance Computational Fluid Dynamics Codes
论文作者
论文摘要
特定于域的语言（DSL）通过将问题描述从算法实现中脱在一起，从而提高了程序员的生产率。但是，高性能计算（HPC）的DSL具有两个其他关键要求：性能和可伸缩性。本文介绍了从计算流体动力学（CFD）问题的抽象数学规范生成的自动化过程，并优化了作为手动优化的平行代码和扩展性的并扩展。我们有意识地结合了Saiph，这是一个用于解决CFD问题，低级优化和并行策略的DSL，实现了高性能的单核执行，可有效扩展到多核和分布式环境。我们的结果表明，高级DSL可以通过透明地利用最先进的HPC技术来提供竞争性能。
Domain-Specific Languages (DSLs) improve programmers productivity by decoupling problem descriptions from algorithmic implementations. However, DSLs for High-Performance Computing (HPC) have two additional critical requirements: performance and scalability. This paper presents the automated process of generating, from abstract mathematical specifications of Computational Fluid Dynamics (CFD) problems, optimised parallel codes that perform and scale as manually optimised ones. We consciously combine within Saiph, a DSL for solving CFD problems, low-level optimisations and parallelisation strategies, enabling high-performance single-core executions which effectively scale to multi-core and distributed environments. Our results demonstrate how high-level DSLs can offer competitive performance by transparently leveraging state-of-the-art HPC techniques.
