In Search for a Program Generator to Implement Generic Transformations for High-performance Computing

Albert Cohen (1) , Sébastien Donadio (2) , María J. Garzarán (3) , David Padua (4) , Christoph Herrmann (5)

1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
2 PRISM - Parallélisme, Réseaux, Systèmes, Modélisation
3 UIUC - Department of Computer Science [UIUC]
4 UIUC - University of Illinois at Urbana-Champaign [Urbana]
5 Fakultät für Mathematik und Informatik [Passau]

The quality of compiler-optimized code for high-performance applications lags way behind what optimization and domain experts can achieve by hand. This paper explores in-between solutions, besides fully automatic and fully-manual code optimization. This work discusses how generative approaches can help the design and optimization of supercomputing applications. It outlines early results and research directions, using MetaOCaml for the design of a generative tool-box to design portable optimized code. We also identify some limitations of the MetaOCaml system. We finally advocate for an offshoring approach to bring high-level and safe metaprogramming to imperative languages.

Domaines: Langage de programmation [cs.PL]; Calcul parallèle, distribué et partagé [cs.DC]; Systèmes embarqués

Albert Cohen, Sébastien Donadio, María J. Garzarán, David Padua, Christoph Herrmann. In Search for a Program Generator to Implement Generic Transformations for High-performance Computing. 1st MetaOCaml Workshop (associated with GPCE), 2004, Vancouver, British Columbia, Canada. ⟨hal-01257304⟩