Towards generating optimised finite element solvers for GPUs from high-level specifications
Towards generating optimised finite element solvers for GPUs from high-level specifications
复制标题
DOI：
10.1016/j.procs.2010.04.203
复制
发表时间：
2010-05
期刊：
影响因子：
--
通讯作者：
G. Markall;D. Ham;P. Kelly
中科院分区：
文献类型：
--
作者：
G. Markall;D. Ham;P. Kelly
我们认为，为多个目标生成可维护的高性能有限元方法实现需要使用高级领域特定语言编写它们。我们通过讨论统一表单语言（UFL）如何允许从可维护的源代码生成高性能代码来说明使用这种语言的原因。我们通过展示为图形处理单元和多核CPU编写的有限元求解器的最佳实现需要使用由UFL表示所包含的不同算法和数据格式来支持这种情况。最后，我们描述了一个从高级规范生成低级代码的原型编译器，并概述了如何降低高级UFL表示，以便在代码生成之前使用现有技术进行优化。
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-specific language. We make the case for using one such language, the Unified Form Language (UFL), by discussing how it allows the generation of high-performance code from maintainable sources. We support this case by showing that optimal implementations of a finite element solver written for a Graphics Processing Unit and a multicore CPU require the use of different algorithms and data formats that are embodied by the UFL representation. Finally we describe a prototype compiler that generates low-level code from high-level specifications, and outline how the high-level UFL representation can be lowered to facilitate optimisation using existing techniques prior to code generation.