Towards Program Optimization through Automated Analysis of Numerical Precision.
Towards Program Optimization through Automated Analysis of Numerical Precision.
复制标题
DOI：
10.1145/1772954.1772987
复制
发表时间：
2010-04
期刊：
影响因子：
--
通讯作者：
Nolan GP
中科院分区：
文献类型：
--
作者：
Linderman MD;Ho M;Dill DL;Meng TH;Nolan GP
降低计算的算术精度具有真实的性能影响，包括提高速度、降低功耗和减小内存占用。对于某些架构，例如，GPU，可能存在如此大的性能差异，以至于实际上需要使用降低的精度。代价是计算的准确性将受到损害。在本文中，我们描述了一个证明助手和相关的静态分析技术，有效地限制数值和精度相关的错误。程序员/编译器可以使用这些边界来针对不同的输入和机器配置对应用进行数值验证和优化。我们提出了几个案例研究应用程序，证明这些技术的有效性和性能优势，可以实现严格的精度分析。
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For some architectures, e.g., GPUs, there can be such a large performance difference that using reduced precision is effectively a requirement. The tradeoff is that the accuracy of the computation will be compromised. In this paper we describe a proof assistant and associated static analysis techniques for efficiently bounding numerical and precision-related errors. The programmer/compiler can use these bounds to numerically verify and optimize an application for different input and machine configurations. We present several case study applications that demonstrate the effectiveness of these techniques and the performance benefits that can be achieved with rigorous precision analysis.
登录
查看更多内容
DOI：
10.1145/1353445.1353446
发表时间：
2008-05-01
影响因子：
1.3
作者：
Monniaux, David
通讯作者：
Monniaux, David
影响因子：
2.7
作者：
Fousse, Laurent;Hanrot, Guillaume;Zimmermann, Paul
通讯作者：
Zimmermann, Paul
DOI：
10.1109/tcad.2006.873887
发表时间：
2006-10-01
影响因子：
2.9
作者：
Lee, Dong-U.;Gaffar, Altaf Abdul;Constantinides, George A.
通讯作者：
Constantinides, George A.
影响因子：
4.6
作者：
Santhanam, Gopal;Linderman, Michael D.;Shenoy, Krishna V.
通讯作者：
Shenoy, Krishna V.
影响因子：
8.2
作者：
BLACK, F;SCHOLES, M
通讯作者：
SCHOLES, M