第4章 启动代码与中断向量表：MCU启动流程详解

MCU上电后到底发生了什么？很多人直接写main()，却不知道在那之前芯片已经执行了一大段“隐形代码”。我刚开始做嵌入式时，也以为启动文件是编译器自动搞定的，直到一次芯片死活跑不起来，才发现是中断向量表配错了。嗯，这章我们就把它彻底讲透。

4.1 MCU启动流程全景

先看整体流程。MCU从复位到进入main()，一般经历这么几步：

  1. 硬件复位：PC指针指向复位向量地址（通常是0x00000000或0x08000000）
  2. 读取向量表：从向量表取出栈顶指针SP和复位入口地址
  3. 初始化C运行时环境：清零BSS段、拷贝数据段
  4. 调用系统初始化：配置时钟、PLL、外设时钟使能
  5. 跳转main()：进入用户程序

核心要点：启动文件就是这段“隐形代码”的载体。它由汇编编写，在链接时被放在Flash的最前面。

我画了一张流程图，帮你把整个启动过程串起来：

MCU启动流程 硬件复位 读取向量表（SP + Reset_Handler） SystemInit() 时钟配置 C运行时初始化（BSS清零 + 数据段拷贝） 跳转 main() 用户程序运行 注意 不同MCU复位地址可能不同 ARM Cortex-M固定从0x00000000启动 STM32可通过BOOT引脚重映射

4.2 中断向量表的结构与配置

中断向量表说白了就是一个地址表。每个表项对应一个中断源，存放着该中断服务函数（ISR）的入口地址。ARM Cortex-M要求向量表的前两个条目必须是：

偏移地址 内容 说明
0x0000 初始栈顶指针 MSP 上电后SP自动加载此值
0x0004 复位入口 Reset_Handler PC跳转到此地址执行
0x0008 NMI_Handler 不可屏蔽中断
0x000C HardFault_Handler 硬件错误中断
0x0010~ 其他外设中断 按芯片手册排列

我曾经踩过的坑：有一次我把向量表放到了0x08000000，但链接脚本里没正确设置VECT_TAB_OFFSET，结果芯片一上电就跑飞了。后来查了三天才发现是向量表偏移没对齐——ARM要求向量表必须256字节对齐。

4.3 启动文件编写实战

以STM32为例，一个标准的启动文件包含以下部分。我个人习惯把启动文件拆成三段来写：

; 1. 定义栈空间和堆空间
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

; 2. 中断向量表
                AREA    RESET, DATA, READONLY
                EXPORT  __Vectors
                EXPORT  __Vectors_End
                EXPORT  __Vectors_Size

__Vectors       DCD     __initial_sp               ; 栈顶指针
                DCD     Reset_Handler               ; 复位入口
                DCD     NMI_Handler                 ; NMI
                DCD     HardFault_Handler           ; 硬错误
                DCD     MemManage_Handler           ; 内存管理
                DCD     BusFault_Handler            ; 总线错误
                DCD     UsageFault_Handler          ; 用法错误
                ; ... 其他中断按芯片手册填充
__Vectors_End

__Vectors_Size  EQU     __Vectors_End - __Vectors

; 3. 复位处理函数
                AREA    |.text|, CODE, READONLY
Reset_Handler   PROC
                EXPORT  Reset_Handler
                ; 初始化C运行时
                LDR     R0, =__main
                BX      R0
                ENDP

小技巧：你可以在启动文件中为每个中断都定义一个弱别名（WEAK），这样即使你忘了写某个中断的服务函数，链接器也不会报错，而是自动跳转到默认的无限循环函数。我所有项目都这么干，省了不少调试时间。

4.4 堆栈初始化细节

堆栈初始化是启动文件里最容易出问题的地方。说白了就两件事：

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

你想想看，如果栈空间设得太小，函数嵌套调用一深就栈溢出，程序会莫名其妙跑飞。我建议：

场景 建议栈大小 建议堆大小
简单控制（LED、按键） 0x200 ~ 0x400 0x100 ~ 0x200
带RTOS（FreeRTOS等） 0x800 ~ 0x1000 0x400 ~ 0x800
带文件系统/网络协议栈 0x2000 ~ 0x4000 0x1000 ~ 0x2000

经验之谈：我一般会在启动文件里加一个栈溢出检测钩子。在HardFault_Handler中检查SP是否低于__initial_sp - Stack_Size，如果是，基本可以断定是栈溢出了。这个技巧帮我定位过至少5个棘手的bug。

4.5 链接脚本与向量表的关系

启动文件写好了，还得告诉链接器怎么放。链接脚本（.ld或.scf）里必须保证向量表在Flash的最开头：

MEMORY
{
    FLASH (rx)  : ORIGIN = 0x08000000, LENGTH = 512K
    RAM   (rwx) : ORIGIN = 0x20000000, LENGTH = 128K
}

SECTIONS
{
    .isr_vector :
    {
        . = ALIGN(256);      /* 向量表256字节对齐 */
        KEEP(*(.isr_vector)) /* 保留向量表 */
        . = ALIGN(4);
    } > FLASH

    .text :
    {
        *(.text*)
        *(.rodata*)
    } > FLASH

    .data :
    {
        _sdata = .;
        *(.data*)
        _edata = .;
    } > RAM AT > FLASH

    .bss :
    {
        _sbss = .;
        *(.bss*)
        _ebss = .;
    } > RAM
}

注意：.isr_vector段必须放在第一个，而且要用KEEP()防止链接器优化掉。我曾经因为忘了加KEEP，结果生成的bin文件里向量表被丢掉了，芯片上电直接跑飞。嗯，那次加班到凌晨两点。

4.6 常见启动问题排查清单

最后，我整理了一份排查清单。你遇到启动问题可以按这个顺序查：

  1. 检查向量表首地址：用hexdump看bin文件前8字节是不是SP和Reset_Handler
  2. 检查栈指针值：SP必须在RAM范围内，且对齐到8字节
  3. 检查复位入口地址：Reset_Handler必须在Flash范围内，且是Thumb代码（地址最低位为1）
  4. 检查BSS段清零：未初始化的全局变量是否被正确清零
  5. 检查数据段拷贝：初始化过的全局变量是否从Flash拷贝到了RAM
  6. 检查时钟配置：SystemInit里是否配置了正确的时钟源和PLL参数

调试技巧：在Reset_Handler开头加一个GPIO翻转，用示波器看引脚电平变化。如果能看到脉冲，说明启动文件至少执行到了那里。这个方法比看代码快多了。

启动代码是整个嵌入式系统的地基。地基没打好，上面盖的楼再漂亮也白搭。我建议你每次新建项目时，都花10分钟仔细检查启动文件和链接脚本，别急着写业务代码。嗯，这10分钟省下来的调试时间，可能是好几天。

← 上一章 📖 返回目录 下一章 →