上下文切换：CPU 怎样在一瞬间“灵魂附体”

在上一章中，我们见证了调度算法的决策过程：优先级抢占和时间片轮转让调度器知道该让谁运行。但知道“该谁”只是第一步，真正的魔法在于怎么把CPU从一个任务无缝转移到另一个任务。

这个过程，就是上下文切换（Context Switch）。它是整个RTOS调度机制的最后一块拼图，也是最接近硬件、最能体现嵌入式底层功底的环节。本章我们将深入到ARM Cortex-M的汇编指令层面，亲手拆解这一瞬间发生的所有细节。

1.什么是上下文？为什么要保护它？

想象你在看书（运行任务A），突然手机响了（高优先级任务B就绪）。你不得不放下书去接电话。但当你接完电话回来时，必须能立刻从刚才停下的地方继续往下读——这意味着你之前阅读到的位置、手指指着的行数、甚至当时的思考状态都需要被完整地记住。

在CPU中，一个任务的“阅读状态”由一系列的寄存器组成：

• 程序计数器（PC）：当前执行到代码的哪个地址。

• 堆栈指针（SP）：当前任务私有的栈顶在哪里。

• 链接寄存器（LR）：函数返回时跳转的目标地址。

• 通用寄存器（R0-R12）：计算过程中的临时变量。

• 状态寄存器（xPSR）：当前运算结果的状态标志位（零、进位、溢出等）。

上下文切换要做的事情，就是：

• 暂停任务A：把上述所有寄存器的当前值，原封不动地保存到任务A的私有栈中。

• 选择任务B：从就绪链表中找到下一个要运行的任务B的TCB。

• 恢复任务B：从任务B的私有栈中，把之前保存的寄存器值全部弹回到CPU寄存器中。

• 开始执行任务B：CPU从任务B的PC指向的地址继续运行。

整个过程对任务A和任务B来说是完全透明的。任务A不知道它被暂停过，任务B也不知道它曾经等待过。CPU就在这种“现场保护与恢复”的快速切换中，营造出多任务“同时运行”的假象。

2.为什么使用 PendSV 异常来执行切换？

在ARM Cortex-M内核中，上下文切换并不是直接在调度器函数中完成的，而是借助了一个特殊的异常——PendSV（可挂起的系统服务调用）。

为什么要绕这样一个弯子？原因在于中断抢占的优先级管理。

如果在一个ISR（中断服务例程）中直接进行任务切换，可能会导致高优先级中断被低优先级任务阻塞，破坏实时性。Cortex-M设计了可配置的异常优先级：我们将PendSV的优先级设置为最低（比如0xFF），这样当系统正在处理一个硬件中断时，即使调度器触发了PendSV，它也会被“挂起”，直到所有硬件中断处理完毕后才执行。

这就保证了中断的零延迟：硬件ISR永远是最高优先级的，不会被任务切换打断；而一旦ISR退出，PendSV就会立即接管，完成任务的上下文切换。这是Cortex-M为RTOS量身定制的“优雅”设计。

在华为 LiteOS 的内核中，上下文切换的核心正是基于PendSV异常。当调度器决定切换任务时（例如在LOS_Schedule()函数中），它会将下一个要运行的任务的TCB指针写入一个全局变量，然后触发PendSV异常。在PendSV异常处理函数内，完成实际的寄存器保存与恢复。

3.上下文切换的汇编级拆解

现在让我们用ARM Cortex-M的汇编指令，一步一步拆解这个过程。假设系统正在从任务A切换到任务B。

第一步：进入 PendSV 异常

当PendSV异常被触发时，Cortex-M硬件自动完成了一部分压栈工作——它将xPSR、PC、LR、R12、R3、R2、R1、R0这8个寄存器自动压入任务A的栈中。这是Cortex-M的“硬件自动压栈”特性，不需要写任何代码。

@ 硬件自动压栈后的栈布局（从高地址到低地址）：
@ 栈顶 → xPSR
@        PC（返回地址）
@        LR
@        R12
@        R3
@        R2
@        R1
@        R0  ← 当前栈指针 SP

第二步：手动保存剩余的寄存器

接下来，PendSV处理函数需要用汇编手动保存硬件没有压栈的寄存器——R4-R11。代码大致如下：

