Affiliation:
1. MIT CSAIL, Cambridge, MA, USA
Abstract
The accuracy of an approximate computation is the distance between the result that the computation produces and the corresponding fully accurate result. The reliability of the computation is the probability that it will produce an acceptably accurate result. Emerging approximate hardware platforms provide approximate operations that, in return for reduced energy consumption and/or increased performance, exhibit reduced reliability and/or accuracy.
We present Chisel, a system for reliability- and accuracy-aware optimization of approximate computational kernels that run on approximate hardware platforms. Given a combined reliability and/or accuracy specification, Chisel automatically selects approximate kernel operations to synthesize an approximate computation that minimizes energy consumption while satisfying its reliability and accuracy specification.
We evaluate Chisel on five applications from the image processing, scientific computing, and financial analysis domains. The experimental results show that our implemented optimization algorithm enables Chisel to optimize our set of benchmark kernels to obtain energy savings from 8.7% to 19.8% compared to the fully reliable kernel implementations while preserving important reliability guarantees.
Funder
Division of Computing and Communication Foundations
U.S. Department of Energy
Defense Advanced Research Projects Agency
Division of Information and Intelligent Systems
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference41 articles.
1. White box sampling in uncertain data processing enabled by program analysis
2. Chapter 20 Optimization Methods in Dynamic Portfolio Management
3. M. Carbin D. Kim S. Misailovic and M. Rinard. Proving\ acceptability properties\ of\ relaxed\ nondeterministic\ approximate\ programs. PLDI'12. 10.1145/2254064.2254086 M. Carbin D. Kim S. Misailovic and M. Rinard. Proving\ acceptability properties\ of\ relaxed\ nondeterministic\ approximate\ programs. PLDI'12. 10.1145/2254064.2254086
4. Verified integrity properties for safe approximate program transformations
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献