FreeRTOS学习笔记【10】-----任务上下文切换

1 概念性内容

开机到调度需要经历的步骤有：

• 系统初始化
• 任务创建
• 启动调度器
• 上下文切换
• 时间分片
• 任务执行

1.1 任务本质

FreeRTOS 的 任务（Task）本质上就是一个运行在任务自己的栈区中无限循环的函数 + 一段上下文（context）数据。
一个任务有四种状态：就绪态、挂起态、运行态、阻塞态

• 就绪态：任务已准备好运行，处于就绪列表中，按优先级排序
• 运行态：当前cpu正在执行该任务。
• 阻塞态：因某些原因不能继续执行，被放入阻塞列表（延时会放入延时列表），阻塞消除会重新回到就绪列表。
• 挂起态：手动调用api挂起，必须再调用resume才能恢复执行。
• 终止态：不在调度器控制内。

1.2 什么是上下文

上下文其实就是线程的状态

线程状态包括：

类别	保存内容
CPU寄存器	R0~R12, LR, PC, xPSR
高级寄存器	R4~R11（手动保存）
栈指针	PSP（Process Stack Pointer）
状态寄存器	xPSR
任务控制块	保存任务的栈顶指针（SP）和其他调度信息

对寄存器不熟悉的同学可以参考：
ARM架构 中的寄存器内容

不同信息的保存实现：

类型	内容	描述
自动保存寄存器	R0 ~ R3, R12, LR, PC, xPSR	由硬件在异常（中断）进入时自动压栈
手动保存寄存器	R4~R11	由 FreeRTOS 的上下文切换汇编代码手动压栈
特殊寄存器	SP、 LR、 PSP/MSP	栈指针、返回地址，决定任务能否正确返回

FreeRTOS 会将这些上下文信息 保存在任务的栈中，并把 栈顶指针（即当前任务运行到哪）记录在任务的 TCB 中。

当再次切回这个任务时，就从它保存的栈中把这些寄存器恢复回来，任务就能从中断前的状态“无感恢复”。

2 代码

2.1 关键代码

（1）SVC_Handler
用途： SVC 异常通常用于实现系统调用，允许用户在特权级别（Supervisor）执行一些特殊的操作，例如请求操作系统服务。在启动调度时候会执行。
一般的，SVC_Handler主要用于启动第一个任务以及初始化系统的运行环境。在 FreeRTOS 启动过程中，prvStartFirstTask() 函数会被调用，该函数最终通过 SVC 请求来跳转至初始任务的执行路径。

__asm void vPortSVCHandler( void )
{PRESERVE8               // 保留R4-R11和LR寄存器,确保不会被改/* Get the location of the current TCB. */ldr    r3, =pxCurrentTCB   // pxCurrentTCB地址加载到寄存器r3。pxCurrentTCB:指向当前任务控制块的指针。ldr r1, [r3]            // pxCurrentTCB 的值加载到r1ldr r0, [r1]            // r1 指向的地址（TCB中的栈顶地址）加载到r0/* Pop the core registers. */ldmia r0!, {r4-r11, r14}// 加载多个寄存器，保存当前任务上下文msr psp, r0             // 更新程序堆栈指针（PSP）的值为r0，加载下一个任务的上下文isb             // 指令同步屏障，确保更新PSPmov r0, #0      // 将0移至寄存器r0，用于接下来重置基本优先级寄存器。msr    basepri, r0 // 中断优先级控制寄存器设置为零，允许所有中断。bx r14          // 使用r14（LR）的值返回到SVC调用之前的地址
}

（2）PendSVHandler

• 为什么采用了pendSVHandler函数切换任务而不是在systick定时中断切换任务：
  如果优先级低，那么切换任务时会被别的高优先级任务打断，容易出问题。
  如果优先级高，那么高优先级任务执行切换任务的函数，耗时较长，实时性差。
• 解决的办法：
  仅使用systick异常通知需要切换任务，
  使用优先级最低的PendSV_Handler中断函数来真正切换任务

__asm void xPortPendSVHandler( void )
{extern uxCriticalNesting;extern pxCurrentTCB;extern vTaskSwitchContext;/* *INDENT-OFF* */PRESERVE8mrs r0, pspisbldr r3, =pxCurrentTCB /* Get the location of the current TCB. */ldr r2, [ r3 ]stmdb r0 !, { r4 - r11 } /* Save the remaining registers. */str r0, [ r2 ] /* Save the new top of stack into the first member of the TCB. */stmdb sp !, { r3, r14 }mov r0, #configMAX_SYSCALL_INTERRUPT_PRIORITYmsr basepri, r0dsbisbbl vTaskSwitchContextmov r0, #0msr basepri, r0ldmia sp !, { r3, r14 }ldr r1, [ r3 ]ldr r0, [ r1 ] /* The first item in pxCurrentTCB is the task top of stack. */ldmia r0 !, { r4 - r11 } /* Pop the registers and the critical nesting count. */msr psp, r0isbbx r14nop
/* *INDENT-ON* */
}

其中vTaskSwitchContext的函数实现如下

void vTaskSwitchContext( void )
{//如果调度器挂起那就不能进行任务切换if( uxSchedulerSuspended != ( UBaseType_t ) pdFALSE ){xYieldPending = pdTRUE;}else{xYieldPending = pdFALSE;traceTASK_SWITCHED_OUT();taskCHECK_FOR_STACK_OVERFLOW();     /* Check for stack overflow, if configured. */taskSELECT_HIGHEST_PRIORITY_TASK(); /* 获取最高优先级的任务实现是一个宏，首先执行从任务列表中获取最高优先级任务，然后在最高优先级的任务就绪列表中获取下一个任务的控制块TCP。 */traceTASK_SWITCHED_IN();}
}