把C语言运行在8KB RAM的MCU上：资源极限压榨的代码优化全流程

8KB RAM的MCU常见于Cortex-M0/M0+、部分低成本STM32C0/G0以及8位器件。RAM预算要先按“.data+.bss+栈+堆”四块算账：全局/静态进.bss或.data，局部进栈，动态进堆，外设缓冲单独列。优化目标不是“能编过”，而是留出安全余量，避免运行期静默溢出。

一、先砍动态分配

小RAM裸机尽量不用malloc。标准堆会产生元数据、碎片和不确定时延，8KB里开几百字节堆很可能不够用。直接把堆设为0，所有缓冲静态化。

#define POOL_BLOCK 32u

#define POOL_COUNT 8u

static uint8_t mem_pool[POOL_BLOCK*POOL_COUNT];

static uint8_t mem_used[POOL_COUNT];

void *pool_alloc(void){

   for(uint8_t i=0;i<POOL_COUNT;i++){

       if(!mem_used[i]){ mem_used[i]=1; return &mem_pool[i*POOL_BLOCK]; }

   }

   return 0;

}

void pool_free(void *p){

   uint8_t i=((uint8_t*)p-mem_pool)/POOL_BLOCK;

   if(i<POOL_COUNT) mem_used[i]=0;

}

固定块池分配O(1)、无碎片，适合串口帧、协议包、传感器缓存复用。

二、数据结构按“位”和“对齐”省

多状态标志用位域，别用int标志堆一排：

typedef struct{

   uint8_t power_on:1;

   uint8_t comm_err:1;

   uint8_t mode:2;      // 0~3

   uint8_t retry:3;     // 0~7

   uint8_t reserved:1;

}dev_flag_t;

结构体成员按“大类型在前、小类型在后”排列，减少填充；互斥数据用union共享缓冲，比如OTA收包缓冲和日志缓冲不会同时工作，可合并一块。

union buf_union{

   uint8_t uart_rx[256];

   uint8_t ota_block[256];

};

static union buf_union g_buf;

只读表、配置、字符串全部加const，必要时指定Flash段，避免进RAM。普通字符串日志在调试版可留，发布版用宏关掉。

三、环形缓冲与中断解耦

串口、CAN接收建议2的幂环形缓冲，中断只存原始字节，主循环解析：

#define RB_SZ 128u

#define RB_MSK (RB_SZ-1u)

static uint8_t rb[RB_SZ];

static volatile uint16_t head,tail;

void rb_isr_put(uint8_t d){

   uint16_t n=(head+1)&RB_MSK;

   if(n!=tail){ rb[head]=d; head=n; }

}

int rb_get(uint8_t *d){

   if(head==tail) return -1;

   *d=rb[tail]; tail=(tail+1)&RB_MSK; return 0;

}

高波特率可再套DMA循环缓冲，中断只搬批量数据，降低CPU抢占导致的丢包。

四、日志和C库裁剪

标准printf在小型MCU可能占数KB Flash，栈上临时缓冲也会吃RAM。只输出整数/十六进制时，自制轻量log：

static void log_u32(uint32_t v){

   char s[10]; uint8_t i=0;

   if(!v){ uart_put('0'); return; }

   while(v&&i<10){ s[i++]='0'+(v%10); v/=10; }

   while(i) uart_put(s[--i]);

}

#ifdef DBG

#define LOG(...) printf(__VA_ARGS__)

#else

#define LOG(...)

#endif

发布版彻底不链printf浮点，用nanoprintf或tiny-printf替代全功能库，可显著省Flash和栈。

五、编译、链接、map三步闭环

GCC建议：

CFLAGS += -Os -flto -ffunction-sections -fdata-sections -fno-common

LDFLAGS += -Wl,--gc-sections -Wl,-Map=out.map

-Os控尺寸，-flto跨文件删死代码，-ffunction/sections加--gc-sections清未用函数数据。编译后用size看text/data/bss，用map按符号排序找大头：

arm-none-eabi-size firmware.elf

nm --size-sort firmware.elf | tail -20

栈通过启动文件配固定值，用-Wstack-usage查函数峰值；8KB总RAM可尝试栈256~512字节、堆0，其余给.bss/.data和静态缓冲。别盲目加大栈，也别为省几十字节把栈设到局部数组会溢出。

六、落地顺序

先map定位最大数组和库函数，再把动态改静态池，随后压结构体/位域/union，再裁printf和const常量，最后开-Os+gc-sections复测。按这个流程，原本“8KB不够用”的串口+传感器+小协议栈项目，通常能把RAM峰值压到5~6KB，留出中断和栈安全垫。