ARM ABI全局变量访问机制及Cortex-M3栈指针使用疑问

Cortex-M 遵循的ARM ABI中全局变量的访问规则 #

Cortex-M3 属于ARMv7-M架构，遵循AAPCS（ARM架构过程调用标准，即ARM嵌入式ABI），全局变量访问逻辑和MSP/PSP两个栈指针没有任何绑定关系：

• 所有全局变量在链接阶段就会被分配固定的全局内存地址：初始化值非零的全局变量存在.data段，未初始化/初始值为0的存在.bss段，const修饰的全局常量存在.rodata段，这些段都属于全局地址空间，不属于任何栈的私有内存。
• 全局变量寻址完全不依赖栈空间：
  • 地址范围较小时直接用PC相对寻址，指令里直接编码当前指令到全局变量地址的偏移，直接算出地址访问。
  • 地址范围大或者编译位置无关代码时，全局变量的绝对地址会存在代码段旁边的**常量池（Literal Pool）**里，还是通过PC相对寻址从常量池读出地址再访问，整个过程不需要读写栈内存。
• 栈的作用只有保存函数调用上下文、局部变量、临时寄存器备份，从来不会用来存放全局变量的寻址偏移或者地址。

对你提出的三个观点的正误判定 #

1. 「全局变量通过相对寻址访问，对应的相对地址会被存放在使用主栈指针（MSP）的主栈上」 #

结论：完全错误
前面已经明确，全局变量寻址用到的偏移、绝对地址要么直接编在指令里，要么存在代码段附属的常量池，根本不会存到MSP指向的主栈上，这个假设和实际ABI规范完全不符。

2. 「使用PSP的线程代码永远无法访问这些全局变量」 #

结论：完全错误
MSP和PSP只是两个栈指针，只有执行PUSH/POP、中断自动压栈这类栈操作时才会被硬件自动选用，普通的内存加载/存储指令根本不关心当前活跃的栈指针是哪一个。只要全局变量所在内存有访问权限，不管当前用MSP还是PSP，都可以正常读写全局变量。

3. 「调用这些函数时我需要切换到MSP，运行线程时再切回PSP」 #

结论：完全错误，属于完全走偏的排查方向
Cortex-M的标准多任务设计就是线程运行时全程用PSP，中断、内核逻辑用MSP，线程调用普通应用函数、访问全局变量完全不需要切换栈指针，强行来回切换反而会破坏线程栈上的上下文数据，引发更严重的崩溃。

访问异常的常见排查方向 #

你遇到的内存访问故障和栈指针选型无关，优先从下面几个方向查：

• 查线程栈溢出：你给线程分配的PSP栈空间如果太小，函数调用时栈增长超出分配范围，会冲掉栈上保存的返回地址、指针变量，直接触发非法访问。
• 查启动流程和链接脚本：确认链接脚本给.data、.bss段分配的地址属于可读写的RAM区间，启动文件里有没有正确完成.data段从Flash到RAM的拷贝、.bss段的零初始化，段没加载对的话所有全局变量访问都会出错。
• 查MPU配置：如果你开启了内存保护单元，要确认线程运行的非特权模式下，全局变量所在的RAM区域有没有开放非特权访问权限，很多人配置MPU时只给特权级开放RAM权限，非特权态线程一访问就触发MemManage错误。
• 查上下文切换逻辑：确认线程切换时所有核心寄存器的保存、恢复流程没有问题，不要出现寄存器值被篡改导致寻址落到非法地址空间的情况。

内容的提问来源于stack exchange，提问作者Michael Stachowsky