P3 problem and Magnolia language: Specializing array computations for emerging architectures

Chetioui, Benjamin and Larnøy, Marius Kleppe and Järvi, Jaakko and Haveraaen, Magne and Mullin, Lenore (2022) P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers in Computer Science, 4. ISSN 2624-9898

[thumbnail of pubmed-zip/versions/1/package-entries/fcomp-04-931312/fcomp-04-931312.pdf] Text
pubmed-zip/versions/1/package-entries/fcomp-04-931312/fcomp-04-931312.pdf - Published Version

Download (812kB)

Abstract

The problem of producing portable high-performance computing (HPC) software that is cheap to develop and maintain is called the P3 (performance, portability, productivity) problem. Good solutions to the P3 problem have been achieved when the performance profiles of the target machines have been similar. The variety of HPC architectures is, however, large and can be expected to grow larger. Software for HPC therefore needs to be highly adaptable, and there is a pressing need to provide developers with tools to produce software that can target machines with vastly different profiles. Multi-dimensional array manipulation constitutes a core component of numerous numerical methods, such as finite difference solvers of Partial Differential Equations (PDEs). The efficiency of these computations is tightly connected to traversing and distributing array data in a hardware-friendly way. The Mathematics of Arrays (MoA) allows for formally reasoning about array computations and enables systematic transformations of array-based programs, e.g., to use data layouts that fit to a specific architecture. This paper presents a programming methodology aimed for tackling the P3 problem in domains that are well-explored using Magnolia, a language designed to embody generic programming. The Magnolia programmer can restrict the semantic properties of abstract generic types and operations by defining so-called axioms. Axioms can be used to produce tests for concrete implementations of specifications, for formal verification, or to perform semantics-preserving program transformations. We leverage Magnolia's semantic specification facilities to extend the Magnolia compiler with a term rewriting system. We implement MoA's transformation rules in Magnolia, and demonstrate through a case study on a finite difference solver of PDEs how our rewriting system allows exploring the space of possible optimizations.

Item Type: Article
Subjects: EP Archives > Computer Science
Depositing User: Managing Editor
Date Deposited: 29 Nov 2022 04:57
Last Modified: 02 May 2024 08:57
URI: http://research.send4journal.com/id/eprint/483

Actions (login required)

View Item
View Item