4、内存资源管理：RAM/ROM规划、静态内存分配、动态内存分配策略、内存碎片避免

各位，咱们今天聊聊内存。安全气囊系统里，内存就是命根子。RAM和ROM怎么分，静态还是动态，碎片怎么防——这些搞不好，系统随时可能罢工。我做了十几年气囊软件，见过太多因为内存规划翻车的案例。今天我把压箱底的经验掏出来，咱们一条条捋清楚。

4.1 RAM/ROM规划：先把家底摸清楚

规划内存，说白了就是分地盘。ROM放代码和常量，RAM放变量和堆栈。但怎么分，有讲究。

ROM规划要点：

• 代码段（.text）：算法、诊断、通信协议。我习惯把最关键的碰撞算法放在ROM的低地址区，访问速度快。
• 常量段（.rodata）：标定参数、查表数据。比如气囊点火阈值表，我建议用const修饰，强制放ROM。
• 启动代码段（.boot）：引导加载程序。这个要单独分区，防止被意外覆盖。

RAM规划要点：

• 全局变量区（.data/.bss）：系统状态、传感器数据。我见过有人把大数组放这里，结果栈溢出了——嗯，要注意。
• 栈区（Stack）：函数调用、局部变量。安全气囊的ISR（中断服务程序）嵌套很深，栈空间至少留2KB。
• 堆区（Heap）：动态分配用。说实话，我尽量不用堆，原因后面讲。

4.2 静态内存分配：稳，但不够灵活

静态分配，就是编译时就定好所有变量的大小和位置。优点很明显：确定性强，没有运行时开销。缺点嘛——你想想看，如果某个缓冲区平时只用一半，另一半就白白浪费了。

我推荐的做法：

• 核心算法变量：全部静态分配。比如碰撞判定用的状态机变量，必须固定地址。
• 通信缓冲区：用静态环形缓冲区。我习惯定义成全局数组，用头尾指针管理。
• 查表数据：用const数组放ROM，运行时直接访问。

/* 静态分配示例：气囊点火判定状态机 */
typedef enum {
    STATE_IDLE,
    STATE_PRE_ARM,
    STATE_ARMED,
    STATE_FIRED
} AirbagState_t;

static AirbagState_t g_state = STATE_IDLE;  /* 固定地址 */
static uint32_t g_crash_counter = 0;        /* 碰撞计数 */

void Airbag_Init(void) {
    g_state = STATE_IDLE;
    g_crash_counter = 0;
}

4.3 动态内存分配：用，但要小心

动态分配，就是运行时从堆里申请内存。C语言里用malloc/free，C++用new/delete。安全气囊系统里，我原则上不建议用。为什么？

• 不确定性：malloc可能失败，返回NULL。你处理不处理？不处理直接崩。
• 碎片问题：频繁申请释放，堆会变成蜂窝煤。后面专门讲。
• 实时性差：malloc内部有锁，中断里调用可能死锁。

但有些场景不得不用。比如配置信息长度不确定，或者需要动态创建任务。这时候怎么办？

我的策略：

1. 启动时一次性分配：系统初始化时把所有可能用到的内存都申请好，之后不再释放。这叫“静态池”思想。
2. 固定大小块分配：不用标准malloc，自己实现一个伙伴系统或slab分配器。每个块大小固定，比如16字节、32字节、64字节。
3. 禁止在中断中分配：中断服务程序里绝对不要调用malloc。我曾经见过一个同事在ISR里new对象，结果死锁，整个系统挂掉——教训深刻。

/* 简单固定块分配器示例 */
#define BLOCK_SIZE 64
#define BLOCK_NUM  16

static uint8_t g_pool[BLOCK_SIZE * BLOCK_NUM];
static uint32_t g_bitmap = 0;  /* 位图标记空闲块 */

void* FixedAlloc(void) {
    for (int i = 0; i < BLOCK_NUM; i++) {
        if (!(g_bitmap & (1 << i))) {
            g_bitmap |= (1 << i);
            return &g_pool[i * BLOCK_SIZE];
        }
    }
    return NULL;  /* 没有空闲块 */
}

void FixedFree(void* ptr) {
    int index = ((uint8_t*)ptr - g_pool) / BLOCK_SIZE;
    g_bitmap &= ~(1 << index);
}

4.4 内存碎片避免：别让堆变成蜂窝煤

内存碎片分两种：外部碎片和内部碎片。外部碎片是空闲块不连续，总空间够但申请不到大块。内部碎片是分配块比实际需求大，浪费空间。

为什么会碎片？ 说白了就是申请和释放的顺序乱了。比如先申请A(10字节)、B(20字节)、C(30字节)，然后释放B，再申请D(25字节)。D放不进B的空位，只能往后找，中间就留下一个20字节的洞。

我的避坑指南：

• 尽量不用动态分配：这是最根本的办法。能用静态就用静态。
• 如果非用不可，用固定大小块：上面说的slab分配器，所有块一样大，永远不会产生外部碎片。
• 避免频繁分配释放：把多次小分配合并成一次大分配。比如通信协议里，一次收完所有数据再处理，不要收一个字节申请一次。
• 定期整理堆：有些RTOS提供堆整理函数，但整理期间不能分配释放。安全气囊系统里，我建议在系统空闲时做。

4.5 总结与建议

内存管理没有银弹。我的经验是：

场景	推荐策略	原因
核心算法变量	静态分配	确定性强，无运行时开销
通信缓冲区	静态环形缓冲区	避免动态分配，实时性好
配置信息	启动时一次性分配	避免碎片，失败可提前处理
临时数据	栈上分配（局部变量）	自动释放，无碎片问题

最后说一句：安全气囊系统里，内存资源是有限的，但安全要求是无限的。规划时多花点心思，运行时就能少出点问题。你想想看，如果因为内存碎片导致气囊该爆的时候没爆——那后果，谁担得起？