3. 向量表结构解析：栈顶指针、复位向量、异常入口地址的排列顺序与内存映射

中断向量表（Vector Table）是 ARM Cortex-M 系列处理器启动与异常处理的核心数据结构。它固定位于存储器的起始地址（通常为 0x00000000 或通过 VTOR 寄存器重映射后的地址），以表格形式定义了系统上电后的执行起点以及各类异常/中断的服务函数入口。理解向量表中栈顶指针、复位向量与各异常入口地址的排列顺序及内存映射关系，是进行嵌入式底层开发与调试的基础。

3.1 向量表的标准排列顺序

Cortex-M 处理器的向量表遵循 ARM 定义的统一规范。表格的第 0 项为栈顶指针（MSP 初始值），第 1 项为复位向量（Reset_Handler），从第 2 项开始依次排列各类异常与中断的入口地址。下表列出了 Cortex-M3/M4/M7 标准向量表的前 16 项（系统异常部分）的排列顺序：

偏移地址（字节）	向量表索引	异常类型	入口符号	优先级
0x0000_0000	0	栈顶指针（MSP 初始值）	__initial_sp	—
0x0000_0004	1	复位	Reset_Handler	-3（最高）
0x0000_0008	2	不可屏蔽中断（NMI）	NMI_Handler	-2
0x0000_000C	3	硬错误（HardFault）	HardFault_Handler	-1
0x0000_0010	4	存储器管理错误（MemManage）	MemManage_Handler	可编程
0x0000_0014	5	总线错误（BusFault）	BusFault_Handler	可编程
0x0000_0018	6	用法错误（UsageFault）	UsageFault_Handler	可编程
0x0000_001C	7	保留	—	—
0x0000_0020	8	保留	—	—
0x0000_0024	9	保留	—	—
0x0000_0028	10	保留	—	—
0x0000_002C	11	SVCall（系统服务调用）	SVC_Handler	可编程
0x0000_0030	12	调试监视器（DebugMon）	DebugMon_Handler	可编程
0x0000_0034	13	保留	—	—
0x0000_0038	14	PendSV（可挂起系统调用）	PendSV_Handler	可编程
0x0000_003C	15	SysTick（系统滴答定时器）	SysTick_Handler	可编程

3.2 内存映射与对齐要求

向量表在内存中的映射必须满足以下硬件约束：

• 基地址对齐： 向量表基地址必须按 512 字节对齐（即低 9 位为 0），这是 VTOR 寄存器位域定义的要求。
• 表项大小： 每个向量表项占用 4 字节（一个字），存储的是对应异常/中断服务函数的入口地址（函数指针）。
• 默认位置： 上电复位后，VTOR 寄存器复位值为 0x00000000，向量表默认位于 Flash 起始地址。
• 重映射能力： 通过设置 VTOR 寄存器，可将向量表重定位到 SRAM 或其它地址空间，用于动态更新中断入口。

3.3 向量表结构 SVG 示意图

下图展示了 Cortex-M 向量表从基地址开始的完整内存布局，包括栈顶指针、复位向量以及后续异常向量的排列关系：

3.4 栈顶指针与复位向量的特殊角色

在向量表中，前两项具有特殊的硬件加载行为，直接决定了处理器能否正常启动：

• 栈顶指针（MSP 初始值）：
  • 位于 0x0000_0000，必须是有效的 SRAM 地址空间内的值。
  • 复位后，处理器硬件自动将该值加载到主栈指针（MSP）寄存器。
  • 如果该值为非法地址（如指向 Flash 或外设区域），则无法进行正常的压栈/出栈操作，导致 HardFault。
• 复位向量（Reset_Handler）：
  • 位于 0x0000_0004，存储的是复位服务函数的入口地址。
  • 硬件加载该地址到 PC 寄存器时，会自动检查 LSB：必须为 1（表示 Thumb 指令集），否则触发硬件错误。
  • 实际跳转地址为 Reset_Handler & 0xFFFFFFFE，LSB 仅用于状态指示。

3.5 异常入口地址的编码规则

