Application-tailored linear algebra algorithms: A search-based approach

作者：Fabregat Traver Diego^*; Bientinesi Paolo

来源：International Journal of High Performance Computing Applications, 2013, 27(4): 426-439.

DOI：10.1177/1094342013494428

• automation
• domain-specific languages
• domain-specific compilers
• numerical linear algebra
• generation of algorithms
• knowledge management

In this paper, we tackle the problem of automatically generating algorithms for linear algebra operations by taking advantage of problem-specific knowledge. In most situations, users possess much more information about the problem at hand than what current libraries and computing environments accept; evidence shows that if properly exploited, such information leads to uncommon/unexpected speedups. We introduce a knowledge-aware linear algebra compiler that allows users to input matrix equations together with properties about the operands and the problem itself; for instance, they can specify that the equation is part of a sequence, and how successive instances are related to one another. The compiler exploits all of this information to guide the generation of algorithms, to limit the size of the search space, and to avoid redundant computations. We applied the compiler to equations arising as part of sensitivity and genome studies. For the first application, the algorithms produced by our compiler attained, when compared with ADIFOR, speedups of between 29x and 79x. In the case of genome studies, the produced algorithms outperformed the state-of-the-art libraries GenABEL and FaST-LMM by factors beyond 1000.

• 出版日期2013-11