在恶劣环境中生存的代码：用于放射性环境的C++

前言：为什么你的代码在太空中会“发疯”？

想象一下：你编写了一段完美的C++代码。它通过了所有单元测试，在你强大的笔记本电脑上运行得像时钟一样精准。你将它上传到卫星的机载计算机或控制核反应堆的仪器上。然后噩梦开始了：变量自动改变值，程序在随机位置崩溃，控制系统发出错误指令。听起来熟悉吗？

这不是你代码中的错误。这是物理现象。高能粒子（质子、中子、重离子）穿过芯片的硅材料并击出电子。仅仅一个光子就能翻转处理器寄存器或RAM单元中的一位。这种现象被称为Single Event Upset (SEU)——单粒子翻转。在嵌入式系统和太空软件开发者社区中，这个问题非常热门，以至于Stack Overflow上的讨论获得了数十万次浏览。今天，我们将分析如何编译和编写用于高辐射环境的C++应用程序，以及为什么常规方法在这里行不通。

问题：辐射——你内存的“随机黑客”

当我们谈论为放射性环境编译时，我们并不是指像-fradioactive这样的特殊编译器标志。辐射与软件无关，而是与硬件有关。然而，正是你编写和编译代码的方式，决定了程序能否承受“位攻击”。

在这种条件下代码面临的主要威胁：

\n
• CPU寄存器中的SEU：粒子可能改变通用寄存器中的值，导致计算错误。
\n
• 缓存中的SEU：一条“被击中的”指令可能被执行为完全不同的操作。
\n
• RAM中的SEU：栈或堆中的数据被改变。
\n
• 配置寄存器中的SEU：最可怕的情况——粒子可能翻转控制处理器或外设工作模式的位。
\n

一个来自真实太空的经典例子：2003年，火星全球探勘者号记录到一次由宇宙辐射引起的故障，导致闪存损坏和数据丢失。而家用微波炉在强发射器附近“失灵”的情况又有多少次？正因如此，代码抗辐射保护并非异想天开，而是严峻的必需。

方法1：“坚如磐石”的代码（软件级辐射加固）

最易实现的方式是编写能够自我保护的代码。编译器只是一个工具，但我们可以对其进行配置。

1.1. 三模冗余（TMR）——三重冗余

这是经典方法。你对关键数据或计算制作三个副本，然后按多数进行“投票”。如果一位被“翻转”，另外两位会将其“否决”。

我们实现一个简单的C++模板来保护单个整数：

#include <array>\n#include <cstdint>\n#include <algorithm>\n\ntemplate<typename T>\nclass RadiationHardenedValue {\nprivate:\n    std::array<T, 3> copies;\n\npublic:\n    explicit RadiationHardenedValue(T initial_value) {\n        copies.fill(initial_value);\n    }\n\n    // “多数投票”函数\n    T get() const {\n        // 三个值的最简单中值滤波\n        if (copies[0] == copies[1] || copies[0] == copies[2]) {\n            return copies[0];\n        }\n        if (copies[1] == copies[2]) {\n            return copies[1];\n        }\n        // 如果三个值都不同——严重错误\n        // 在实际代码中，这里应触发紧急警报\n        return copies[0]; // 至少返回一个值\n    }\n\n    void set(const T& new_value) {\n        copies[0] = new_value;\n        copies[1] = new_value;\n        copies[2] = new_value;\n    }\n\n    // 运算符