Cortex-M3任务切换机制与PendSV异常详解

1. Cortex-M3任务切换机制解析

在嵌入式实时操作系统中，任务切换是最核心的机制之一。Cortex-M3处理器通过PendSV（可挂起的系统调用）异常来实现高效的任务上下文切换。与普通中断不同，PendSV具有以下几个关键特性：

1. 可挂起特性：PendSV异常可以被延迟执行，确保高优先级中断能够及时响应
2. 最低优先级：通常设置为最低优先级，保证不会抢占其他异常处理
3. 自动上下文保存：处理器硬件自动保存部分寄存器，减少软件开销

选择PendSV而非其他异常的原因在于其设计初衷就是为操作系统服务。当我们需要进行任务切换时，可以通过软件触发PendSV异常，处理器会在没有更高优先级中断时执行切换操作。

2. PendSV异常配置详解

2.1 优先级设置

PendSV异常的优先级设置位于系统控制块(SCB)的NVIC_SYSPRI14寄存器中。具体实现代码如下：

NVIC_SYSPRI14 EQU 0xE000ED22 NVIC_PENDSV_PRI EQU 0xFF LDR R0, =NVIC_SYSPRI14 LDR R1, =NVIC_PENDSV_PRI STRB R1, [R0]

这里将PendSV优先级设为0xFF（最低优先级），确保它不会抢占其他中断服务程序。值得注意的是，Cortex-M3只使用寄存器的高3位作为优先级位，所以实际优先级是0xFF >> 5 = 7（最低）。

2.2 异常触发机制

触发PendSV异常需要通过设置中断控制和状态寄存器(ICSR)的第28位：

NVIC_INT_CTRL EQU 0xE000ED04 NVIC_PENDSVSET EQU 0x10000000 LDR R0, =NVIC_INT_CTRL LDR R1, =NVIC_PENDSVSET STR R1, [R0]

这个操作会将PendSV异常挂起，当处理器退出所有高优先级中断后，就会执行PendSV异常处理程序。这种机制特别适合在SysTick中断中触发任务切换。

3. 任务切换实现步骤

3.1 任务堆栈初始化

每个任务都需要独立的堆栈空间来保存其上下文。初始化时需要特别注意：

1. 堆栈必须8字节对齐（Cortex-M3要求）
2. 需要预先设置初始上下文（xPSR、PC、LR等）
3. 堆栈指针(PSP)初始位置要考虑自动保存的寄存器空间

示例初始化代码：

PSP_array[0] = ((unsigned int)task0_stack) + (sizeof task0_stack) - 16*4; HW32_REG((PSP_array[0] + (14<<2))) = (unsigned long)task0; // PC HW32_REG((PSP_array[0] + (15<<2))) = 0x01000000; // xPSR

3.2 上下文保存与恢复

PendSV处理程序的核心工作是保存当前任务上下文并恢复下一个任务的上下文。Cortex-M3在进入异常时会自动保存xPSR、PC、LR、R12和R0-R3到当前任务的堆栈中，我们只需要手动保存R4-R11：

MRS R0, PSP ; 获取当前任务堆栈指针 STMDB R0!, {R4-R11} ; 保存剩余寄存器

恢复上下文时，过程正好相反：

LDMIA R0!, {R4-R11} ; 恢复寄存器 MSR PSP, R0 ; 更新堆栈指针

3.3 完整的PendSV处理程序

结合上下文保存和恢复，完整的PendSV处理程序如下：

PendSV_Handler: ; 保存当前任务上下文 MRS R0, PSP STMDB R0!, {R4-R11} ; 切换任务控制块 LDR R1, =curr_task LDR R2, =next_task LDR R3, [R2] STR R3, [R1] ; curr_task = next_task ; 恢复新任务上下文 LDR R0, [R4, R3, LSL #2] ; R4=PSP_array基址 LDMIA R0!, {R4-R11} MSR PSP, R0 ; 异常返回 BX LR

4. 实际应用中的关键问题

4.1 堆栈指针管理

在任务切换过程中，必须严格管理两种堆栈指针：

1. MSP（主堆栈指针）：用于异常处理和内核代码
2. PSP（进程堆栈指针）：用于任务运行

通过CONTROL寄存器选择当前使用的堆栈指针：

__set_CONTROL(0x03); // 使用PSP，用户模式 __ISB(); // 确保指令同步

4.2 第一次任务启动

第一个任务的启动需要特殊处理，因为不存在"上一个任务"的上下文需要保存。通常的解决方案是：

1. 手动构造一个完整的上下文在堆栈中
2. 将PSP指向这个构造的上下文
3. 使用异常返回的方式启动任务

4.3 临界区保护

在进行任务切换时，需要确保操作的原子性。常见做法：

1. 关闭中断进行关键操作
2. 使用LDREX/STREX指令实现原子访问
3. 合理安排代码顺序减少竞争条件

5. 性能优化技巧

5.1 减少上下文保存量

根据AAPCS调用约定，可以只保存必要的寄存器（R4-R11），而不需要保存全部寄存器。这可以显著减少切换时间。

5.2 利用浮点单元

如果使用FPU，需要额外保存S16-S31浮点寄存器。可以通过检查FPCCR寄存器判断是否需要保存浮点上下文。

5.3 延迟上下文切换

在中断密集场景下，可以累积多个切换请求，然后统一处理，减少不必要的上下文切换开销。

6. 调试技巧与常见问题

6.1 常见错误排查

1. 堆栈对齐错误：确保所有任务堆栈8字节对齐
2. 上下文不完整：检查保存和恢复的寄存器是否匹配
3. 优先级配置错误：确认PendSV优先级为最低

6.2 调试工具使用

1. 利用Cortex-M3的调试观察点监控任务切换
2. 通过ITM输出调试信息，不影响实时性
3. 使用MPU保护任务堆栈，检测溢出

6.3 典型问题解决方案

问题1：任务切换后立即硬错误

• 可能原因：初始上下文设置不正确，特别是xPSR和PC值
• 解决方案：检查任务初始化代码，确保PC指向任务函数，xPSR设置正确

问题2：切换后寄存器值被破坏

• 可能原因：保存和恢复的寄存器数量不匹配
• 解决方案：检查汇编代码中的STMDB和LDMIA指令

问题3：周期性任务切换失败

• 可能原因：SysTick中断优先级高于PendSV
• 解决方案：调整SysTick中断优先级，确保低于PendSV