作者简介 一个平凡而乐于分享的小比特中南民族大学通信工程专业研究生研究方向无线联邦学习擅长领域驱动开发嵌入式软件开发BSP开发❄️作者主页一个平凡而乐于分享的小比特的个人主页✨收录专栏操作系统本专栏为讲解各操作系统的历史脉络以及各性能对比以及内部工作机制方便开发选择欢迎大家点赞 收藏 ⭐ 加关注哦震撼FreeRTOS任务切换内核揭秘原来CPU一直在“被骗”你以为任务切换是操作系统在背后默默搬运数据太天真了FreeRTOS玩的是“借刀杀人”——全程利用ARM硬件的中断机制让CPU自己完成现场保存和恢复操作系统只负责“指路”这波操作堪称嵌入式界的“盗梦空间”一、灵魂拷问任务切换到底在“切”什么很多人以为任务切换就是“保存函数A的变量恢复函数B的变量”。大错特错你以为的切换实际的切换复制一堆数据只改一个指针pxCurrentTCB搬运局部变量只改一个寄存器PSP软件逐字节拷贝全由硬件自动完成压栈/出栈真相任务切换的本质是——让CPU的PSP进程栈指针指向不同任务的栈顶然后利用异常返回机制硬件自动完成“换人”工作二、全景概览任务切换的“三大帮派”FreeRTOS的任务切换有三种触发方式就像三个不同级别的“警报”切换方式触发源触发时机使用场景类比抢占式切换SysTick定时器中断每1ms/10ms一次时间片轮转多任务公平运行学校下课铃到点换教室协作式切换任务主动调用taskYIELD()任务执行到特定点任务主动让出CPU学生举手说“老师我先走”阻塞式切换API调用vTaskDelay等任务等待事件等待延时、信号量、队列学生肚子疼去厕所暂时离场三种方式殊途同归最终都是把PendSV中断的Pending位置1让PendSV来执行真正的“换人”操作三、现场还原抢占式切换完整流程SysTick触发这是最常见、最经典的切换方式我把它拆解成10个步骤每一步都有对应的硬件动作任务A正在运行PSP指向任务A栈顶SysTick定时器溢出触发SysTick_Handler中断硬件自动压栈将任务A的R0-R3、R12、LR、PC、xPSR压入任务A的PSP栈CPU切换使用MSP执行SysTick_Handler中断服务函数调用vTaskSwitchContext寻找最高优先级的就绪任务将pxCurrentTCB指向任务B将PendSV的Pending位置1此时SysTick还没退出退出SysTick_HandlerCPU检查到PendSV挂起立即响应PendSV执行xPortPendSVHandlerPendSV中手动保存R4-R11到任务A的PSP然后从任务B的PSP弹出R4-R11退出PendSV硬件自动从任务B的PSP弹出R0-R3等PC指向任务B上次断点任务B恢复运行 关键细节放大镜步骤C硬件自动压栈这是在中断触发瞬间由CPU自己完成的无软件参与压栈顺序从高地址到低地址寄存器作用最后压入栈顶xPSR程序状态寄存器含Thumb位↑PC当前任务的断点地址下一条要执行的指令↑LR返回地址调用函数时的链接寄存器↑R12通用寄存器↑R3通用寄存器↑R2通用寄存器↑R1通用寄存器最先压入栈底R0通用寄存器通常是函数参数重点这一步只保存了R0-R3因为ARM的调用约定AAPCS规定R0-R3是“调用者保存”的R4-R11是“被调用者保存”的。R4-R11需要在PendSV里手动保存四、PendSV服务函数真正的“幕后黑手”PendSV是整个任务切换的执行者它的源码简化版汇编值得逐行解剖xPortPendSVHandler: ; 第一步保存当前任务的“剩余现场” ; 此时CPU用的是MSP但我们要把R4-R11存到当前任务的PSP里 mrs r0, psp ; r0 当前任务的PSP任务A的栈顶 stmdb r0!, {r4-r11} ; 将R4-R11压入任务A的PSP栈r0自动减地址 ; 注意R0-R3已经在进入PendSV时由硬件自动存了不用再存 ; 第二步切换到新任务 ldr r1, pxCurrentTCB ; r1 pxCurrentTCB全局指针的地址 ldr r1, [r1] ; r1 pxCurrentTCB指向任务B的TCB str r0, [r1] ; 将任务A的栈顶r0保存到任务A的TCB-pxTopOfStack ; 第三步选择下一个要运行的任务 ; 注意这个函数在进入PendSV前就已经调用过了vTaskSwitchContext ; 所以pxCurrentTCB已经指向了任务B ; 第四步恢复新任务的现场 ldr r0, pxCurrentTCB ; r0 pxCurrentTCB ldr r0, [r0] ; r0 pxCurrentTCB任务B的TCB ldr r0, [r0] ; r0 任务B的TCB-pxTopOfStack任务B的栈顶 ldmia r0!, {r4-r11} ; 从任务B的栈里弹出R4-R11r0自动加地址 msr psp, r0 ; ⭐ 将PSP切换为任务B的栈顶灵魂操作 ; 第五步退出中断 bx lr ; 异常返回 ; 此时CPU检测到当前用的是PSP硬件自动从PSP弹出R0-R3、R12、LR、PC、xPSR ; PC 任务B上次被切出时的断点任务B恢复执行一条msr psp, r0完成了从“任务A”到“任务B”的切换五、协作式切换taskYIELD()的“急刹车”主动切换比抢占式简单得多——不需要等SysTick直接手动触发PendSV#definetaskYIELD()\do{\*(volatileuint32_t*)0xE000ED040x10000000;\}while(0)// 往NVIC的ICSR寄存器Bit28写1挂起PendSV执行效果场景类比高优先级任务等信号量调用taskYIELD()插队的人发现前面没人主动说“你们先过”任务做完紧急处理主动让出CPU快递员送完加急件主动说“我下一趟再送”关键点taskYIELD()可能在任何地方被调用包括中断里但PendSV的优先级最低所以它会等当前中断全部处理完再执行切换保证了中断响应的实时性。六、抢占式 vs 协作式 vs 阻塞式一张表看懂对比维度抢占式SysTick协作式taskYIELD阻塞式vTaskDelay等触发者定时器硬件软件主动调用软件API调用触发频率固定周期如1ms不固定任务决定不固定事件决定是否必然切换不一定如果当前任务仍是最高优先级就不切换是立即让出是任务进入阻塞态是否进PendSV是是是最终都走PendSV典型场景多任务时间片轮转低延迟任务主动让高优先级任务运行等待延时、信号量、队列、事件组七、避坑指南切换过程中的“三大杀手”错误现象根本原因解决方案任务切换后崩溃HardFaultR4-R11没有正确保存/恢复或PSP指向了非法地址检查任务栈大小是否足够检查TCB-pxTopOfStack是否正确高优先级任务无法抢占BASEPRI屏蔽了PendSV或SysTick确保PendSV和SysTick的优先级高于BASEPRI设置的阈值通常是最高数值切换太频繁导致CPU浪费SysTick周期太短如100us调整configTICK_RATE_HZ通常设为100-1000Hz八、终极总结一张图记住全部切换逻辑硬件自动完成PendSV执行触发源SysTick中断PendSV挂起taskYIELD调用阻塞API调用手动保存R4-R11到当前任务的PSPpxCurrentTCB指向下一个任务从新任务的PSP恢复R4-R11msr psp, r0切换栈指针退出PendSV硬件从PSP弹出R0-R3等PC指向新任务断点新任务恢复运行最后送你一句话FreeRTOS任务切换的精髓就是**“硬件做苦力软件当导演”**——让Cortex-M的异常处理机制完成最繁重的寄存器搬运工作操作系统只需要在PendSV里轻描淡写地改一个PSP指针。理解了这一点你就真正看穿了RTOS任务调度的所有魔法
作者简介 一个平凡而乐于分享的小比特中南民族大学通信工程专业研究生研究方向无线联邦学习擅长领域驱动开发嵌入式软件开发BSP开发❄️作者主页一个平凡而乐于分享的小比特的个人主页✨收录专栏操作系统本专栏为讲解各操作系统的历史脉络以及各性能对比以及内部工作机制方便开发选择欢迎大家点赞 收藏 ⭐ 加关注哦震撼FreeRTOS任务切换内核揭秘原来CPU一直在“被骗”你以为任务切换是操作系统在背后默默搬运数据太天真了FreeRTOS玩的是“借刀杀人”——全程利用ARM硬件的中断机制让CPU自己完成现场保存和恢复操作系统只负责“指路”这波操作堪称嵌入式界的“盗梦空间”一、灵魂拷问任务切换到底在“切”什么很多人以为任务切换就是“保存函数A的变量恢复函数B的变量”。大错特错你以为的切换实际的切换复制一堆数据只改一个指针pxCurrentTCB搬运局部变量只改一个寄存器PSP软件逐字节拷贝全由硬件自动完成压栈/出栈真相任务切换的本质是——让CPU的PSP进程栈指针指向不同任务的栈顶然后利用异常返回机制硬件自动完成“换人”工作二、全景概览任务切换的“三大帮派”FreeRTOS的任务切换有三种触发方式就像三个不同级别的“警报”切换方式触发源触发时机使用场景类比抢占式切换SysTick定时器中断每1ms/10ms一次时间片轮转多任务公平运行学校下课铃到点换教室协作式切换任务主动调用taskYIELD()任务执行到特定点任务主动让出CPU学生举手说“老师我先走”阻塞式切换API调用vTaskDelay等任务等待事件等待延时、信号量、队列学生肚子疼去厕所暂时离场三种方式殊途同归最终都是把PendSV中断的Pending位置1让PendSV来执行真正的“换人”操作三、现场还原抢占式切换完整流程SysTick触发这是最常见、最经典的切换方式我把它拆解成10个步骤每一步都有对应的硬件动作任务A正在运行PSP指向任务A栈顶SysTick定时器溢出触发SysTick_Handler中断硬件自动压栈将任务A的R0-R3、R12、LR、PC、xPSR压入任务A的PSP栈CPU切换使用MSP执行SysTick_Handler中断服务函数调用vTaskSwitchContext寻找最高优先级的就绪任务将pxCurrentTCB指向任务B将PendSV的Pending位置1此时SysTick还没退出退出SysTick_HandlerCPU检查到PendSV挂起立即响应PendSV执行xPortPendSVHandlerPendSV中手动保存R4-R11到任务A的PSP然后从任务B的PSP弹出R4-R11退出PendSV硬件自动从任务B的PSP弹出R0-R3等PC指向任务B上次断点任务B恢复运行 关键细节放大镜步骤C硬件自动压栈这是在中断触发瞬间由CPU自己完成的无软件参与压栈顺序从高地址到低地址寄存器作用最后压入栈顶xPSR程序状态寄存器含Thumb位↑PC当前任务的断点地址下一条要执行的指令↑LR返回地址调用函数时的链接寄存器↑R12通用寄存器↑R3通用寄存器↑R2通用寄存器↑R1通用寄存器最先压入栈底R0通用寄存器通常是函数参数重点这一步只保存了R0-R3因为ARM的调用约定AAPCS规定R0-R3是“调用者保存”的R4-R11是“被调用者保存”的。R4-R11需要在PendSV里手动保存四、PendSV服务函数真正的“幕后黑手”PendSV是整个任务切换的执行者它的源码简化版汇编值得逐行解剖xPortPendSVHandler: ; 第一步保存当前任务的“剩余现场” ; 此时CPU用的是MSP但我们要把R4-R11存到当前任务的PSP里 mrs r0, psp ; r0 当前任务的PSP任务A的栈顶 stmdb r0!, {r4-r11} ; 将R4-R11压入任务A的PSP栈r0自动减地址 ; 注意R0-R3已经在进入PendSV时由硬件自动存了不用再存 ; 第二步切换到新任务 ldr r1, pxCurrentTCB ; r1 pxCurrentTCB全局指针的地址 ldr r1, [r1] ; r1 pxCurrentTCB指向任务B的TCB str r0, [r1] ; 将任务A的栈顶r0保存到任务A的TCB-pxTopOfStack ; 第三步选择下一个要运行的任务 ; 注意这个函数在进入PendSV前就已经调用过了vTaskSwitchContext ; 所以pxCurrentTCB已经指向了任务B ; 第四步恢复新任务的现场 ldr r0, pxCurrentTCB ; r0 pxCurrentTCB ldr r0, [r0] ; r0 pxCurrentTCB任务B的TCB ldr r0, [r0] ; r0 任务B的TCB-pxTopOfStack任务B的栈顶 ldmia r0!, {r4-r11} ; 从任务B的栈里弹出R4-R11r0自动加地址 msr psp, r0 ; ⭐ 将PSP切换为任务B的栈顶灵魂操作 ; 第五步退出中断 bx lr ; 异常返回 ; 此时CPU检测到当前用的是PSP硬件自动从PSP弹出R0-R3、R12、LR、PC、xPSR ; PC 任务B上次被切出时的断点任务B恢复执行一条msr psp, r0完成了从“任务A”到“任务B”的切换五、协作式切换taskYIELD()的“急刹车”主动切换比抢占式简单得多——不需要等SysTick直接手动触发PendSV#definetaskYIELD()\do{\*(volatileuint32_t*)0xE000ED040x10000000;\}while(0)// 往NVIC的ICSR寄存器Bit28写1挂起PendSV执行效果场景类比高优先级任务等信号量调用taskYIELD()插队的人发现前面没人主动说“你们先过”任务做完紧急处理主动让出CPU快递员送完加急件主动说“我下一趟再送”关键点taskYIELD()可能在任何地方被调用包括中断里但PendSV的优先级最低所以它会等当前中断全部处理完再执行切换保证了中断响应的实时性。六、抢占式 vs 协作式 vs 阻塞式一张表看懂对比维度抢占式SysTick协作式taskYIELD阻塞式vTaskDelay等触发者定时器硬件软件主动调用软件API调用触发频率固定周期如1ms不固定任务决定不固定事件决定是否必然切换不一定如果当前任务仍是最高优先级就不切换是立即让出是任务进入阻塞态是否进PendSV是是是最终都走PendSV典型场景多任务时间片轮转低延迟任务主动让高优先级任务运行等待延时、信号量、队列、事件组七、避坑指南切换过程中的“三大杀手”错误现象根本原因解决方案任务切换后崩溃HardFaultR4-R11没有正确保存/恢复或PSP指向了非法地址检查任务栈大小是否足够检查TCB-pxTopOfStack是否正确高优先级任务无法抢占BASEPRI屏蔽了PendSV或SysTick确保PendSV和SysTick的优先级高于BASEPRI设置的阈值通常是最高数值切换太频繁导致CPU浪费SysTick周期太短如100us调整configTICK_RATE_HZ通常设为100-1000Hz八、终极总结一张图记住全部切换逻辑硬件自动完成PendSV执行触发源SysTick中断PendSV挂起taskYIELD调用阻塞API调用手动保存R4-R11到当前任务的PSPpxCurrentTCB指向下一个任务从新任务的PSP恢复R4-R11msr psp, r0切换栈指针退出PendSV硬件从PSP弹出R0-R3等PC指向新任务断点新任务恢复运行最后送你一句话FreeRTOS任务切换的精髓就是**“硬件做苦力软件当导演”**——让Cortex-M的异常处理机制完成最繁重的寄存器搬运工作操作系统只需要在PendSV里轻描淡写地改一个PSP指针。理解了这一点你就真正看穿了RTOS任务调度的所有魔法
![[C++]内存管理：串顺序存储的内存回收](http://pic.xiahunao.cn/yaotu/[C++]内存管理：串顺序存储的内存回收)
