SPIRAL Tutorial: Introduction to SPIRAL

Previous Tutorial:
High Performance Extreme Computing Conference (HPEC 2021), Wednesday, September 22, 2021, 12:15-15:45 ET
Franz Franchetti, Kavčić Moura Professor of ECE and Associate Dean for Research, College of Engineering, Carnegie Mellon University
Mike Franusich, Vice President of Engineering, SpiralGen Inc.
Register here: http://ieee-hpec.org/

In this tutorial, we cover getting started with SPIRAL and hands-on SPIRAL use.

The open source SPIRAL code generation system from Carnegie Mellon has a long history with the HPEC conference and has piqued the interest of many over the years with its powerful capabilities, but it also can be frustratingly difficult for someone to master on their own. This tutorial is intended for those who want to take a close look at SPIRAL and walk away with enough information and hands-on experience to understand how SPIRAL could help with their work and how to effectively gain the required proficiency.

The session will be a combination of theory and practice that covers the major components of SPIRAL and the basics of using the tool. There will be help with installing and configuring SPIRAL, as well as an overview of the source code tree. We will have in-depth looks at two topics: how to extend SPIRAL to new hardware, using AVX as the example, and the new FFTX project, of which SPIRAL is an integral part.

 

Open Source SPIRAL is available here under non-viral license (BSD-style license).

 

References:

• Franz Franchetti
  SPIRAL: AI for High Performance Code with a Side of FFTX
  MIT Fast Code Seminar, September 21, 2020


• Franz Franchetti, Tze Meng Low, Doru Thom Popovici, Richard M. Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, and José M. F. Moura
  SPIRAL: Extreme Performance Portability
  Proceedings of the IEEE special issue on From High Level Specification to High Performance Code, Vol. 206, No. 11, 2018


• Franz Franchetti
  Formal Software Synthesis of Computational Kernels
  Schloss Dagstuhl: Dagstuhl Seminars, Summer 2017

 

Resources:

• Stride Permutations and Tensor Product Identities


• Sigma-SPL Examples using Fortran syntax


• Sigma-SPL handwritten lecture notes and examples


• Stride and h-function example


• SigmaSPL FFT C99 _Complex OpenMP example


• Sigma-OL examples: Matrix Multiply and FFT/Convolution


• Early and incomplete OL notes


• OL Formulation of Sorting Networks


• Notes from SPIRAL Development: Sigma-SPL and DTTs