Cortex-M4（STM32 F4）MSP转PSP的时机方式及手动切换疑问

1. 必须切换到PSP的原因 #

STM32F4属于Cortex-M4内核，默认线程模式下使用MSP（主栈指针），但RTOS需要为每个任务分配独立的私有栈空间，这时候必须切换到PSP（进程栈指针）——每个任务对应一个独立的PSP，MSP则专门留给内核代码、异常处理（比如PendSV、SysTick）使用，避免任务栈和内核栈互相干扰。

2. MSP切换到PSP的具体步骤 #

切换不能直接修改R13，而是通过内核的CONTROL寄存器控制栈指针选择，完整步骤如下：

• 先给PSP赋值：将目标任务的栈顶地址加载到PSP寄存器，比如用MSR PSP, r0（假设r0中存着任务栈的栈顶地址）
• 修改CONTROL寄存器：将寄存器的第1位（SPSEL位）置1，线程模式下就会自动把R13映射为PSP；如果该位为0，线程模式仍使用MSP。指令示例：MOV r1, #0x2 → MSR CONTROL, r1
• 执行ISB指令：强制同步指令流，确保栈指针切换立即生效，避免后续指令使用错误的栈指针

3. 关于FreeRTOS的疑问解答 #

FreeRTOS并非“直接用PSP而非R13”，而是它在系统初始化阶段就完成了MSP到PSP的切换：第一次启动任务时，会先配置好任务栈的PSP值，再修改CONTROL寄存器切换到PSP模式。后续的上下文切换（通常在PendSV中断中执行），因为线程模式已经绑定PSP，所以只需要更新PSP寄存器的值，实现任务栈的切换——此时中断里的R13是MSP，操作PSP寄存器就能访问对应任务的私有栈。

4. 内联汇编实现切换的示例（STM32F4） #

以下是任务启动阶段完成MSP到PSP切换的内联汇编代码片段：

// 假设r0寄存器中存储当前任务的栈顶地址
__asm volatile (
    "MSR PSP, r0          \n"  // 将任务栈顶地址加载到PSP
    "MOV r1, #0x2         \n"  // 设置CONTROL寄存器的SPSEL位（bit1）
    "MSR CONTROL, r1      \n"  // 切换线程模式到PSP
    "ISB                  \n"  // 同步指令流，确保切换生效
    : : : "r0", "r1"
);

注意：该切换操作必须在线程模式下执行；如果是在异常模式（比如PendSV中断）中修改CONTROL寄存器，只会影响退出异常后的线程模式栈指针，异常处理过程本身仍使用MSP。

5. 上下文切换时的栈操作要点 #

RTOS的上下文切换一般在PendSV中断中实现，此时CPU处于异常模式，R13对应MSP，所以操作任务栈时需要直接访问PSP寄存器：

• 保存上下文：将任务的寄存器（r4-r11、lr等）压入PSP指向的栈，指令如STMDB PSP!, {r4-r11, lr}
• 恢复上下文：从PSP栈中弹出寄存器，指令如LDMIA PSP!, {r4-r11, lr}，之后更新PSP为新的栈顶地址

内容的提问来源于stack exchange，提问作者Tsz Kit Koon