FreeRTOS高级篇3---FreeRTOS调度器启动过程分析

2023-05-16

      使用FreeRTOS,一个最基本的程序架构如下所示:


   
   
  1. int main( void)
  2. {
  3. 必要的初始化工作;
  4. 创建任务 1;
  5. 创建任务 2;
  6. ...
  7. vTaskStartScheduler(); /*启动调度器*/
  8. while( 1);
  9. }

      任务创建完成后,静态变量指针pxCurrentTCB(见《FreeRTOS高级篇2---FreeRTOS任务创建分析》第7节内容)指向优先级最高的就绪任务。但此时任务并不能运行,因为接下来还有关键的一步:启动FreeRTOS调度器。

      调度器是FreeRTOS操作系统的核心,主要负责任务切换,即找出最高优先级的就绪任务,并使之获得CPU运行权。调度器并非自动运行的,需要人为启动它。

      API函数vTaskStartScheduler()用于启动调度器,它会创建一个空闲任务、初始化一些静态变量,最主要的,它会初始化系统节拍定时器并设置好相应的中断,然后启动第一个任务。这篇文章用于分析启动调度器的过程,和上一篇文章一样,启动调度器也涉及到硬件特性(比如系统节拍定时器初始化等),因此本文仍然以Cortex-M3架构为例。

      启动调度器的API函数vTaskStartScheduler()的源码精简后如下所示:


   
   
  1. void vTaskStartScheduler( void )
  2. {
  3. BaseType_t xReturn;
  4. StaticTask_t *pxIdleTaskTCBBuffer= NULL;
  5. StackType_t *pxIdleTaskStackBuffer= NULL;
  6. uint16_t usIdleTaskStackSize =tskIDLE_STACK_SIZE;
  7. /*如果使用静态内存分配任务堆栈和任务TCB,则需要为空闲任务预先定义好任务内存和任务TCB空间*/
  8. #if(configSUPPORT_STATIC_ALLOCATION == 1 )
  9. {
  10. vApplicationGetIdleTaskMemory( &pxIdleTaskTCBBuffer, &pxIdleTaskStackBuffer, &usIdleTaskStackSize);
  11. }
  12. #endif /*configSUPPORT_STATIC_ALLOCATION */
  13. /* 创建空闲任务,使用最低优先级*/
  14. xReturn =xTaskGenericCreate( prvIdleTask, "IDLE",usIdleTaskStackSize, ( void * ) NULL, ( tskIDLE_PRIORITY | portPRIVILEGE_BIT), &xIdleTaskHandle,pxIdleTaskStackBuffer,pxIdleTaskTCBBuffer, NULL );
  15. if( xReturn == pdPASS )
  16. {
  17. /* 先关闭中断,确保节拍定时器中断不会在调用xPortStartScheduler()时或之前发生.当第一个任务启动时,会重新启动中断*/
  18. portDISABLE_INTERRUPTS();
  19. /* 初始化静态变量 */
  20. xNextTaskUnblockTime = portMAX_DELAY;
  21. xSchedulerRunning = pdTRUE;
  22. xTickCount = ( TickType_t ) 0U;
  23. /* 如果宏configGENERATE_RUN_TIME_STATS被定义,表示使用运行时间统计功能,则下面这个宏必须被定义,用于初始化一个基础定时器/计数器.*/
  24. portCONFIGURE_TIMER_FOR_RUN_TIME_STATS();
  25. /* 设置系统节拍定时器,这与硬件特性相关,因此被放在了移植层.*/
  26. if(xPortStartScheduler() != pdFALSE )
  27. {
  28. /* 如果调度器正确运行,则不会执行到这里,函数也不会返回*/
  29. }
  30. else
  31. {
  32. /* 仅当任务调用API函数xTaskEndScheduler()后,会执行到这里.*/
  33. }
  34. }
  35. else
  36. {
  37. /* 执行到这里表示内核没有启动,可能因为堆栈空间不够 */
  38. configASSERT( xReturn );
  39. }
  40. /* 预防编译器警告*/
  41. ( void ) xIdleTaskHandle;
  42. }

      这个API函数首先创建一个空闲任务,空闲任务使用最低优先级(0级),空闲任务的任务句柄存放在静态变量xIdleTaskHandle中,可以调用API函数xTaskGetIdleTaskHandle()获得空闲任务句柄。

      如果任务创建成功,则关闭中断(调度器启动结束时会再次使能中断的),初始化一些静态变量,然后调用函数xPortStartScheduler()来启动系统节拍定时器并启动第一个任务。因为设置系统节拍定时器涉及到硬件特性,因此函数xPortStartScheduler()由移植层提供,不同的硬件架构,这个函数的代码也不相同。

      对于Cortex-M3架构,函数xPortStartScheduler()的实现如下所示:


   
   
  1. BaseType_t xPortStartScheduler( void )
  2. {
  3. #if(configASSERT_DEFINED == 1 )
  4. {
  5. volatile uint32_tulOriginalPriority;
  6. /* 中断优先级寄存器0:IPR0 */
  7. volatile uint8_t * constpucFirstUserPriorityRegister = ( uint8_t * ) (portNVIC_IP_REGISTERS_OFFSET_16 +portFIRST_USER_INTERRUPT_NUMBER );
  8. volatile uint8_tucMaxPriorityValue;
  9. /* 这一大段代码用来确定一个最高ISR优先级,在这个ISR或者更低优先级的ISR中可以安全的调用以FromISR结尾的API函数.*/
  10. /* 保存中断优先级值,因为下面要覆写这个寄存器(IPR0) */
  11. ulOriginalPriority = *pucFirstUserPriorityRegister;
  12. /* 确定有效的优先级位个数. 首先向所有位写1,然后再读出来,由于无效的优先级位读出为0,然后数一数有多少个1,就能知道有多少位优先级.*/
  13. *pucFirstUserPriorityRegister= portMAX_8_BIT_VALUE;
  14. ucMaxPriorityValue = *pucFirstUserPriorityRegister;
  15. /* 冗余代码,用来防止用户不正确的设置RTOS可屏蔽中断优先级值 */
  16. ucMaxSysCallPriority =configMAX_SYSCALL_INTERRUPT_PRIORITY &ucMaxPriorityValue;
  17. /* 计算最大优先级组值 */
  18. ulMaxPRIGROUPValue =portMAX_PRIGROUP_BITS;
  19. while( (ucMaxPriorityValue &portTOP_BIT_OF_BYTE ) ==portTOP_BIT_OF_BYTE )
  20. {
  21. ulMaxPRIGROUPValue--;
  22. ucMaxPriorityValue <<= ( uint8_t ) 0x01;
  23. }
  24. ulMaxPRIGROUPValue <<=portPRIGROUP_SHIFT;
  25. ulMaxPRIGROUPValue &=portPRIORITY_GROUP_MASK;
  26. /* 将IPR0寄存器的值复原*/
  27. *pucFirstUserPriorityRegister= ulOriginalPriority;
  28. }
  29. #endif /*conifgASSERT_DEFINED */
  30. /* 将PendSV和SysTick中断设置为最低优先级*/
  31. portNVIC_SYSPRI2_REG |=portNVIC_PENDSV_PRI;
  32. portNVIC_SYSPRI2_REG |=portNVIC_SYSTICK_PRI;
  33. /* 启动系统节拍定时器,即SysTick定时器,初始化中断周期并使能定时器*/
  34. vPortSetupTimerInterrupt();
  35. /* 初始化临界区嵌套计数器 */
  36. uxCriticalNesting = 0;
  37. /* 启动第一个任务 */
  38. prvStartFirstTask();
  39. /* 永远不会到这里! */
  40. return 0;
  41. }

      从源码中可以看到,开始的一大段都是冗余代码。因为Cortex-M3的中断优先级有些违反直觉:Cortex-M3中断优先级数值越大,表示优先级越低。而FreeRTOS的任务优先级则与之相反:优先级数值越大的任务,优先级越高。根据官方统计,在Cortex-M3硬件上使用FreeRTOS,绝大多数的问题都出在优先级设置不正确上。因此,为了使FreeRTOS更健壮,FreeRTOS的作者在编写Cortex-M3架构移植层代码时,特意增加了冗余代码。关于详细的Cortex-M3架构中断优先级设置,参考《FreeRTOS系列第7篇---Cortex-M内核使用FreeRTOS特别注意事项》一文。

      在Cortex-M3架构中,FreeRTOS为了任务启动和任务切换使用了三个异常:SVC、PendSV和SysTick。SVC(系统服务调用)用于任务启动,有些操作系统不允许应用程序直接访问硬件,而是通过提供一些系统服务函数,通过SVC来调用;PendSV(可挂起系统调用)用于完成任务切换,它的最大特性是如果当前有优先级比它高的中断在运行,PendSV会推迟执行,直到高优先级中断执行完毕;SysTick用于产生系统节拍时钟,提供一个时间片,如果多个任务共享同一个优先级,则每次SysTick中断,下一个任务将获得一个时间片。关于详细的SVC、PendSV异常描述,推荐《Cortex-M3权威指南》一书的“异常”部分。

      这里将PendSV和SysTick异常优先级设置为最低,这样任务切换不会打断某个中断服务程序,中断服务程序也不会被延迟,这样简化了设计,有利于系统稳定。

      接下来调用函数vPortSetupTimerInterrupt()设置SysTick定时器中断周期并使能定时器运行这个函数比较简单,就是设置SysTick硬件的相应寄存器。

      再接下来有一个关键的函数是prvStartFirstTask(),这个函数用来启动第一个任务。我们先看一下源码:


   
   
  1. __ asm void prvStartFirstTask( void )
  2. {
  3. PRESERVE8
  4. /* Cortext-M3硬件中,0xE000ED08地址处为VTOR(向量表偏移量)寄存器,存储向量表起始地址*/
  5. ldr r0, = 0xE000ED08
  6. ldr r0, [r0]
  7. /* 取出向量表中的第一项,向量表第一项存储主堆栈指针MSP的初始值*/
  8. ldr r0, [r0]
  9. /* 将堆栈地址存入主堆栈指针 */
  10. msr msp, r0
  11. /* 使能全局中断*/
  12. cpsie i
  13. cpsie f
  14. dsb
  15. isb
  16. /* 调用SVC启动第一个任务 */
  17. svc 0
  18. nop
  19. nop
  20. }

      程序开始的几行代码用来复位主堆栈指针MSP的值,表示从此以后MSP指针被FreeRTOS接管,需要注意的是,Cortex-M3硬件的中断也使用MSP指针。之后使能中断,使用汇编指令svc 0触发SVC中断,完成启动第一个任务的工作。我们看一下SVC中断服务函数:


   
   
  1. __ asm void vPortSVCHandler( void )
  2. {
  3. PRESERVE8
  4. ldr r3, =pxCurrentTCB /* pxCurrentTCB指向处于最高优先级的就绪任务TCB */
  5. ldr r1, [r3] /* 获取任务TCB地址 */
  6. ldr r0, [r1] /* 获取任务TCB的第一个成员,即当前堆栈栈顶pxTopOfStack */
  7. ldmia r0!, {r4-r11} /* 出栈,将寄存器r4~r11出栈 */
  8. msr psp, r0 /* 最新的栈顶指针赋给线程堆栈指针PSP */
  9. isb
  10. mov r0, # 0
  11. msr basepri, r0
  12. orrr14, # 0xd /* 这里0x0d表示:返回后进入线程模式,从进程堆栈中做出栈操作,返回Thumb状态*/
  13. bx r14
  14. }

      通过上一篇介绍任务创建的文章,我们已经认识了指针pxCurrentTCB。这是定义在tasks.c中的唯一一个全局变量,指向处于最高优先级的就绪任务TCB。我们知道FreeRTOS的核心功能是确保处于最高优先级的就绪任务获得CPU权限,因此可以说这个指针指向的任务要么正在运行中,要么即将运行(调度器关闭),所以这个变量才被命名为pxCurrentTCB。

      根据《FreeRTOS高级篇2---FreeRTOS任务创建分析》第三节我们可以知道,一个任务创建时,会将它的任务堆栈初始化的像是经过一次任务切换一样,如图1-1所示。对于Cortex-M3架构,需要依次入栈xPSR、PC、LR、R12、R3~R0、R11~R4,其中r11~R4需要人为入栈,其它寄存器由硬件自动入栈。寄存器PC被初始化为任务函数指针vTask_A,这样当某次任务切换后,任务A获得CPU控制权,任务函数vTask_A被出栈到PC寄存器,之后会执行任务A的代码;LR寄存器初始化为函数指针prvTaskExitError,这是由移植层提供的一个出错处理函数。

      任务TCB结构体成员pxTopOfStack表示当前堆栈的栈顶,它指向最后一个入栈的项目,所以在图中它指向R4,TCB结构体另外一个成员pxStack表示堆栈的起始位置,所以在图中它指向堆栈的最开始处。


