ARM Cortex-M 双堆栈指针（MSP 与 PSP）硬件隔离与 RTOS 任务隔离实战

在 ARM Cortex-M（M0/M3/M4/M7/M33）微控制器的体系结构中，CPU 拥有一个逻辑上的堆栈指针寄存器 SP（Stack Pointer / R13）。然而，在物理硬件层面，ARM 内核实际上内置了两个完全独立的物理堆栈指针寄存器：

1. 主堆栈指针（MSP, Main Stack Pointer）；
2. 进程堆栈指针（PSP, Process Stack Pointer）。

在运行裸机（Bare-Metal）程序时，系统通常只使用 MSP，开发者甚至感知不到 PSP 的存在。

而在运行实时多任务操作系统（RTOS，如 FreeRTOS、RT-Thread）时，双堆栈机制是实现“系统内核/中断服务程序”与“用户业务任务”在物理堆栈层面彻底隔离的硬件支柱。

如果一个操作系统没有合理利用双堆栈隔离，一旦某个用户任务发生栈溢出，破坏的将不仅仅是该任务自身，而是会连带冲垮中断服务例程（ISR）的返回现场，导致操作系统发生级联崩溃。

本文深入剖析 ARM Cortex-M 的 CONTROL 控制寄存器、特权级别流转与双堆栈在 RTOS 上下文切换中的汇编实现。

双堆栈指针的分工哲学与特权级别拓扑

ARM Cortex-M 架构定义了两种运行模式与两种特权级别：

ARM Cortex-M 模式与双堆栈硬件绑定拓扑：

+=========================================================================+
| 【处理模式 (Handler Mode) ──► 永远处于特权级 (Privileged)】             |
|   - 运行环境: 所有的硬件中断服务例程 (ISR) 与 异常处理 (SysTick, HardFault)|
|   - 强制硬件绑定: 【必须且只能使用主堆栈指针 (MSP)】！                  |
+=========================================================================+
                                   ▲ (发生硬件中断 / SVC 异常时瞬间硬件切换！)
                                   │
                                   ▼ (执行 EXC_RETURN 中断退出指令时切回！)
+=========================================================================+
| 【线程模式 (Thread Mode) ──► 可处于特权级或非特权级 (Unprivileged)】    |
|   - 运行环境: 普通业务任务代码 (如 Task_Sensor, Task_Comm)              |
|   - 灵活硬件绑定: 【由 CONTROL 寄存器指定使用 MSP 或 PSP】              |
|   - RTOS 标准规范: 强制配置为【使用进程堆栈指针 (PSP)】！               |
+=========================================================================+

双堆栈隔离带来的核心安全收益：

1. 中断栈深度确定性：所有的外部硬件中断（如 ADC、UART、DMA 中断嵌套）全部使用独立且固定的 MSP 专用内存池（通常预留 1KB ~ 2KB）。开发者在评估每个用户任务的堆栈大小时，完全不需要为不可预测的中断嵌套预留额外的压栈空间！
2. 故障隔离防火墙：即便 Task A 由于局部大数组发生栈溢出踩烂了当前 PSP 指向的内存，当硬件中断到来时，CPU 会自动无缝切换到完全健康的 MSP 栈区执行 ISR，中断处理逻辑与内核调度器依然坚如磐石！

CONTROL 寄存器与双堆栈切换状态机

在 Cortex-M 内核中，CONTROL 寄存器（特殊功能寄存器） 控制着当前活动堆栈指针的选择与特权级：

CONTROL 寄存器核心位定义：
- Bit 0 (nPRIV): 0 表示特权级 (Privileged)，1 表示非特权级 (Unprivileged)
- Bit 1 (SPSEL): 0 表示当前线程模式使用 MSP，1 表示当前线程模式使用 PSP
- Bit 2 (FPCA): 浮点单元 FPU 激活标志位

在系统上电复位时，CONTROL = 0x00（特权级 + 使用 MSP）。

