Code Generation for Octree-Based Multigrid Solvers with Fused Higher-Order Interpolation and Communication

被引:0
|
作者
Angersbach, Richard [1 ]
Kuckuk, Sebastian [1 ,2 ]
Koestler, Harald [1 ,2 ]
机构
[1] Friedrich Alexander Univ Erlangen Nurnberg, Erlangen, Germany
[2] Erlangen Natl High Performance Comp Ctr NHR FAU, Erlangen, Germany
关键词
Software Coupling; Code Generation; Multigrid; Domain-specific Language; ExaStencils; waLBerla; Octree;
D O I
10.1007/978-3-031-69583-4_17
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents a novel method designed to generate multigrid solvers optimized for octree-based software frameworks. Our approach focuses on accurately capturing local features within a domain while leveraging the efficiency inherent in multigrid techniques. We outline the essential steps involved in generating specialized kernels for local refinement and communication routines which integrate on-the-fly interpolations to seamlessly transfer information between refinement levels. The generated numerical solvers and communication routines are automatically specialized for coupling with existing implementations of complex octree data structures and algorithms that are often found in established HPC frameworks. We demonstrate the effectiveness of our method through numerical experiments with different interpolation orders as well as with large-scale benchmarks on the SuperMUC-NG cluster. A comparison against a manual reference implementation highlights the benefits of our method and code generation in general.
引用
收藏
页码:240 / 254
页数:15
相关论文
共 42 条
  • [1] Code Generation via Higher-Order Rewrite Systems
    Haftmann, Florian
    Nipkow, Tobias
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 103 - 117
  • [2] Session-Based Communication Optimisation for Higher-Order Mobile Processes
    Mostrous, Dimitris
    Yoshida, Nobuko
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 203 - 218
  • [3] Statistical Higher-Order Correlation Attacks Against Code-Based Masking
    Cheng, Wei
    Ming, Jingdian
    Guilley, Sylvain
    Danger, Jean-Luc
    IEEE TRANSACTIONS ON COMPUTERS, 2024, 73 (10) : 2364 - 2377
  • [4] Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
    Aransay, Jesus
    Divason, Jose
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2015, 25
  • [5] Monte Carlo-based relativistic radiation hydrodynamics code with a higher-order scheme
    Kawaguchi, Kyohei
    Fujibayashi, Sho
    Shibata, Masaru
    PHYSICAL REVIEW D, 2023, 107 (02)
  • [6] Information Leakage in Code-Based Masking: A Systematic Evaluation by Higher-Order Attacks
    Cheng, Wei
    Guilley, Sylvain
    Danger, Jean-Luc
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2022, 17 : 1624 - 1638
  • [7] An interpolation-based fast multipole method for higher-order boundary elements on parametric surfaces
    Dolz, Juergen
    Harbrecht, Helmut
    Peters, Michael
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2016, 108 (13) : 1705 - 1728
  • [8] Blind recognition of the orthogonal space-time block code based on higher-order cumulants
    Zhao, Zhijin
    Xie, Shaoping
    Hu, Weikang
    Wang, Haiquan
    Shen, Lei
    Dianbo Kexue Xuebao/Chinese Journal of Radio Science, 2014, 29 (03): : 521 - 527
  • [9] CONVERGENCE OF THE DERIVATIVES OF HERMITE-FEJER INTERPOLATION POLYNOMIALS OF HIGHER-ORDER BASED AT THE ZEROS OF FREUD POLYNOMIALS
    KANJIN, Y
    SAKAI, R
    JOURNAL OF APPROXIMATION THEORY, 1995, 80 (03) : 378 - 389
  • [10] Second-harmonic generation based on double higher-order topological corner states
    Li, Jia-Lin
    Wu, Jun-Fang
    Li, Chao
    RESULTS IN PHYSICS, 2023, 48