Tools for Reduced Precision Computation
Open Access
- 17 April 2020
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 53 (2) , 1-35
Abstract
The use of reduced precision to improve performance metrics such as computation latency and power consumption is a common practice in the embedded systems field. This practice is emerging as a new trend in High Performance Computing (HPC), especially when new error-tolerant applications are considered. However, standard compiler frameworks do not support automated precision customization, and manual tuning and code transformation is the approach usually adopted in most domains. In recent years, research have been studying ways to improve the automation of this process. This article surveys this body of work, identifying the critical steps of this process, the most advanced tools available, and the open challenges in this research area. We conclude that, while several mature tools exist, there is still a gap to close, especially for tools based on static analysis rather than profiling, as well as for integration within mainstream, industry-strength compiler frameworks.Keywords
Funding Information
- EU H2020 RECIPE Project (801137)
This publication has 70 references indexed in Scilit:
- Certification of bounds on expressions involving rounded operatorsACM Transactions on Mathematical Software, 2010
- CADNA: a library for estimating round-off error propagationComputer Physics Communications, 2008
- The pitfalls of verifying floating-point computationsACM Transactions on Programming Languages and Systems, 2008
- MPFRACM Transactions on Mathematical Software, 2007
- Simplifying and isolating failure-inducing inputIEEE Transactions on Software Engineering, 2002
- An API for Runtime Code PatchingThe International Journal of High Performance Computing Applications, 2000
- ROSE: COMPILER SUPPORT FOR OBJECT-ORIENTED FRAMEWORKSParallel Processing Letters, 2000
- Fixed-point optimization utility for C and C++ based digital signal processing programsIEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 1998
- SUIFACM SIGPLAN Notices, 1994
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991