An algorithm for the optimization of finite element integration loops

DOI10.1145/3054944zbMATH Open1380.65381arXiv1604.05872OpenAlexW3121682852WikidataQ113310139 ScholiaQ113310139MaRDI QIDQ3133595FDOQ3133595

Paul H. J. Kelly, Fabio Luporini, D. A. Ham

Publication date: 5 February 2018

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Abstract: We present an algorithm for the optimization of a class of finite element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite element operators, is proven to achieve a locally optimal operation count. In specified circumstances the optimum achieved is global. Extensive numerical experiments demonstrate significant performance improvements over the state of the art in finite element code generation in almost all cases. This validates the effectiveness of the algorithm presented here, and illustrates its limitations.

Full work available at URL: https://arxiv.org/abs/1604.05872

Recommendations

• Geometric Optimization of the Evaluation of Finite Element Matrices
• Optimizing the Evaluation of Finite Element Matrices
• scientific article; zbMATH DE number 4026736
• Topological Optimization of the Evaluation of Finite Element Matrices
• scientific article; zbMATH DE number 4133438

zbMATH Keywords

compilersperformance optimizationfinite element integrationlocal assembly

Mathematics Subject Classification ID

Complexity and performance of numerical algorithms (65Y20) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Cited In (18)

• Title not available (Why is that?)
• Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element Operators
• Optimal-Transport--Based Mesh Adaptivity on the Plane and Sphere Using Finite Elements
• The scaling and skewness of optimally transported meshes on the sphere
• Composable block solvers for the four-field double porosity/permeability model
• Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver
• Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations
• On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUs
• TSFC: A Structure-Preserving Form Compiler
• Robust Multigrid Techniques for Augmented Lagrangian Preconditioning of Incompressible Stokes Equations with Extreme Viscosity Variations
• Shape optimisation for faster washout in recirculating flows
• Variational inequality approach to enforcing the non-negative constraint for advection-diffusion equations
• A quasi-Hamiltonian discretization of the thermal shallow water equations
• Topological Optimization of the Evaluation of Finite Element Matrices
• A scalable variational inequality approach for flow through porous media models with pressure-dependent viscosity
• Robust regularization of topology optimization problems with \textit{a posteriori} error estimators
• Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
• Higher-Order Moving Mesh Methods for PDE-Constrained Shape Optimization

Uses Software

• PETSc
• FEniCS
• UFL
• Firedrake
• PyOP2
• TSFC
• COFFEE
• UFLACS
• petsc4py
• FIAT

This page was built for publication: An algorithm for the optimization of finite element integration loops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133595)