当 RTOS 调度器准备启动第一个任务（vPortStartFirstTask）时，调度器会通过汇编指令将 CONTROL 寄存器的 SPSEL 位置 1：

    // RTOS 启动第一个用户任务时的汇编核心指令 (AArch32 Thumb-2)
    .global vPortStartFirstTask
vPortStartFirstTask:
    // 1. 获取当前待运行任务的私有栈顶指针 (从任务 TCB 中加载)
    ldr     r0, =pxCurrentTCB
    ldr     r1, [r0]            // R1 = 当前任务 TCB 地址
    ldr     r0, [r1]            // R0 = 该任务的栈顶指针 (Top of Stack)

    // 2. 将该指针写入进程堆栈指针寄存器 PSP！
    msr     psp, r0

    // 3. 核心步骤: 修改 CONTROL 寄存器，将线程模式的活动栈指针从 MSP 切换为 PSP！
    mov     r0, #2              // SPSEL = 1 (使用 PSP), nPRIV = 0 (特权级)
    msr     control, r0
    isb                         // 指令同步屏障，确保后续指令立即使用 PSP！

    // 4. 从 PSP 栈中弹出任务初始化现场寄存器 (R4-R11) 并跳转至任务入口函数！
    pop     {r4-r11}
    pop     {r0-r3, r12, lr}
    pop     {pc}                // 开启第一个任务的执行！

中断触发瞬间的硬件自动压栈与 EXC_RETURN

当一个运行在 PSP 上的用户任务被外部硬件中断（如 SysTick 滴答中断）打断时，ARM 硬件微架构在单周期内自动完成以下绝妙动作：

中断触发与退出时的硬件双栈流转：

1. [中断触发瞬间 (Hardware Auto-Staking)]
   - CPU 硬件自动将当前用户任务的 8 个核心寄存器 (R0-R3, R12, LR, PC, xPSR) 压入当前【PSP 堆栈】中！
   - CPU 自动将处理器模式切换为 Handler Mode (特权级)；
   - 活动堆栈指针瞬间被硬件自动切换为【MSP】！
   - LR 寄存器被硬件赋予特殊的恢复魔数 EXC_RETURN (例如 0xFFFFFFFD，代表返回线程模式且使用 PSP)！

2. [中断处理期间 (ISR Execution)]
   - 中断服务程序内部的所有 C 语言局部变量与函数调用压栈，全部严格使用【MSP 堆栈】！
   - 调度器更新 pxCurrentTCB，准备切换到新的任务。

3. [中断退出瞬间 (BX LR / EXC_RETURN)]
   - 当 ISR 执行完毕执行 BX LR 指令时，硬件检测到 LR 为 0xFFFFFFFD；
   - CPU 硬件自动将活动栈指针切回【新任务的 PSP】；
   - 硬件自动从【新任务的 PSP 栈】中弹出 8 个寄存器恢复上下文；
   - 任务无缝在新线程中满血继续执行！

工业级双堆栈空间内存规划规范

在编写链接脚本（Linker Script，如 .ld 文件）和配置 RTOS 时，必须明确规划 MSP 与 PSP 的物理内存边界：

Flash / SRAM 内存布局规范：
+-------------------------------------------------------------------------+
| SRAM 起始地址 0x2000_0000                                               |
|   ├── 全局变量与静态数据段 (.data / .bss)                               |
|   ├── RTOS 全局堆内存 (configTOTAL_HEAP_SIZE，用于分配各任务的 PSP 堆栈) |
|   └── [ 物理主堆栈区 (MSP Stack, 预留 2048 字节) ] ──► (栈顶对齐至 0x2002_0000)|
+-------------------------------------------------------------------------+

将所有的硬件中断圈禁在独立的 MSP 栈中，让用户任务在各自独立的 PSP 栈中从容流转，ARM Cortex-M 微控制器才能构筑起工业级高可靠实时操作系统的坚实骨架。