📚 课程目录第2章 MCU启动流程深度解析

2. MCU启动流程深度解析：复位向量表、堆栈初始化、C运行时环境、跳转到main函数

大家好，我是你们的嵌入式讲师。今天我们来聊聊MCU上电后，在进入你的main函数之前，到底发生了什么。很多同学写了几年嵌入式代码，却从来没关心过启动文件里的那几行汇编。说实话，这就像你开着一辆车，却从没打开过引擎盖看看发动机长什么样。

我曾经带过一个项目，Bootloader死活跳不到应用程序。查了三天，最后发现是向量表偏移没设对。从那以后，我要求团队里每个人必须把启动流程吃透。今天这一章，我们就把它彻底讲明白。

2.1 复位向量表：MCU的“第一行代码”

MCU上电复位后，CPU会去一个固定的地址取第一条指令。这个地址，就是复位向量。而所有异常和中断的入口地址，都放在一张表里——向量表。

核心要点： Cortex-M系列内核的向量表，第一个字（地址偏移0x0000）存放栈顶指针，第二个字（地址偏移0x0004）存放复位向量（即复位后第一条指令的地址）。

为什么第一个字是栈顶指针？因为CPU复位后，硬件会自动从0x0000地址加载MSP（主栈指针），然后才去0x0004取PC（程序计数器）的值。这是硬件设计好的流程，你没法改。

我习惯把向量表放在Flash的最开头。比如STM32，默认就是0x08000000。你打开启动文件，会看到类似这样的定义：

__Vectors       DCD     __initial_sp          ; 栈顶指针
                DCD     Reset_Handler         ; 复位向量
                DCD     NMI_Handler           ; NMI中断
                DCD     HardFault_Handler     ; 硬错误
                ; ... 其他中断向量

每个向量占4字节。整个向量表的大小，取决于你芯片支持多少个中断源。Cortex-M3/M4通常支持240多个外部中断，加上系统异常，总共大概256个向量，也就是1KB左右。

个人习惯： 我写Bootloader时，会在应用程序的向量表前加一个偏移量。比如Bootloader占32KB，那应用程序的向量表就从0x08008000开始。这时候必须设置SCB->VTOR寄存器，告诉CPU向量表搬家了。否则，一旦发生中断，CPU会跑到Bootloader的向量表里取地址——后果就是程序跑飞。

2.2 堆栈初始化：给C语言搭好“舞台”

复位后，硬件自动加载了栈顶指针。但这只是第一步。C语言运行需要两个关键区域：堆（Heap）和栈（Stack）。

栈：用于函数调用、局部变量、中断现场保护。向下增长。
堆：用于动态内存分配（malloc/free）。向上增长。

启动文件里，你会看到这样的代码：

; 栈配置
Stack_Size      EQU     0x00000400

                AREA    STACK, NOINIT, READWRITE, ALIGN=3
Stack_Mem       SPACE   Stack_Size
__initial_sp

; 堆配置
Heap_Size       EQU     0x00000200

                AREA    HEAP, NOINIT, READWRITE, ALIGN=3
__heap_base
Heap_Mem        SPACE   Heap_Size
__heap_limit

这里有个坑，我踩过不止一次。栈大小设多少合适？设小了，函数嵌套深一点就栈溢出；设大了，RAM浪费。我的经验是：先估算，再实测。

避坑指南： 我曾经在一个RTOS项目里，把任务栈设成了128字节，觉得够用。结果系统跑着跑着就HardFault。查了两天，发现是某个函数里定义了一个64字节的局部数组，加上嵌套调用，栈直接爆了。从那以后，我每个任务栈至少给256字节，关键任务给512字节。调试阶段，我会在栈区填充0xDEADBEEF，跑一段时间后检查栈顶是否被改写——这个方法很土，但很有效。

2.3 C运行时环境：让全局变量“活过来”

