Assembling a High-Productivity DSL for Computational Fluid Dynamics
Assembling a High-Productivity DSL for Computational Fluid Dynamics
复制标题
组装用于计算流体动力学的高生产率 DSL
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
E. Ayguadé
中科院分区：
文献类型：
--
作者：
Sandra Macià;P. Martínez;Sergi Mateo;Vicencc Beltran;E. Ayguadé
随着我们走向亿级计算，越来越需要一种有效的并行计算的抽象来克服科学应用程序的可维护性和可移植性，同时确保高效和充分地利用高性能系统。这些情况要求计算机和领域科学家共同努力，创造一个高效的工作环境。领域特定语言通过从最终的、复杂的并行低级代码中抽象高级应用层来解决这一挑战。SAIPH是一种创新的领域特定语言，旨在将计算流体力学领域专家的工作减少到他们的问题方程的明确和直接的转录。高级语言、特定领域的编译器和底层库得到了增强，使科学家开发的应用程序变得直观。添加和改进是为在不同的机器上运行计算流体动力学应用程序的显著优势而设计的，没有移植或维护问题。数值方法和并行策略是在库级别独立添加的，涵盖了大量问题的显式有限差分解决方案。根据应用程序的不同，在SAPHH中自动派生和应用特定的并行分辨率，将用户从与数值方法或并行执行相关的决策中解放出来，同时确保适当的计算。通过一系列基准测试，我们展示了SAIPH高级语言的实用性和生产力，以及底层并行数值算法的正确性和性能。
As we move towards exascale computing, an abstraction for effective parallel computation is increasingly needed to overcome the maintainability and portability of scientific applications while ensuring the efficient and full exploitation of high-performance systems. These circumstances require computer and domain scientists to work jointly toward a productive working environment. Domain specific languages address this challenge by abstracting the high-level application layer from the final, complex parallel low-level code. Saiph is an innovative domain specific language designed to reduce the work of computational fluid dynamics domain experts to an unambiguous and straightforward transcription of their problem equations. The high-level language, domain-specific compiler and underlying library are enhanced to make applications developed by scientists intuitive. Additions and improvements are presented, designed for the significant advantage of running computational fluid dynamics applications on different machines with no porting or maintenance issues. Numerical methods and parallel strategies are independently added at the library level covering the explicit finite differences resolution of a vast range of problems. Depending on the application, a specific parallel resolution is automatically derived and applied within Saiph, freeing the user from decisions related to numerical methods or parallel executions while ensuring suitable computations. Through a list of benchmarks, we demonstrate the utility and productivity of the Saiph high-level language together with the correctness and performance of the underlying parallel numerical algorithms.
自动矢量化大规模生产非结构化网格 CFD 应用程序
DOI：
10.1145/2870650.2870651
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Mudalige G
通讯作者：
Mudalige G
多块结构化网格计算的 OPS 域特定抽象
DOI：
10.1109/wolfhpc.2014.7
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Reguly I
通讯作者：
Reguly I