Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization

Résumé

The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed precisions (binary16, binary32, binary64). However, to address the increasing energy consumption and throughput requirements of scientific applications, library and hardware designers are moving beyond this one-size-fits-all approach. In this article we propose to study the effects and benefits of using user-defined floating-point formats and target accuracies in calculations involving mathematical functions. Our tool collects input-data profiles and iteratively explores lower precisions for each call-site of a mathematical function in user applications. This profiling data will be a valuable asset for specializing and fine-tuning mathematical function implementations for a given application. We demonstrate the tool's capabilities on SGP4, a satellite tracking application. The profile data shows the potential for specialization and provides insight into answering where it is useful to provide variable-precision designs for elementary function evaluation.
Fichier principal
Vignette du fichier
vprec_libm_short_hal.pdf (134.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02563852 , version 1 (05-05-2020)

Identifiants

Citer

David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit. Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Los Alamitos, United States. pp.121-124, ⟨10.1109/ARITH48897.2020.00026⟩. ⟨hal-02563852⟩
166 Consultations
207 Téléchargements

Altmetric

Partager

More