Radshield: Software Radiation Protection for Commodity Hardware in Space
Haoda Wang, Steven Myint, Vandi Verma, Yonatan Winetraub, Junfeng Yang, Asaf Cidon
摘要
Exponentially-declining launch costs have led to an explosion of inexpensive satellites launched to space, often equipped with off-the-shelf chips. These chips, however, lack hardware radiation protection, leaving them vulnerable to space radiation. We thus design Radshield, a software system protecting against the two most ubiquitous and costly radiation fault scenarios: (a) radiation-induced short-circuits that lead to permanent hardware failure; and (b) radiationinduced transient charges that result in single-bit silent data corruption (SDC). Radshield counters these failure scenarios with two components. First, it uses a short-circuit detector that can detect tiny increases in the device's current draw by estimating the normal current draw when resource utilization is low. Second, it duplicates the execution of spacecraft workloads in a CPU and memory-efficient manner, and catches SDCs even when they affect the CPU's pipeline or cache. In our experiments, we show Radshield is very effective at preventing both errors, and is 1.4-35.5× more power-efficient than the state-of-the-art protection mechanisms in detecting SDC. Radshield is deployed on missions in low-earth orbit and in deep space. "The 9000 series is the most reliable computer ever made. No 9000 computer has ever made a mistake or distorted information. We are all, by any practical definition of the words, foolproof and incapable of error. " HAL, 2001: A Space Odyssey CCS Concepts: • Computer systems organization → Dependable and fault-tolerant systems and networks; •
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper6
- Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer SystemBradley Denby, Brandon LuciaASPLOS 2020 · 被引用 272 次
- Kodan: Addressing the Computational Bottleneck in SpaceBradley Denby, Krishna Chintalapudi, Ranveer Chandra, Brandon Lucia 等ASPLOS 2023 · 被引用 62 次
- Understanding Silent Data Corruptions in a Large Production CPU PopulationShaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang 等SOSP 2023 · 被引用 56 次
- Arithmetic-intensity-guided fault tolerance for neural network inference on GPUsJack Kosaian, K. V. RashmiSC 2021 · 被引用 51 次
- SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit FlipsWenxin Zheng, Bin Xu, Jinyu Gu, Haibo ChenUSENIX ATC 2025 · 被引用 8 次
相关 Paper
- Space RADSIM: Binary-Agnostic Fault Injection to Evaluate Cosmic Radiation Impact on Exploit Mitigation Techniques in SpaceJohannes Willbold, Tobias Cloosters, Simon Wörner, Felix Buchmann 等S&P 2025
- Deploying Lightweight Input-Aware Selective Instruction Duplication in HPC ApplicationsMd Hasanur Rahman, Guanpeng LiSC 2025 · 被引用 1 次
- REMU: Memory-aware Radiation Emulation via Dual Addressing for In-orbit Deep Learning SystemLongnv Xu, Meiqi Wang, Han Qiu, Jun Liu 等DAC 2025 · 被引用 1 次
- Understanding a program's resiliency through error propagationZhimin Li, Harshitha Menon, Kathryn Mohror, Peer-Timo Bremer 等PPoPP 2021 · 被引用 19 次
- PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applicationsMd Hasanur Rahman, Aabid Shamji, Shengjian Guo, Guanpeng LiSC 2021 · 被引用 16 次
