当前位置: X-MOL 学术ACM Trans. Archit. Code Optim. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
FPD etect
ACM Transactions on Architecture and Code Optimization ( IF 1.6 ) Pub Date : 2020-08-17 , DOI: 10.1145/3402451
Arnab Das 1 , Sriram Krishnamoorthy 2 , Ian Briggs 1 , Ganesh Gopalakrishnan 1 , Ramakrishna Tipireddy 2
Affiliation  

We present FPD etect , a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPD etect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPD etect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach.

中文翻译:

平板显示器等

我们介绍 FPD,一种低开销的方法,用于检测影响模板计算的逻辑错误和软错误,而不会产生误报。我们开发了一种离线分析,可以严格估计模板应用程序中保留的浮点位数。该估计严格限制了计算数据空间中的预期值。违反此界限可以肯定地归因于错误。平面显示器帮助合成为用户指定的准确度和覆盖范围定制的错误检测器。平面显示器还支持基于在空间和时间上粗略部署这些检测器的开销减少技术。实验评估证明了我们方法的实用性。
更新日期:2020-08-17
down
wechat
bug