嵌入式开发skill实战：如何解决内存碎片化与实时性挑战

2次阅读

共计 1783 个字符，预计需要花费 5 分钟才能阅读完成。

在运行 FreeRTOS 的 STM32F4 平台上，我们曾遇到一个典型场景：系统连续运行 72 小时后，原本响应时间稳定的 20ms 关键任务开始出现 50-200ms 的随机延迟。通过内存日志分析发现：

频繁分配 / 释放 16-64KB 的通信缓冲区块
剩余堆内存显示充足（>30%），但无法分配连续 32KB 空间
任务阻塞在 vPortMalloc()中的合并检查逻辑

维度	标准 malloc/free	定制内存池方案
分配耗时	50-200us（含碎片检查）	固定 8 -12us
确定性	不可预测	严格 O(1)复杂度
碎片率	随运行时间线性增长	零碎片（预分配）
内存开销	最低 2 字节 / 块	8 字节 / 块管理头
适用场景	通用程序	固定尺寸内存请求

在 portable/MemMang/heap_4.c 中新增内存池初始化函数：

#define POOL_BLOCK_SIZE  32  // 对齐到 CPU 缓存行(64 字节)
#define POOL_NUM_BLOCKS  16  // 根据业务需求调整

typedef struct {uint8_t *freeStack[POOL_NUM_BLOCKS];
    int16_t stackTop;
    StaticSemaphore_t sem;
    SemaphoreHandle_t lock;
} MemPool_t;

void vInitMemPool(MemPool_t *pool) {
    pool->stackTop = POOL_NUM_BLOCKS - 1;
    for(int i=0; i<POOL_NUM_BLOCKS; i++) {pool->freeStack[i] = pvPortMalloc(POOL_BLOCK_SIZE);
        configASSERT(pool->freeStack[i]);
    }
    pool->lock = xSemaphoreCreateMutexStatic(&pool->sem);
}

void* pvPoolAlloc(MemPool_t *pool) {
    void *ret = NULL;
    if(xSemaphoreTake(pool->lock, pdMS_TO_TICKS(10)) == pdTRUE) {if(pool->stackTop >= 0) {ret = pool->freeStack[pool->stackTop--];
        }
        xSemaphoreGive(pool->lock);
    }
    configASSERT(((uint32_t)ret % POOL_BLOCK_SIZE) == 0); // 对齐检查
    return ret;
}

void vPoolFree(MemPool_t *pool, void *ptr) {configASSERT(ptr != NULL);
    if(xSemaphoreTake(pool->lock, 0) == pdTRUE) {if(pool->stackTop < (POOL_NUM_BLOCKS-1)) {pool->freeStack[++pool->stackTop] = ptr;
        } else {vPortFree(ptr); // 防御性设计
        }
        xSemaphoreGive(pool->lock);
    }
}

使用 Saleae Logic Pro 16 捕获 GPIO 翻转信号，测试 1000 次分配 / 释放操作：