栈和堆准备好了，但C语言还需要一个东西——运行时环境。说白了，就是让全局变量、静态变量、常量这些数据，在内存里各就各位。

启动文件里，复位向量调用的第一个C函数通常是SystemInit，然后才是__main（注意，不是你的main函数）。__main是编译器提供的C库函数，它负责三件事：

拷贝数据段： 把Flash里初始化的全局变量，拷贝到RAM里。
清零BSS段： 把未初始化的全局变量（默认值为0）所在的RAM区域清零。
初始化堆： 设置堆的起始地址和结束地址，准备好malloc/free。

对应的链接脚本（.ld文件或.sct文件）里，会定义这些段的起始和结束地址：

/* 链接脚本片段 */
.text :
{
    *(.text)           /* 代码段 */
    *(.rodata)         /* 只读数据段 */
} > FLASH

.data :
{
    _sdata = .;
    *(.data)           /* 初始化数据段 */
    _edata = .;
} > RAM AT> FLASH

.bss :
{
    _sbss = .;
    *(.bss)            /* 未初始化数据段 */
    _ebss = .;
} > RAM

你想想看，如果没有这一步，你在代码里写的int global_var = 100;，上电后global_var的值可能是随机的。C语言标准要求全局变量在main执行前必须初始化好，这就是运行时环境存在的意义。

关键点： 如果你的Bootloader要跳转到应用程序，跳转前必须确保应用程序的运行时环境没有被破坏。我通常会在跳转前关闭所有中断、恢复外设到复位状态，然后通过一个函数指针跳转到应用程序的复位向量。跳转后，应用程序的启动文件会重新初始化自己的运行时环境。

2.4 跳转到main函数：最后的“接力棒”

运行时环境准备好后，__main会调用你的main函数。但这里有一个细节：__main并不是直接跳转，而是先调用__rt_entry，再由__rt_entry调用main。

为什么多这一层？因为__rt_entry负责初始化C库的运行时环境，比如浮点运算支持、多线程支持等。如果你的程序用不到这些，可以跳过，直接跳转到main。但我不建议这么做——除非你非常清楚自己在干什么。

整个启动流程，可以用下面这张图来总结：

嗯，这里要注意。如果你的芯片支持从RAM启动（比如调试时），向量表的位置会不同。但原理是一样的：CPU总是从向量表里取栈顶指针和复位向量。

2.5 实战中的常见陷阱

讲完了理论，我分享几个实战中遇到的坑，你们以后遇到了能少走弯路。

陷阱	现象	原因	解决方案
栈溢出	程序跑飞、HardFault	栈大小设置不足，或函数嵌套过深	增大栈空间；检查递归调用；用0xDEADBEEF填充栈区监控
向量表偏移未设置	中断不响应、程序跑飞	Bootloader跳转后，VTOR未更新	跳转前设置SCB->VTOR = 应用程序向量表基址
全局变量未初始化	变量值随机，逻辑异常	启动文件未正确拷贝.data段或清零.bss段	检查链接脚本中数据段的加载地址（LMA）和执行地址（VMA）
中断未关闭就跳转	应用程序启动时触发意外中断	Bootloader中使能的中断未关闭	跳转前关闭所有中断，并清除挂起标志

避坑指南： 我曾经在做一个OTA升级项目时，Bootloader跳转到新固件后，系统一直复位。查到最后发现，Bootloader里开了SysTick中断，跳转前没关。新固件的向量表里，SysTick的中断服务函数地址是0（未初始化），CPU一进去就触发HardFault，然后复位。从那以后，我写跳转代码时，都会先执行一个__disable_irq()，再手动复位所有外设。

2.6 小结

MCU的启动流程，说白了就是硬件和软件之间的一次“握手”。硬件负责把CPU带到复位向量，软件负责把C语言的世界搭建好。你理解了这一章，后面讲Bootloader移植时，就能明白为什么跳转前要做那么多“清理工作”。