SC2023Top-tier venue
Demystifying and Mitigating Cross-Layer Deficiencies of Soft Error Protection in Instruction Duplication
Zhengyang He, Yafan Huang, Hui Xu, Dingwen Tao, Guanpeng Li
Abstract
Soft errors are prevalent in modern High-Performance Computing (HPC) systems, resulting in silent data corruptions (SDCs), compromising system reliability. Instruction duplication is a widely used software-based protection technique against SDCs. Existing instruction duplication techniques are mostly implemented at LLVM level and may suffer from low SDC coverage at assembly level. In this paper, we evaluate instruction duplication at both LLVM and assembly levels. Our study shows that existing instruction duplication techniques have protection deficiency at assembly level and are usually over-optimistic in the protection. We investigate the root-causes of the protection deficiency and propose a mitigation technique, Flowery, to solve the problem. Our evaluation shows that Flowery can effectively protect programs from SDCs evaluated at assembly level.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 81905ee5-05c2-42b5-99fa-6cc55cb76a4fRelated papers
- Deploying Lightweight Input-Aware Selective Instruction Duplication in HPC ApplicationsMd Hasanur Rahman, Guanpeng LiSC 2025 · 1 citation
- Mitigating Silent Data Corruptions in HPC Applications across Multiple Program InputsYafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li et al.SC 2022 · 14 citations
- Versatile Datapath Soft Error Detection on the Cheap for HPC ApplicationsYafan Huang, Sheng Di, Zhaorui Zhang, Xiaoyi Lu et al.SC 2024 · 2 citations
- Understanding Silent Data Corruptions in a Large Production CPU PopulationShaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang et al.SOSP 2023 · 56 citations
- GPU-trident: efficient modeling of error propagation in GPU programsAbdul Rehman Anwer, Guanpeng Li, Karthik Pattabiraman, Michael B. Sullivan et al.SC 2020 · 31 citations