向量表中从第 2 项开始，存储的是各异常/中断服务函数的入口地址。这些地址在编译链接时由链接器确定，并遵循以下编码规则：

属性	规则说明
地址宽度	32 位，与处理器地址总线宽度一致
LSB 要求	必须为 1，表示 Thumb 状态；硬件在跳转时自动清除 LSB
存储内容	函数入口地址的绝对值（非偏移量）
对齐要求	函数代码至少按 2 字节对齐（半字对齐），实际通常按 4 字节对齐
默认值	未实现的中断入口默认指向 HardFault_Handler 或 Default_Handler

3.6 向量表在启动文件中的典型实现

以下代码展示了 ARM GCC 工具链下，STM32F4 系列处理器启动文件中向量表的定义方式。注意 __attribute__ ((section(".isr_vector"))) 将向量表放置在指定的链接段中：

/* 启动文件 startup_stm32f4xx.s 片段 */
.section .isr_vector, "a", %progbits
.type g_pfnVectors, %object
.size g_pfnVectors, .-g_pfnVectors

g_pfnVectors:
  .word __initial_sp                /* 0x0000_0000: 栈顶指针 */
  .word Reset_Handler               /* 0x0000_0004: 复位向量 */
  .word NMI_Handler                 /* 0x0000_0008: NMI */
  .word HardFault_Handler           /* 0x0000_000C: 硬错误 */
  .word MemManage_Handler           /* 0x0000_0010: 存储器管理错误 */
  .word BusFault_Handler            /* 0x0000_0014: 总线错误 */
  .word UsageFault_Handler          /* 0x0000_0018: 用法错误 */
  .word 0                           /* 0x0000_001C: 保留 */
  .word 0                           /* 0x0000_0020: 保留 */
  .word 0                           /* 0x0000_0024: 保留 */
  .word 0                           /* 0x0000_0028: 保留 */
  .word SVC_Handler                 /* 0x0000_002C: SVCall */
  .word DebugMon_Handler            /* 0x0000_0030: 调试监视器 */
  .word 0                           /* 0x0000_0034: 保留 */
  .word PendSV_Handler              /* 0x0000_0038: PendSV */
  .word SysTick_Handler             /* 0x0000_003C: SysTick */
  /* 后续为外部中断向量，从 0x0000_0040 开始 */

3.7 向量表重映射与 VTOR 寄存器

Cortex-M3/M4/M7 处理器提供了向量表偏移寄存器（VTOR），允许在运行时将向量表重定位到其它地址。VTOR 寄存器的位域定义如下：

位域	名称	功能描述
[31:9]	TBLBASE	向量表基地址的高 23 位，低 9 位硬件强制为 0（512 字节对齐）
[8:7]	保留	必须保持为 0
[6:0]	保留	必须保持为 0

VTOR 寄存器的典型应用场景包括：

• Bootloader 跳转： Bootloader 在跳转到应用程序前，将 VTOR 设置为应用程序向量表的基地址（如 0x0801_0000）。
• 动态更新中断： 将向量表复制到 SRAM 中，修改特定中断入口后更新 VTOR，实现运行时中断重定向。
• 双区备份： 在支持双 Bank 的 MCU 上，通过切换 VTOR 实现在两个固件版本间无缝切换。

3.8 向量表结构验证流程

在调试过程中，建议按照以下步骤验证向量表结构的正确性：

1. 检查链接映射文件（.map）： 确认 g_pfnVectors 符号的地址是否为预期的 Flash 起始地址。
2. 检查栈顶指针值： 在内存窗口查看 0x08000000 处的值，确认其落在 SRAM 地址范围内（如 0x2000xxxx）。
3. 检查复位向量值： 查看 0x08000004 处的值，确认 LSB 为 1，且地址指向 Reset_Handler 函数。
4. 检查默认中断处理： 确认未使用的中断向量指向 Default_Handler 或 HardFault_Handler，避免悬空指针。
5. 验证 VTOR 配置： 如果使用了 Bootloader，在应用程序入口处读取 VTOR，确认其值正确。