32位整数溢出：DOOM隐藏2.5年的崩溃陷阱揭秘

原创于 2026-02-05 02:01:58 发布 · 962 阅读

本内容遵循CC 4.0 BY-SA版权协议

1. 什么是32位整数溢出？从DOOM的崩溃说起

你可能听说过"整数溢出"这个词，但真正理解它的人并不多。简单来说，就像汽车的里程表，当它跑到999999公里后，再开一公里就会归零重新开始。在计算机世界里，32位整数就像一个只能显示8位数字的里程表，当数值超过2147483647这个上限时，就会突然变成-2147483648。

这个现象在DOOM游戏中造成了有趣的后果。游戏中使用了一个叫做gametic的计时器变量，它以每秒35次的速度递增，记录游戏内的时间流逝。开发者John Carmack当年就知道这个变量理论上会溢出，但他觉得没人会连续玩两年多的游戏，所以就没处理这个边界情况。

没想到真的有人这么做了！极客Minki用了台2003年的华硕MyPal A620掌机，装上WinDOOM移植版，连接自制UPS电源，让游戏连续运行了整整2.5年，最终成功触发了这个隐藏的崩溃陷阱。

2. 深入解析DOOM的崩溃机制

2.1 gametic计时器的工作原理

gametic是DOOM引擎中的核心计时器，它不依赖于游戏的渲染循环，而是以固定的35Hz频率递增。这意味着无论游戏帧率如何，这个计时器都在稳定地计数。这种设计保证了游戏逻辑的时间一致性，但也埋下了长时运行的隐患。

在代码层面，gametic被定义为有符号的32位整数。这种数据类型使用最高位表示正负号，剩余31位表示数值，所以最大能表示的正数是2^31-1，也就是2147483647。当数值达到这个上限后，再加1就会发生溢出。

// DOOM源码中的类似实现
int gametic = 0;  // 32位有符号整数

// 游戏循环中每秒调用35次
void UpdateGameLogic() {
    gametic++;  // 每次增加1
    // ...其他游戏逻辑
}

2.2 溢出发生的具体过程

让我们仔细计算一下崩溃发生的时间线。gametic每秒增加35次，那么：

每分钟增加：35 × 60 = 2100
每小时增加：2100 × 60 = 126,000
每天增加：126,000 × 24 = 3,024,000
每年增加：3,024,000 × 365 ≈ 1,103,760,000

要达到2147483647这个上限，需要的时间是： 2147483647 ÷ (35 × 60 × 60 × 24 × 365) ≈ 1.95年

但为什么实际运行了2.5年才崩溃呢？这是因为溢出后的行为比想象中复杂。当gametic变成负数后，游戏不会立即崩溃，而是继续运行一段时间，直到某个特定的比较操作触发了异常。

3. 整数溢出的普遍性与影响

3.1 为什么这类bug如此常见

整数溢出在老旧软件中特别常见，主要原因有几个。首先是开发者的假设偏差：90年代的开发者很难想象用户会让程序连续运行数年。其次是硬件限制：当时的内存和存储资源极其宝贵，使用32位整数是最经济的选择。

更重要的是测试的局限性。要测试这种边界情况，需要让程序运行近两年时间，这在开发周期内是完全不现实的。即使使用时间加速测试，也往往忽略了真实硬件环境下的各种复杂因素。

我在处理遗留系统时经常遇到类似问题。有一次维护一个金融系统，里面的交易计数器也是32位整数，客户运行了十几年都没问题，直到某天突然开始出现诡异的负余额。排查了好久才发现是计数器溢出了，幸好发现得早，否则后果不堪设想。

3.2 其他游戏中的类似案例

DOOM不是唯一有这种问题的游戏。《古惑狼3》的计时系统也有个不断递增的int32计数器，只有在角色死亡时才会归零。如果一直运行下去，2.26年后同样会溢出。

更有趣的是《最终幻想9》的例子。游戏中有把隐藏武器，要求必须在游戏时间不到12小时的情况下赶到后期地图才能拿到。有玩家发现，如果把游戏放着不管，两年多之后计时器自己溢出归零，就能轻松拿到这把武器。这可能是游戏史上最需要耐心的"彩蛋"了。

4. 现代开发中的防护措施

4.1 检测和预防整数溢出

在现代软件开发中，我们有多种方法来避免整数溢出问题。最简单的方法是使用更大的数据类型，比如64位整数。现在的硬件条件已经允许我们使用更宽的数据类型，而不用担心资源浪费。

// 现代C/C++中的安全做法
#include <cstdint>
int64_t gametic = 0;  // 64位整数，能坚持几百万年

// 或者使用安全库函数
#include <safeint.h>
msl::utilities::SafeInt<int32_t> safe_gametic;

另一种方法是添加边界检查：

void SafeIncrement(int32_t* value) {
    if (*value < INT32_MAX) {
        (*value)++;
    } else {
        // 处理溢出情况，比如重置或者报错
        HandleOverflow();
    }
}