图1-1:任务创建后任务堆栈分布情况

      所以,SVC中断服务函数一开始就使用全局指针pxCurrentTCB获得第一个要启动的任务TCB,从而获得任务的当前堆栈栈顶指针。先将人为入栈的寄存器R4~R11出栈,将最新的堆栈栈顶指针赋值给线程堆栈指针PSP,再取消中断掩蔽。到这里,只要发生中断,就都能够被响应了。

      中断服务函数通过下面两句汇编返回。Cortex-M3架构中,r14的值决定了从异常返回的模式,这里r14最后四位按位或上0x0d,表示返回时从进程堆栈中做出栈操作、返回后进入线程模式、返回Thumb状态。


   
   
  1. orr r14, # 0xd
  2. bx r14

      执行bx  r14指令后,硬件自动将寄存器xPSR、PC、LR、R12、R3~R0出栈,这时任务A的任务函数指针vTask_A会出栈到PC指针中,从而开始执行任务A。

      至此,任务vTask_A获得CPU执行权,调度器正式开始工作。

 

 

 

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

FreeRTOS高级篇3---FreeRTOS调度器启动过程分析 的相关文章

  • FreeRTOS例程4-串口DMA收发不定长数据

    FreeRTOS例程4 串口DMA收发不定长数据 知乎 zhihu com
  • 【FreeRTOS 信号量】互斥信号量

    互斥信号量与二值信号量类似 但是互斥信号量可以解决二值信号量出现的优先级翻转问题 解决办法就是优先级继承 普通互斥信号量创建及运行 参阅安富莱电子demo 互斥信号量句柄 static SemaphoreHandle t xMutex NU
  • FreeRTOS软件定时器创建、复位、开始和停止(备忘)

    目录 一 简介 1 1 开发环境 1 2 摘要 二 STM32CubeIDE配置 三 创建定时器 3 1 头文件声明 3 2 工程文件定义 3 3 创建定时器 3 4 开启 复位 和关闭定时器 四 定时器回调函数 一 简介 1 1 开发环境
  • 【FreeRTOS开发问题】FreeRTOS内存溢出

    FreeRTOS内存溢出 如下图所示 FreeRTOS编译完成后可以看到 系统提示无法分配内存到堆 Objects Template axf Error L6406E No space in execution regions with A
  • FreeRTOS系列

    1 RTOS简介 RTOS全称为 Real Time Operation System 即实时操作系统 RTOS强调的是实时性 又分为硬实时和软实时 硬实时要求在规定的时间内必须完成操作 不允许超时 而软实时里对处理过程超时的要求则没有很严
  • ZYNQ中FreeRTOS中使用定时器

    使用普通的Timer中断方式时 Timer中断可以正常运行 但是UDP通信进程无法启动 其中TimerIntrHandler是中断服务程序 打印程序运行时间与从BRAM中读取的数据 void SetupInterruptSystem XSc
  • FreeRTOS学习笔记<中断>

    中断概念 Cortex M的NVIC最多支持240个IRQ 中断请求 1个不可屏蔽中断 NMI 1个Systick 滴答定时器 定时器中断和多个系统异常 Cortex M处理器有多个用于管中断和异常的可编程寄存器 这些寄存器大多数都在 NV
  • FreeRTOS临界区

    FreeRTOS临界区是指那些必须完整运行 不能被打断的代码段 比如有的外设的初始化需要严格的时序 初始化过程中不能被打断 FreeRTOS 在进入临界区代码的时候需要关闭中断 当处理完临界区代码以后再打开中断 FreeRTOS 系统本身就
  • FreeRTOS记录(九、一个裸机工程转FreeRTOS的实例)

    记录一下一个实际项目由裸机程序改成FreeRTOS 以前产品的平台还是C8051单片机上面的程序 硬件平台改成了STM32L051 同时使用STM32CubeMX生成的工程 使用FreeRTOS系统 EEPROM数据存储读取函数修改更新 2
  • freeRTOS使用uxTaskGetStackHighWaterMark函数查看任务堆栈空间的使用情况

    摘要 每个任务都有自己的堆栈 堆栈的总大小在创建任务的时候就确定了 此函数用于检查任务从创建好到现在的历史剩余最小值 这个值越小说明任务堆栈溢出的可能性就越大 FreeRTOS 把这个历史剩余最小值叫做 高水位线 此函数相对来说会多耗费一点
  • Arduino IDE将FreeRTOS用于STM32

    介绍 适用于STM32F103C8的FreeRTOS STM32F103C是一种能够使用FreeRTOS的ARM Cortex M3处理器 我们直接在Arduino IDE中开始使用STM32F103C8的FreeRTOS 我们也可以使用K
  • FreeRTOS笔记(十)中断

    中断 当CPU在执行某一事件A时 发生另外一个更重要紧急的事件B请求CPU去处理 产生了中断 于是CPU暂时中断当前正在执行的事件A任务而对对事件B进行处理 CPU处理完事件B后再返回之前中断的位置继续执行原来的事件A 这一过程统称为中断
  • FreeRTOS学习笔记(8)---- 软件定时器

    使用FreeRTOS软件定时器需要在文件FreeRTOSConfig h先做如下配置 1 configUSE TIMERS 使能软件定时器 2 configTIMER TASK PRIORITY 定时器任务优先级 3 configTIMER
  • freeRTOS出现任务卡死的情况。

    最近在做一个产品二代升级的项目 代码是上一任工程师留下的 很多BUG 而且融合了HAL库和LL库 以及github上下载的GSM源码 很不好用 我这边是将2G模块换成了4G 且添加了单独的BLE模块 因此只在源码的基础上 去除2G和BLE代
  • STM32 Freertos 添加 外部sram heap_5.c

    1 添加外部SRAM 初始化 2 添加heap 5 c 3 初始化heap 5 c 外部堆栈 Define the start address and size of the two RAM regions not used by the
  • FreeRTOS 配置TICK_RATE_HZ

    我使用的是带有 5 4 版 FreeRTOS 的 MSP430f5438 我有一个有趣的问题 我无法弄清楚 基本上 当我将 configTICK RATE HZ 设置为不同的值时 LED 闪烁得更快或更慢 它应该保持相同的速率 我将 con
  • 如何更改 FreeRTOS 中任务的最大可用堆大小?

    我通过以下方式在任务中创建元素列表 l dllist pvPortMalloc sizeof dllist dlllist 有 32 字节大 我的嵌入式系统有 60kB SRAM 所以我希望系统可以轻松处理我的 200 个元素列表 我发现在
  • 如何将 void* 转换为函数指针?

    我在 FreeRTOS 中使用 xTaskCreate 其第四个参数 void const 是传递给新线程调用的函数的参数 void connect to foo void const task params void on connect
  • 有可用的 FreeRTOS 解释语言库吗?

    我在一家公司工作 该公司使用 FreeRTOS 为多个设备创建固件 最近 我们对新功能的要求已经超出了我们固件工程师的工作能力 但我们现在也无力雇用任何新人 即使进行微小的更改 也需要固件人员在非常低的级别上进行修改 我一直在为 FreeR
  • 小型 ARM 微控制器的 RTOS 内核之间的可量化差异 [关闭]

    Closed 这个问题是基于意见的 help closed questions 目前不接受答案 有许多不同的 RTOS 可用于微控制器 我专门寻找支持 ARM Cortex M 处理器的 RTOS 另外 我对闭源解决方案不感兴趣 试图从网站

随机推荐