一种用于预条件共轭梯度法的向后/向前恢复方法
数据结构与算法
2015-11-17 v1
摘要
近年来，若干论文引入了周期性验证机制以检测迭代求解器中的静默错误。Chen [PPoPP'13, pp. 167--176] 展示了如何将此类验证机制（一种检验两个向量正交性并重新计算残差的稳定性测试）与检查点技术相结合：其思路是每 次迭代进行一次验证，并每 次迭代进行一次检查点。当验证机制检测到静默错误时，可以回滚到上一个检查点并从其重新执行。本文中，我们也提出将检查点与验证相结合，但我们使用基于算法的容错（ABFT）而非稳定性测试。ABFT 可用于错误检测，也可用于错误检测与纠正，从而在检测到单个错误时允许向前恢复（无需回滚或重新执行）。我们引入了一个抽象性能模型来计算所有方案的性能，并使用预条件共轭梯度算法对其进行了实例化。最后，我们通过一组仿真验证了我们的新方法。
引用
@article{arxiv.1511.04478,
title = {A Backward/Forward Recovery Approach for the Preconditioned Conjugate Gradient Method},
author = {Massimiliano Fasi and Julien Langou and Yves Robert and Bora Ucar},
journal= {arXiv preprint arXiv:1511.04478},
year = {2015}
}