Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization

05/06/2020
by   David Defour, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/17/2021

NEAT: A Framework for Automated Exploration of Floating Point Approximations

Much recent research is devoted to exploring tradeoffs between computati...
research
07/12/2021

Faster Math Functions, Soundly

Standard library implementations of functions like sin and exp optimize ...
research
11/28/2017

A Transprecision Floating-Point Platform for Ultra-Low Power Computing

In modern low-power embedded platforms, floating-point (FP) operations e...
research
12/20/2020

Universal Numbers Library: design and implementation of a high-performance reproducible number systems library

With the proliferation of embedded systems requiring intelligent behavio...
research
07/31/2021

A Study of the Floating-Point Tuning Behaviour on the N-body Problem

In this article, we apply a new methodology for precision tuning to the ...
research
09/21/2022

An Integrated Web Platform for the Mizar Mathematical Library

This paper reports on the development of a Web platform to host the Miza...
research
01/25/2020

SLEEF: A Portable Vectorized Library of C Standard Mathematical Functions

In this paper, we present techniques used to implement our portable vect...

Please sign up or login with your details

Forgot password? Click here to reset