PRESAGE：保护结构化地址生成免受软错误影响
软件工程
2016-07-05 v1 编程语言
摘要
现代计算机为追求更多组件数量和更高能效的缩放趋势，不幸导致了硬件可靠性下降，进而使软错误侵入应用数据（“静默数据损坏”）。增强系统弹性的技术依赖于高效错误检测器的可用性，这类检测器需具备高检测率、低误报率和较低的计算开销。遗憾的是，用于检测地址生成（索引大型数组）期间故障的高效检测器尚未被广泛研究。我们提出了一种称为PRESAGE的新型轻量级编译器驱动技术，用于检测影响结构化地址计算的比特翻转。PRESAGE背后的关键见解是：任何允许已发生错误传播的地址计算方案，都优于那种破坏某次数组访问但其他方面（错误地）看似完美计算的方案。允许错误传播使得可以将检测器置于循环退出点，并有助于将静默损坏转化为易于检测的错误情况。我们使用PolyBench基准测试套件的实验表明，基于PRESAGE的错误检测器在产生较低开销的同时具有高错误检测率。
引用
@article{arxiv.1606.08948,
title = {PRESAGE: Protecting Structured Address Generation against Soft Errors},
author = {Vishal Chandra Sharma and Ganesh Gopalakrishnan and Sriram Krishnamoorthy},
journal= {arXiv preprint arXiv:1606.08948},
year = {2016}
}