在学习 RTOS 的过程中，很多人都会卡在一个地方：任务为什么能“切换”起来？表面上看，好像只是调用了调度器，当前任务就暂停了，下一个任务就开始运行了。但如果继续往下追，就会发现真正关键的部分，其实藏在 Port Layer（移植层）里，尤其是那几段不太好读的汇编代码。这篇文章不打算把所有细节一次性讲完，而是先抓住核心问题：RTOS 的上下文切换，本质上到底在做什么？

1. 什么是上下文切换

所谓“上下文”，可以简单理解为：一个任务当前运行现场的全部信息。比如程序运行到哪一条指令了、当前各个寄存器里保存了什么值、栈指针指向哪里，以及程序状态寄存器当前处于什么状态。

`程序运行到哪一条指令了

`当前各个寄存器里保存了什么值

`栈指针指向哪里

`程序状态寄存器是什么状态

当 RTOS 要从任务 A 切换到任务 B 时，不能直接跳过去运行，因为任务 A 当前的运行现场还没保存。如果不保存，等下次再回来时，任务 A 就不知道自己执行到哪里了，寄存器数据也可能全乱。

所以，上下文切换本质上就是两件事：保存当前任务的现场，以及恢复下一个任务的现场。说白了，RTOS 不是“让任务同时运行”，而是在 CPU 上快速地切换不同任务的运行现场，让人感觉它们像是在同时执行。

2. 为什么这部分通常要用汇编写

很多初学者会问：既然 RTOS 大部分代码都能用 C 写，为什么上下文切换这里非得上汇编？

原因很简单：C 语言没法完全精准控制寄存器压栈、出栈和栈指针切换过程。上下文切换时，代码需要直接操作通用寄存器、栈指针 SP / PSP / MSP、程序返回地址以及异常返回过程，这些内容都和 CPU 底层机制直接相关。

而汇编的优势就在于：你让它干什么，它就一条一条地精确执行什么。所以，Port Layer 的作用，某种程度上就是把 RTOS 的调度逻辑，真正落到具体 CPU 架构的寄存器和栈操作上。

3. Port Layer 到底在干什么

Port Layer 可以理解成 RTOS 和具体芯片架构之间的一层“适配层”。

`Cortex-M 的异常机制和栈模型是一套

`ARM7/ARM9 是另一套

`RISC-V 也有自己的寄存器保存方式

同样都是 RTOS 内核，放到不同平台上，底层实现方式会不同：Cortex-M 的异常机制和栈模型是一套，ARM7/ARM9 是另一套，RISC-V 也有自己的寄存器保存方式。

所以内核调度思想可以通用，但上下文切换代码一定和处理器架构强相关。这也是为什么移植 RTOS 时，Port Layer 往往是最关键、也最难啃的一部分。

4. 上下文切换的典型过程

以常见的 Cortex-M 架构为例，上下文切换通常发生在异常处理过程中，比如 PendSV。大致流程可以概括成下面四步。

第一步：硬件自动保存一部分现场

当异常进入时，CPU 会自动把一些关键寄存器压栈，比如 R0-R3、R12、LR、PC 和 xPSR。这一步是硬件帮忙完成的。

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

在 PendSV 的汇编代码里，通常还会继续把 R4-R11 这些寄存器压入当前任务的栈中，然后把当前任务的栈顶指针保存到它自己的任务控制块（TCB）里。

第三步：切换到下一个任务

调度器会选择一个新的就绪任务，然后取出它的栈顶指针。

第四步：恢复新任务现场

把新任务之前保存的 R4-R11 恢复出来，再通过异常返回机制，让 CPU 自动恢复其余寄存器。这样任务 B 就接着上次中断的位置继续运行了。

PendSV 思路伪代码

5. 为什么栈这么重要

很多人读汇编时容易只盯着寄存器，其实真正的重点往往是：栈指针在怎么变化。

因为任务切换时，每个任务本质上都有自己独立的一块栈空间。任务暂停时，它的运行现场就存放在自己的栈里；任务恢复时，再从自己的栈里把这些数据还原出来。

所以可以这么理解：寄存器是 CPU 当前手里拿着的东西，栈是 CPU 临时存放现场的仓库，TCB 是记录这个仓库入口地址的管理表。一旦你把这个关系理顺了，再去看 Port Layer 的汇编，就不会只看到一堆 push、pop、ldr、str，而是能看出它在完成“保存现场”和“恢复现场”这两件事。

6. 学这部分到底该抓什么重点

如果你现在正在啃 RTOS 移植层，不要一上来就试图把每条汇编都背下来。更重要的是先抓住下面几个核心点。

`哪些寄存器是硬件自动保存的

`哪些寄存器是软件手动保存的

`当前任务的栈顶指针保存到哪里

`新任务的栈顶指针从哪里取出来

`最后是如何“返回”到新任务继续执行的

7. 结语

RTOS 的上下文切换，看上去神秘，实际上本质并不复杂。它并不是凭空把另一个任务“变出来”，而是通过“保存现场 + 恢复现场”的方式，在多个任务之间快速切换 CPU 的执行权。

而 Port Layer 的那段汇编代码，正是这个过程最底层、最真实的体现。你一旦把它看懂，就不再只是“会用 RTOS”，而是真正开始理解：RTOS 为什么能跑起来。

一句话总结： 上下文切换的本质，就是“保存旧任务现场，恢复新任务现场”。