Cortex-M4 RTOS上下文切换疑问：硬件如何识别栈中特定寄存器位置？

问题1：R4-R11是否必须位于栈的指定位置，还是只需处于栈顶即可？ #

R4-R11的位置必须和硬件自动压栈的寄存器区域形成固定相对位置，不能随便放在栈顶。原因是Cortex-M的上下文切换分硬件自动处理和软件手动处理两部分：

• 硬件负责自动压栈/恢复的寄存器固定为：R0-R3、R12、LR、PC、xPSR（共8个32位寄存器），这部分的栈帧结构是硬件原生定义的，不能改动。
• R4-R11属于非自动压栈寄存器，必须由软件手动保存/恢复，它们的位置必须在硬件压栈区域的「上方」（栈向下生长，对应更高的内存地址）。

你初始化栈时用stack_ptr -=8预留R4-R11的位置，就是为了让这部分寄存器在栈结构中处于硬件压栈区域的上方，和硬件栈帧形成固定偏移——只有这样，后续上下文切换时，软件和硬件才能各自精准找到对应寄存器的位置。

问题2：PSP动态变化时，硬件如何定位xPSR、PC等寄存器？ #

核心逻辑是：只有在触发上下文切换的异常发生时，硬件才会访问这些固定栈帧的寄存器，此时PSP的值是确定的，和任务正常执行时的动态PSP无关：

1. 任务正常运行时，PSP确实会随栈操作动态变化，但此时硬件不会去触碰那些固定栈帧的寄存器。
2. 当上下文切换触发（比如SysTick中断），CPU进入异常模式：
   • 硬件自动将R0-R3、R12、LR、PC、xPSR压入当前任务的PSP栈，此时PSP会自动减去32字节（8个寄存器×4字节），指向压栈后的栈顶。
   • 你的切换代码接着把R4-R11压到这个栈顶（stmdb r0!, {r4-r11}），然后把此时的栈顶地址存在当前任务的TCB中。
3. 恢复下一个任务时：
   • 从下一个任务的TCB中取出保存的栈顶地址，先恢复R4-R11（ldmia r2!, {r4-r11}），此时r2会自动变成硬件压栈区域的栈顶地址。
   • 把这个地址写入PSP，执行bx lr触发异常返回：硬件会自动从PSP指向的位置读取R0-R3、R12、LR、PC、xPSR，然后跳转到新任务的PC地址执行，同时PSP会恢复到该任务正常执行时的栈位置。

简言之：任务运行时PSP可以随意变化，但上下文切换的瞬间，PSP会被硬件和软件调整到固定的栈帧位置，硬件只在这个特定时刻访问那些固定寄存器。

你的代码补充说明 #

你初始化栈的逻辑是正确的，完全匹配Cortex-M的栈帧要求：

uint32_t *stack_ptr = stack + stack_size - 1;
*(--stack_ptr) = (1U << 24);           // xPSR (置位T位，适配Cortex-M的Thumb架构)
*(--stack_ptr) = (uint32_t)task_func;  // PC 任务入口地址
*(--stack_ptr) = 0xFFFFFFFD;           // LR (EXC_RETURN，指定返回后使用PSP)
stack_ptr -= 5;                        // 预留R12、R3、R2、R1的位置
*(--stack_ptr) = (uint32_t)parameters; // R0 任务参数
stack_ptr -= 8;                        // 预留R11-R4的位置

这里预留的R4-R11区域，和硬件栈帧的偏移完全对应，保证了后续切换的正确性。

你的汇编切换代码逻辑也没问题，完美实现了软件保存/恢复非自动压栈寄存器、配合硬件完成上下文切换的流程：

__asm volatile 
(
    // 保存当前任务上下文
    "     mrs r0, psp                     \n" // 获取当前PSP
    "     isb                             \n"
    "     ldr r1, =curr_task              \n" // 加载curr_task指针地址
    "     ldr r2, [r1]                    \n" // 获取当前任务TCB指针
    "     stmdb r0!, {r4-r11}             \n" // 将R4-R11压入栈，更新栈顶地址
    "     str r0, [r2]                    \n" // 把新栈顶保存到TCB

    // 更新curr_task为next_task
    "     ldr r0, =next_task              \n" // 加载next_task指针地址
    "     ldr r2, [r0]                    \n" // 获取下一个任务TCB指针
    "     str r2, [r1]                    \n" // 更新curr_task指向新任务

    // 恢复下一个任务上下文
    "     ldmia r2!, {r4-r11}             \n" // 从新任务栈加载R4-R11，自动指向硬件栈帧顶部
    "     msr psp, r2                     \n" // 更新PSP到硬件栈帧顶部
    "     bx lr                           \n" // 异常返回，硬件自动恢复剩余寄存器
);

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