📚 课程目录第3章 VxWorks任务与异常上下文

3. VxWorks任务与异常上下文

在VxWorks中，异常处理不是孤立发生的，它总是发生在某个任务或中断上下文中。要真正理解异常发生后系统“看到了什么、保存了什么、恢复了什么”，必须把任务控制块（TCB）、异常栈帧、上下文保存与恢复机制以及异常发生时的任务状态分析串成一条完整的认知链。本节围绕这条链展开，重点说明异常发生时CPU与内核如何协作，把现场“冻结”下来，再决定后续走向。

一、任务控制块：任务上下文的“档案袋”

VxWorks的任务控制块（TCB）是内核管理任务的核心数据结构。每个任务创建时，内核从系统分区或任务分区中分配一块TCB，并把它挂入就绪队列、延时队列或挂起队列。TCB中与异常处理最相关的字段包括：任务ID、任务名、优先级、任务状态、栈指针（SP）、程序计数器（PC）、通用寄存器保存区、浮点寄存器保存区（若启用）、异常处理入口、任务选项字以及栈边界信息。

需要区分两个概念：任务上下文是任务运行时的寄存器与栈状态集合；TCB是内核用来保存和恢复该上下文的容器。任务切换时，内核把当前任务的寄存器写入其TCB，再从下一个任务的TCB中恢复寄存器。异常发生时，CPU硬件先做一部分保存动作，随后VxWorks的异常入口再把剩余现场写入TCB或异常栈帧。因此，TCB既是任务调度的依据，也是异常现场的第一落点。

二、异常栈帧：硬件与软件共同构造的现场快照

当CPU检测到异常（如数据访问异常、指令访问异常、除零、未定义指令、对齐异常等），硬件会自动把部分寄存器压入当前栈，形成异常栈帧。以PowerPC架构为例，异常发生时硬件通常保存机器状态寄存器（MSR）、条件寄存器（CR）、链接寄存器（LR）、计数寄存器（CTR）、XER以及出错地址（DAR/DSISR或SRR0/SRR1）。不同架构保存的寄存器集合不同，但核心思想一致：先由硬件冻结最小必要现场，再由软件补齐剩余现场。

VxWorks的异常入口（如excVecInit注册的向量）在硬件栈帧基础上继续保存通用寄存器GPR0~GPR31、浮点寄存器（若任务使用FPU）、以及被中断任务的栈指针。最终形成的完整异常栈帧通常包含：异常类型、异常地址、任务ID、任务栈指针、通用寄存器组、浮点寄存器组、以及可选的调试信息。这个栈帧是后续故障定位、栈回溯和任务状态分析的原始依据。

三、上下文保存与恢复：从异常入口到任务返回

上下文保存分为两个阶段。第一阶段由CPU硬件完成，发生在异常向量被取指之前，保存的是“最小可恢复集”。第二阶段由VxWorks异常入口代码完成，它读取硬件栈帧，把剩余通用寄存器和浮点寄存器压入任务栈或专用异常栈，并调用用户注册的异常处理函数。此时，异常处理函数拿到的参数通常包括异常类型、异常地址和指向完整异常栈帧的指针。

恢复过程是保存的逆操作。若异常被判定为可恢复（例如缺页异常经页表修复后、或调试断点被临时处理），异常处理函数返回后，VxWorks会从异常栈帧中逐项恢复寄存器，最后执行一条“返回 from 异常”指令（如PowerPC的rfi），把SRR0/SRR1写回PC和MSR，任务从异常点继续执行。若异常不可恢复，内核可选择挂起任务、删除任务、记录日志后触发系统复位，或进入调试器等待人工介入。

关键点：异常栈帧是“只读快照”，恢复时不能直接修改原始栈帧中的寄存器值，而应通过异常处理函数的返回值或专用恢复接口来影响恢复行为，否则容易破坏栈一致性。

四、异常发生时的任务状态分析

异常发生后，任务可能处于以下几种状态之一：就绪（异常已处理完毕，等待调度）、挂起（异常处理函数主动挂起任务）、删除（异常不可恢复，任务被删除）、延时（异常处理中调用了延时函数）、异常态（任务正在异常处理函数中运行，尚未返回）。分析任务状态时，应重点查看TCB中的状态字、异常栈帧中的PC和SP、以及异常地址是否落在合法代码段或数据段。

一个实用的分析路径是：先看异常类型和异常地址，判断是取指异常还是数据访问异常；再看PC指向的指令，确认是否越界跳转或空指针解引用；然后看SP是否在任务栈边界内，排除栈溢出；最后看任务优先级和状态，判断异常是否由优先级反转或资源竞争间接引发。若异常地址落在任务栈附近且SP已越界，优先怀疑栈溢出；若异常地址为0或极小值，优先怀疑空指针；若异常地址为非法指令编码，优先怀疑代码段被破坏或函数指针被篡改。

五、教学示例：一次数据访问异常的现场分析

假设某任务在优先级20下运行，访问地址0x00000010时触发数据访问异常。异常入口保存的栈帧显示：PC=0x0012A4C8，SP=0x003F7E00，任务栈边界为0x003F0000~0x003F8000，异常地址0x00000010。分析过程如下：SP在栈边界内，排除栈溢出；异常地址极小，符合空指针偏移访问特征；反汇编PC附近指令，发现是一条lwz r3, 0x10(r4)，而r4的值为0。结论：任务通过空指针加偏移0x10访问了非法地址。处理方式：在异常处理函数中记录任务ID、PC、异常地址和寄存器快照，挂起该任务并通知监控任务，避免直接复位整个系统。

/* 示例：异常处理函数中提取关键现场（伪代码） */
void myExcHandler(int excType, void *pEsf, void *pCtx)
{
    ESF *esf = (ESF *)pEsf;
    logMsg("ExcType=%d PC=0x%08X SP=0x%08X Addr=0x%08X\n",
           excType, esf->pc, esf->sp, esf->faultAddr);
    logMsg("TaskID=%d Prio=%d State=%d\n",
           taskIdSelf(), taskPriorityGet(taskIdSelf(), NULL),
           taskStatusGet(taskIdSelf()));
    /* 根据异常类型和地址决定恢复或挂起 */
}

通过上述分析可以看出，TCB提供任务身份与状态，异常栈帧提供现场快照，上下文保存与恢复决定任务能否继续运行，而任务状态分析则把三者串联成可操作的故障定位流程。掌握这条链路，才能在VxWorks高可靠系统中快速判断异常性质并选择正确的恢复策略。