PendSV_Handler:
    @ 关闭中断，保证原子性
    CPSID   I

    @ 将剩余的 R4-R11 压入任务A的栈
    PUSH    {R4-R11}

    @ 此时任务A的全部上下文已经保存在其私有栈中。
    @ 将当前栈指针（任务A的栈顶）保存到任务A的TCB中。
    LDR     R0, =pxCurrentTCB_A    @ 加载存放TCB指针的地址
    LDR     R1, [R0]               @ R1 = 任务A的TCB指针
    STR     SP, [R1]               @ 把SP存到TCB->pxTopOfStack

第三步：切换到任务B的上下文

现在任务A已经安全“冻结”，我们可以从容地把任务B唤醒。

    @ 将全局 pxCurrentTCB 更新为任务B的TCB指针
    LDR     R0, =pxCurrentTCB_B    @ 任务B的TCB指针地址
    LDR     R1, [R0]               @ R1 = 任务B的TCB指针
    STR     R1, [R0, #0]           @ 更新当前TCB

    @ 从任务B的TCB中取出它的栈指针
    LDR     SP, [R1]               @ SP = TCB_B->pxTopOfStack

    @ 将任务B栈中保存的 R4-R11 弹出
    POP     {R4-R11}

第四步：退出 PendSV，硬件自动恢复

最后，我们执行BX LR指令退出异常。Cortex-M硬件会检测到返回类型，自动将任务B栈中剩余的8个寄存器（R0-R3、R12、LR、PC、xPSR）依次弹出。当PC被弹出时，CPU就开始执行任务B的代码了。

    @ 开中断
    CPSIE   I

    @ 异常返回，硬件自动完成出栈和跳转
    BX      LR

整个上下文切换过程通常在几个微秒内完成。对应用程序而言，任务A和任务B就像从未被打断过一样。

4.LiteOS 中的上下文切换实现

在华为 LiteOS 的源码中，上述汇编逻辑被封装在arch\arm\cortex-m\los_dispatch.S文件中。核心的函数是HalPendSV：

HalPendSV:
    mrs     r12, PRIMASK
    cpsid   i
    ; 保存 R4-R11，以及任务栈指针到当前TCB
    push    {r4-r11}
    ldr     r4, =g_stLosTask
    ldr     r5, [r4]
    str     sp, [r5]

    ; 加载下一个任务的TCB，恢复其栈指针和寄存器
    ldr     r6, [r4, #4]
    str     r6, [r4]
    ldr     sp, [r6]
    pop     {r4-r11}

    msr     PRIMASK, r12
    bx      lr

这段代码与我们前面的伪汇编高度一致，但增加了对中断屏蔽寄存器的保存与恢复，确保整个切换过程是原子的。LiteOS的工程实现体现了工业级RTOS的严谨——每一行汇编都在保障物联网设备在严苛环境下的稳定运行。

在华为云IoT生态中，成千上万的边缘终端（比如智能电表、资产追踪器、环境监测节点）正是依靠LiteOS的这种高效上下文切换能力，在资源极度受限的MCU上同时处理传感器采集、云端通信、OTA升级等多个任务，实现真正的端侧智能。

5.系列总结

至此，我们完成了从裸机while(1)循环到RTOS任务调度核心原理的完整旅程。

• 第一章，我们指出了裸机超级循环在复杂场景下的致命缺陷——一个慢任务拖垮整个系统。

• 第二章，我们构建了任务控制块（TCB）这个静态档案，理解了内核如何描述一个任务。

• 第三章，我们理清了任务状态机，看到了任务在就绪、运行、阻塞、挂起之间的动态流转。

• 第四章，我们深入了调度算法的决策逻辑——优先级抢占保证实时性，时间片轮转保证公平性。

• 第五章（本章），我们亲手拆解了上下文切换的汇编魔法，窥见了CPU如何在一瞬间“灵魂附体”。

掌握这些知识，并不意味着你需要去重写一个内核，而是当你使用LiteOS、FreeRTOS或任何一款RTOS时，能够清晰地“看见”vTaskDelay()背后的阻塞与唤醒，aos_task_new()背后的TCB创建，以及每一次taskYIELD()背后的PendSV切换。

理解系统，才能更好地驾驭系统。在华为云“云端一体”的物联网大图景中，扎实的端侧系统知识，是构建稳定、高效、智能的边缘应用不可或缺的基石。

希望这个系列能成为你深入嵌入式系统世界的一块垫脚石，愿你写出更优雅的while(1)。