Optimizations for quadrature representations of finite element tensors through automated code generation
- 22 January 2010
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 37 (1), 1-23
- https://doi.org/10.1145/1644001.1644009
Abstract
We examine aspects of the computation of finite element matrices and vectors that are made possible by automated code generation. Given a variational form in a syntax that resembles standard mathematical notation, the low-level computer code for building finite element tensors, typically matrices, vectors and scalars, can be generated automatically via a form compiler. In particular, the generation of code for computing finite element matrices using a quadrature approach is addressed. For quadrature representations, a number of optimization strategies which are made possible by automated code generation are presented. The relative performance of two different automatically generated representations of finite element matrices is examined, with a particular emphasis on complicated variational forms. It is shown that approaches which perform best for simple forms are not tractable for more complicated problems in terms of run-time performance, the time required to generate the code or the size of the generated code. The approach and optimizations elaborated here are effective for a range of variational forms.Keywords
This publication has 14 references indexed in Scilit:
- DOLFINACM Transactions on Mathematical Software, 2010
- On the efficiency of symbolic computations combined with code generation for finite element methodsACM Transactions on Mathematical Software, 2010
- Efficient Assembly of $H(\mathrm{div})$ and $H(\mathrm{curl})$ Conforming Finite ElementsSIAM Journal on Scientific Computing, 2010
- Automated Code Generation for Discontinuous Galerkin MethodsSIAM Journal on Scientific Computing, 2009
- Unified framework for finite element assemblyInternational Journal of Computational Science and Engineering, 2009
- Modelling temperature effects on multiphase flow through porous mediaPhilosophical Magazine, 2008
- Benchmarking Domain-Specific Compiler Optimizations for Variational FormsACM Transactions on Mathematical Software, 2008
- Efficient compilation of a class of variational formsACM Transactions on Mathematical Software, 2007
- A compiler for variational formsACM Transactions on Mathematical Software, 2006
- Algorithm 839ACM Transactions on Mathematical Software, 2004