4. 启动流程与链接脚本：MCU上电启动流程（Bootloader到main）、链接脚本（.ld文件）解析、堆栈设置与内存布局
很多工程师写了好几年嵌入式代码，却从来没仔细看过芯片上电后到底干了什么。说白了，就是不知道从复位到 main() 之间那几百微秒发生了什么。我个人习惯，拿到一个新平台，第一件事就是看它的启动文件和链接脚本。这俩东西搞明白了，你才算真正掌控了这块芯片。
4.1 MCU上电启动流程：从复位向量到main()
MCU上电后，硬件自动做三件事：
- 从 0x00000000 取栈顶指针（MSP）
- 从 0x00000004 取复位向量（Reset_Handler 地址）
- 跳转到 Reset_Handler 执行
嗯，这里要注意——Cortex-M 系列和 ARM7/9 不一样。Cortex-M 的向量表第一个字是栈顶，第二个字才是复位入口。我在项目中遇到过有人把 ARM9 的启动代码直接搬到 M4 上，结果一上电就跑飞了。
Reset_Handler 里通常做这几步：
- 关闭全局中断
- 拷贝 .data 段从 Flash 到 RAM
- 清零 .bss 段
- 初始化系统时钟（PLL、分频器）
- 调用 SystemInit()
- 跳转到 main()
关键点： 从复位到 main() 之前，不能依赖任何全局变量的值。因为 .data 还没拷贝完，.bss 还没清零。我见过有人在这里踩坑——在 SystemInit() 里用了一个全局标志位，结果读出来是随机值。
你想想看，如果芯片上电后直接跑 main()，全局变量全是乱的，程序根本没法工作。所以启动代码就是做这些"打扫卫生"的工作。
4.2 链接脚本（.ld文件）深度解析
链接脚本，说白了就是告诉链接器：你的代码放哪，数据放哪，堆栈放哪。很多新手觉得这玩意儿是编译器自动生成的，不用管。其实不然——我调过不少内存越界、堆栈溢出的问题，最后根因都在链接脚本上。
一个典型的 .ld 文件结构如下：
ENTRY(Reset_Handler)
MEMORY
{
FLASH (rx) : ORIGIN = 0x08000000, LENGTH = 512K
RAM (rwx) : ORIGIN = 0x20000000, LENGTH = 128K
}
SECTIONS
{
.text :
{
KEEP(*(.isr_vector))
*(.text*)
*(.rodata*)
_etext = .;
} > FLASH
.data : AT(_etext)
{
_sdata = .;
*(.data*)
_edata = .;
} > RAM
.bss :
{
_sbss = .;
*(.bss*)
_ebss = .;
} > RAM
}我来拆解一下：
| 关键字 | 含义 | 我的经验 |
|---|---|---|
| ENTRY | 程序入口点 | 一般就是 Reset_Handler |
| MEMORY | 定义物理存储区域 | 注意 Flash 和 RAM 的地址范围别写错 |
| SECTIONS | 定义段的布局 | .text 放代码，.data 放初始化数据，.bss 放零初始化数据 |
| AT() | 指定加载地址（LMA） | .data 的 LMA 在 Flash，VMA 在 RAM |
小技巧： 用 _sdata、_edata、_sbss、_ebss 这些符号，启动代码里可以直接引用它们的地址。我习惯在链接脚本里多定义几个这样的符号，方便调试时查看内存布局。
4.3 堆栈设置与内存布局
堆栈设置是启动流程里最容易出问题的地方。我曾经在一个 STM32F4 项目上，把堆大小设成了 0，结果 malloc 一调用就死机。排查了半天才发现是链接脚本里堆的定义被注释掉了。
堆栈在链接脚本里通常这样定义：
_estack = ORIGIN(RAM) + LENGTH(RAM); /* 栈顶在 RAM 末尾 */
SECTIONS
{
/* ... 其他段 ... */
.heap (COPY) :
{
. = ALIGN(4);
_sheap = .;
. = . + HEAP_SIZE;
_eheap = .;
} > RAM
.stack (COPY) :
{
. = ALIGN(4);
_sstack = .;
. = . + STACK_SIZE;
_estack = .;
} > RAM
}内存布局的典型结构：
- Flash 区：向量表 → .text（代码） → .rodata（常量） → .data 的初始值
- RAM 区：.data（全局变量） → .bss（零初始化变量） → 堆（heap） → 栈（stack）
警告： 堆和栈的生长方向是相反的。堆向上增长，栈向下增长。如果堆栈设置不合理，它们会在中间撞上——这就是经典的"堆栈碰撞"问题。我建议堆和栈之间至少留 1KB 的"安全缓冲区"。
为什么会发生堆栈碰撞？你想想看，如果递归调用太深，栈一直往下压；同时 malloc 频繁分配，堆一直往上顶。总有一天它们会相遇。那时候程序就挂了，而且很难复现。
我个人习惯的做法：
- 栈大小：根据最大中断嵌套深度 + 任务栈需求，再上浮 30%
- 堆大小：如果不用动态内存，直接设为 0
- 在启动代码里加一段"栈填充"逻辑：用 0xDEADBEEF 填充栈空间，运行时定期检查栈使用情况
调试技巧： 在启动代码里加一个 GPIO 翻转，从复位到 main() 之前拉高，进入 main() 后拉低。用示波器量一下这个脉冲宽度，就能精确知道启动耗时。我一般要求启动时间控制在 5ms 以内，超过这个值就要优化了。
最后说一句，链接脚本不是写一次就完事的。项目迭代过程中，内存需求会变。我建议每次发布前都检查一下 .map 文件，看看各段实际占用了多少空间，堆栈有没有溢出风险。这个习惯能帮你省下不少调试时间。