不能直接用裸指针保存CPU上下文，因为上下文包含不可直接读取的寄存器（如SP、PC、PSR），且需原子性压栈、严格ABI对齐与汇编级控制；C语言指针无法保证操作的原子性、时序和硬件状态同步，必须依赖内联汇编在临界点完成真实保存与恢复。
为什么不能直接用裸指针保存CPU上下文
在多任务系统（如RTOS或简易调度器）中，想用 void* 或 uint32_t* 指针去“保存寄存器快照”，本质是错的——CPU上下文不是内存里一块连续、可随意读写的缓冲区。它包含：栈顶指针（SP）、程序计数器（PC）、状态寄存器（PSR）、通用寄存器（R0–R12 等），其中部分寄存器无法被C++代码直接读取（比如 SP 在ARM Cortex-M上需用 __get_MSP() 内联汇编获取），更别说原子性保存整套状态。
常见错误现象：
• 用 memcpy(ctx_ptr, &local_var, sizeof(Context)) —— 这只拷贝了局部变量地址，不是当前运行栈的寄存器值
• 把函数栈帧地址当上下文起点 —— 栈布局依赖编译器优化，且不包含 PC/PSR
• 忽略对齐要求（如ARM要求8字节对齐栈指针）导致异常返回后硬 fault
必须用内联汇编+特定ABI约定切入上下文保存
真正可行的方式是：在任务切换临界点（如PendSV或SysTick handler），用内联汇编把当前寄存器压入指定内存块，并确保该内存块首地址就是后续恢复时的栈指针。典型流程如下：
- 分配一块静态内存（如
alignas(8) uint32_t task_stack[256]），末地址作为初始SP - 首次启动任务时，手动在栈底布置
PC（任务入口地址）、LR（填0xFFFFFFF9表示线程模式+使用PSP）、xPSR（置bit24为1表示Thumb态）、以及R0–R3, R12, LR, PC, PSR的初始值 - 在上下文切换函数中，调用类似
portSAVE_CONTEXT()的宏（实际是汇编段），它用PUSH {r0-r3,r12,lr}保存现场到当前MSP或PSP - 保存完后，用
__get_PSP()或__get_MSP()获取当前栈顶，存入任务控制块（TCB）的pxTopOfStack字段
关键点：portSAVE_CONTEXT 和 portRESTORE_CONTEXT 必须成对，且严格遵循芯片ABI（如AAPCS）。例如ARM Cortex-M3/M4要求浮点寄存器另存于扩展栈段，若启用FPU则必须检查 CONTROL.FPCA 并调用 FPUContextSave()。
立即学习“C++免费学习笔记（深入）”；
指针在这里只起“索引”作用，不是操作主体
你代码里出现的指针，比如 TCB_t* pxCurrentTCB 或 StackType_t* pxTopOfStack，只是指向已由汇编准备好的上下文内存块。它们不参与寄存器读写，只用于调度器在任务间切换时快速加载/存储栈顶地址。
典型误用：
• 把 pxTopOfStack 当作普通数组用 for 循环修改某寄存器值 —— 改的是旧任务的栈内容，但没同步更新硬件 SP，下次恢复就错乱
• 用 reinterpret_cast<uint32_t>(pxTopOfStack)[6] = new_pc;</uint32_t> 替换PC —— 忽略了栈增长方向（向下）、偏移计算错误（不同MCU压栈顺序不同）、未处理字节序
正确做法仅限：
• pxNewTCB->pxTopOfStack = pxEndOfStack;（初始化时设栈顶）
• portSET_PSP( pxNewTCB->pxTopOfStack );（汇编函数，真正改硬件寄存器）
• 其余所有寄存器操作交给汇编段完成
FreeRTOS等成熟方案为何不让你碰指针细节
因为上下文切换路径是系统最敏感的临界区，任何C语言层面的指针运算都可能被编译器优化掉（比如把多次 *ptr++ 合并），或因中断嵌套导致栈指针错位。FreeRTOS的 portRESTORE_CONTEXT 最终是一段关中断、切栈、POP、BX的纯汇编，而C层的 pxPortInitialiseStack() 只负责按ABI预填栈内容——它返回的其实是一个 StackType_t*，但你绝不会拿它做算术运算，只传给汇编入口。
如果你正在写简易调度器，记住这个边界：
• C代码负责：分配栈、填初始值、保存/恢复 pxTopOfStack 指针、触发切换动作
• 汇编代码负责：真实寄存器搬运、SP切换、异常返回控制流
• 指针本身不“保存上下文”，它只是让这两层能安全交接的桥梁
最容易被忽略的是：不同编译器（GCC/ARMCLANG/IAR）对函数调用栈的布局差异，会导致同一段初始化代码在IAR下正常、GCC下崩溃——必须用 __attribute__((naked)) 或 #pragma push 关闭优化，并严格校验生成的汇编输出。
