ARM平台上下文切换代码故障求助：任务无法重复加载

从你的代码和运行日志来看，核心问题出在上下文保存时的栈操作指令错误以及PSP初始化/设置逻辑混乱，导致伪上下文的栈顶xPSR被意外覆盖，最终触发硬Fault。以下是具体排查点和修复建议：

1. 关键异常点定位 #

运行日志显示第二次切换时，THREAD_SPACE_START（原xPSR地址）的值从0x1000000（1<<24）变成了0xA——这是你伪上下文里填充的寄存器值，说明保存上下文时，错误地将寄存器数据写入了栈顶地址，覆盖了关键的xPSR值。

2. 核心问题分析 #

（1）LDMIA/STMIA指令的方向误用 #

ARM栈默认是**满递减（FD）**模式：栈指针指向最后压入的元素，压栈时先减4再存储数据，出栈时先读取数据再加4。

• 如果你的上下文保存代码误用了STMIA（递增存储）而非STMDB/STMFD（递减存储），栈指针会向上生长，直接覆盖THREAD_SPACE_START等高地址内存，把原xPSR的值冲成0xA。
• 正确的保存逻辑必须用STMDB PSP!, {r4-r11, lr}，加载用LDMIA PSP!, {r4-r11, lr}，匹配满递减栈的操作方向。

（2）PSP初始化与设置逻辑错误 #

你的代码中PSP的设置多处违背ARM栈规则：

• demo函数中PSP初始化错误：构建完16个寄存器的伪上下文后，stack_ptr已经是THREAD_SPACE_START - 16*4（因为从栈顶向下压了16个32位值），此时PSP应直接指向这个stack_ptr（满递减栈的栈顶是最后一个元素地址），但你设置成了stack_ptr -17——这个偏移没有任何意义，会让PSP指向完全错误的内存区域，导致第一次切换时栈操作就存在隐患。
• printertask中手动重置PSP错误：任务运行时，PSP应该指向自身运行栈的当前栈顶，而你强制将PSP设为THREAD_SPACE_START（原伪上下文栈顶），触发SVC后，PendSV保存当前上下文时会直接覆盖原伪上下文的xPSR等关键数据，导致下次切换时加载到无效的xPSR值。

3. 具体修复步骤 #

（1）修正上下文切换汇编代码 #

确保PendSV处理程序使用正确的栈操作指令：

PendSV_Handler:
    ; 保存当前任务上下文（硬件已自动压栈xPSR、PC、LR、R12、R3-R0）
    MRS     r0, PSP
    STMDB   r0!, {r4-r11, lr}          ; 手动保存R4-R11、LR到栈（递减存储）
    LDR     r1, =current_task
    STR     r0, [r1]                   ; 保存更新后的PSP到任务控制块

    ; 加载下一个任务上下文
    LDR     r0, =next_task
    LDR     r0, [r0]
    LDMIA   r0!, {r4-r11, lr}          ; 加载R4-R11、LR（递增加载）
    MSR     PSP, r0                    ; 设置PSP为下一个任务的栈顶
    BX      lr                         ; 返回时硬件自动加载xPSR、PC等寄存器

（2）修正PSP初始化逻辑 #

在demo函数中，构建完伪上下文后，直接将PSP设置为伪上下文的最低地址：

// 构建伪上下文后
__set_PSP((uint32_t)stack_ptr); // stack_ptr是THREAD_SPACE_START - 16*4，即伪上下文的最后一个寄存器地址

（3）移除printertask中的PSP重置 #

删除printertask中的__set_PSP(THREAD_SPACE_START);，让任务运行时使用自身的栈，PendSV会自动保存当前栈的上下文：

void printertask() {
    printf("Printing some text here\r\n");
    __asm("SVC #10"); // 直接触发SVC，无需手动修改PSP
}

4. 验证要点 #

• 重新运行后，检查THREAD_SPACE_START的值在切换前后是否保持0x1000000，如果不再被覆盖，说明栈操作方向的问题已解决。
• 确保伪上下文的xPSR值（1<<24）正确设置了T位（Thumb模式），否则加载时会触发模式不匹配的硬Fault。

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