English

Productively Expressing High-performance Spatial Designs of Givens Rotation-based QR Decomposition Algorithm

Programming Languages 2018-05-22 v1

Abstract

QR decomposition is used prevalently in wireless communication. In this paper, we express the Givens-rotation-based QR decomposition algorithm on a spatial architecture using T2S (Temporal To Spatial), a high-productivity spatial programming methodology for expressing high-performance spatial designs. There are interesting challenges: the loop iteration space is not rectangular, and it is not obvious how the imperative algorithm can be expressed in a functional notation, the starting point of T2S. Using QR decomposition as an example, this paper elucidates some general principle, and de-mystifies high-performance spatial programming. The paper also serves as a tutorial of spatial programming for programmers who are not mathematicians, not expert programmers, and not experts on spatial architectures, but still hope to intuitively identify a high-performance design and map to spatial architectures efficiently.

Keywords

Cite

@article{arxiv.1805.07490,
  title  = {Productively Expressing High-performance Spatial Designs of Givens Rotation-based QR Decomposition Algorithm},
  author = {Hongbo Rong},
  journal= {arXiv preprint arXiv:1805.07490},
  year   = {2018}
}
R2 v1 2026-06-23T02:00:52.293Z