FreeRTOS任务知识详解

前言

本篇文章旨在记录我学习FreeRTOS实时操作系统中，有关于Free RTOS的任务知识的记录。由于RTOS系统的核心就是任务管理，而且我们大多数人学习RTOS的初衷就是为了使用RTOS的多任务处理功能！

初步上手RTOS首先应该掌握的就是任务的创建、删除、挂起和恢复等操作。由此可见任务的重要性！

前言

一、多任务系统是什么？

二、FreeRTOS任务与协程

三、任务的特性

四、协程（Co-routine）的特性

五、任务状态

NO.1 运行态

NO.2 就绪态

NO.3 阻塞态

NO.4 挂起态

任务状态之间的转换

六、任务优先级

七、FreeRTOS任务实现

八、任务控制块

九、任务堆栈

十、结语

一、多任务系统是什么？

回想一下我们以前在使用51、AVR、STM32单片机裸机(未使用系统)的时候一般都是在main 函数里面用 while(1) 做一个大循环来完成所有的处理，即应用程序是一个无限的循环，循环中调用相应的函数完成所需的处理。有时候我们也需要中断中完成一些处理。

相对于多任务系统而言，这个就是单任务系统，也称作前后台系统，中断服务函数作为前台程序，大循环while(1)作为后台程序，如图所示:

前后台系统的实时性差，前后台系统各个任务(应用程序)都是排队等着轮流执行，不管你这个程序现在有多紧急，没轮到你就只能等着! 相当于所有任务(应用程序)的优先级都是一样的。但是前后台系统简单啊，资源消耗也少啊!在稍微大一点的嵌入式应用中前后台系统就明显力不从心了，此时就需要多任务系统出马了。

多任务系统会把一个大问题(应用)“分而治之”，把大问题划分成很多个小问题，逐步的把小问题解决掉，大问题也就随之解决了，这些小问题可以单独的作为一个小任务来处理。

这些小任务是并发处理的，注意，并不是说同一时刻一起执行很多个任务，而是由于每个任务执行的时间很短,导致看起来像是同一时刻执行了很多个任务一样。

多个任务带来了一个新的问题，究竟哪个任务先运行，哪个任务后运行呢?完成这个功能的东西在RTOS系统中叫做任务调度器。

不同的系统其任务调度器的实现方法也不同，比如 FreeRTOS是一个抢占式的实时多任务系统，那么其任务调度器也是抢占式的，运行过程如图所示:

在图中，高优先级的任务可以打断低优先级任务的运行而取得CPU的使用权，这样就保证了那些紧急任务的运行。这样我们就可以为那些对实时性要求高的任务设置一个很高的优先级，比如自动驾驶中的障碍物检测任务等。

高优先级的任务执行完成以后重新把CPU的使用权归还给低优先级的任务，这个就是抢占式多任务系统的基本原理。

二、FreeRTOS任务与协程

在FreeRTOS中应用既可以使用任务，也可以使用协程(Co-Routine)，或者两者混合使用。

但是任务和协程使用不同的API函数,因此不能通过队列(或信号量)将数据从任务发送给协程，反之亦然。协程是为那些资源很少的MCU准备的，其开销很小，但是FreeRTOS官方已经不打算再更新协程了。所以我在学习FreeRTOS的过程中也没有深究有关协程的知识。需要了解的小伙伴可以自己上网查一查。

三、任务的特性

在使用RTOS的时候，一个实时应用可以作为一个独立的任务。每个任务都有自己的运行环境，不依赖于系统中其他的任务或者RTOS调度器。

任何一个时间点只能有一个任务运行，具体运行哪个任务是由RTOS调度器来决定的，RTOS调度器因此就会重复的开启、关闭每个任务。

任务不需要了解RTOS调度器的具体行为，RTOS调度器的职责是确保当一个任务开始执行的时候其上下文环境(寄存器值，堆栈内容等)和任务上一次退出的时候相同。

为了做到这一点，每个任务都必须有个堆栈，当任务切换的时候将上下文环境保存在堆栈中，这样当任务再次执行的时候就可以从堆栈中取出上下文环境，任务恢复运行。

上面的话很重要！！！！

上面的话很重要！！！！

上面的话很重要！！！！

综上，任务的特性是：

1、简单

2、没有使用权限

3、支持抢占

4、支持优先级

5、每个人任务都拥有堆栈导致了RAM使用量增大

6、如果使用抢占的话必须仔细考虑重入的问题

四、协程（Co-routine）的特性

协程是为那些资源很少的MCU而做的，但是随着MCU的飞速发展，性能越来越强大，现在协程几乎很少用到了!

在一些资料中我了解到，FreeRTOS目前还没有把协程移除的计划，但是FreeRTOS是绝对不会再更新和维护协程了，因此协程大家了解一下就行了。在概念上协程和任务是相似的，但是有如下根本上的不同:

1、堆栈使用
所有的协程使用同一个堆栈(如果是任务的话每个任务都有自己的堆栈)，这样就比使用任务消耗更少的RAM。
2、调度器和优先级
协程使用合作式的调度器，但是可以在使用抢占式的调度器中使用协程。

3、宏实现
协程是通过宏定义来实现的。

4、使用限制
为了降低对RAM的消耗做了很多的限制。

五、任务状态

FrreRTOS中的任务状态共有四种，故FreeRTOS的任务永远都是处于这四种状态中的一种。

NO.1 运行态

当一个任务正在运行时，那么就说这个任务处于运行态，处于运行态的任务就是当前正在使用处理器的任务。

如果使用的是单核处理器的话那么不管在任何时刻永远都只有一个任务处于运行态。

NO.2 就绪态

处于就绪态的任务是那些已经准备就绪(这些任务没有被阻塞或者挂起)，可以运行的任务，但是处于就绪态的任务还没有运行，因为有一个同优先级或者更高优先级的任务正在运行!

NO.3 阻塞态

如果一个任务当前正在等待某个外部事件的话就说它处于阻塞态，比如说如果某个任务调用了函数vTaskDelay()的话就会进入阻塞态，直到延时周期完成。

任务在等待队列、信号量、事件组、通知或互斥信号量的时候也会进入阻塞态。

任务进入阻塞态会有一个超时时间，当超过这个超时时间任务就会退出阻塞态，即使所等待的事件还没有来临!

NO.4 挂起态

像阻塞态一样，任务进入挂起态以后也不能被调度器调用进入运行态，但是进入挂起态的任务没有超时时间。任务进入和退出挂起态通过调用函数vTaskSuspend()和 xTaskResume()。

任务状态之间的转换

六、任务优先级

每个任务都可以分配一个从0 ~ (configMAX_PRIORITIES-1)的优先级﹐configMAX_PRIORITIES在文件 FreeRTOSConfig.h中有定义，之前我的文章中带大家了解FreeRTOS系统配置的时候已经讲过了。

如果所使用的硬件平台支持类似计算前导零这样的指令(可以通过该指令选择下一个要运行的任务，Cortex-M处理器是支持该指令的)，并且宏configUSE_PORT_OPTIMISED_TASK_SELECTION也设置为了 1，那么宏configMAX_PRIORITIES不能超过32!也就是优先级不能超过32级。

其他情况下宏configMAX_PRIORITIES可以为任意值,但是考虑到RAM的消耗，宏 configMAX_PRIORITIES最好设置为一个满足应用的最小值。

优先级数字越低表示任务的优先级越低,0的优先级最低，configMAX_PRIORITIES-1的优先级最高。空闲任务的优先级最低，为0。

FreeRTOS调度器确保处于就绪态或运行态的高优先级的任务获取处理器使用权,换句话说就是处于就绪态的最高优先级的任务才会运行。

当宏configUSE_TIME_SLICING定义为1的时候多个任务可以共用一个优先级，数量不限。默认情况下宏 configUSE_TIME_SLICING在文件FreeRTOS.h中已经定义为1。此时处于就绪态的优先级相同的任务就会使用时间片轮转调度器获取运行时间。

七、FreeRTOS任务实现

在使用FreeRTOS的过程中，我们要使用函数 xTaskCreate()或xTaskCreateStatic()来创建任务，这两个函数的第一个参数pxTaskCode，就是这个任务的任务函数。什么是任务函数？

任务函数就是完成本任务工作的函数。我这个任务要干嘛？要做什么？要完成什么样的功能都是在这个任务函数中实现的。比如我要做个任务，这个任务要点个流水灯，那么这个流水灯的程序就是任务函数中实现的。FreeRTOS官方给出的任务函数模板如下:

(1)、任务函数本质也是函数，所以肯定有任务名什么的，不过这里我们要注意:任务函数的返回类型一定要为void类型，也就是无返回值，而且任务的参数也是void指针类型的!任务函数名可以根据实际情况定义。

(2)、任务的具体执行过程是一个大循环，for(; ; )就代表一个循环，作用和 while(1)一样，笔者习惯用while(1)。

(3)、循环里面就是真正的任务代码了，此任务具体要干的活就在这里实现!

(4)、FreeRTOS的延时函数，此处不一定要用延时函数，其他只要能让FreeRTOS发生任务切换的API函数都可以，比如请求信号量、队列等，甚至直接调用任务调度器。只不过最常用的就是FreeRTOS的延时函数。

(5)、任务函数一般不允许跳出循环，如果一定要跳出循环的话在跳出循环以后一定要调用函数 vTaskDelete(NULL) 删除此任务!
FreeRTOS的任务函数和UCOS的任务函数模式基本相同的，不止 FreeRTOS，其他RTOS的任务函数基本也是这种方式的。

八、任务控制块

FreeRTOS的每个任务都有一些属性需要存储，FreeRTOS把这些属性集合到一起用一个结构体来表示，这个结构体叫做任务控制块:TCB_t

在使用函数xTaskCreate()创建任务的时候就会自动的给每个任务分配一个任务控制块。在老版本的 FreeRTOS中任务控制块叫做tskTCB,新版本重命名为TCB_t，但是本质上还是tskTCB，此结构体在文件tasks.c中有定义，如下:

可以看出来FreeRTOS的任务控制块中的成员变量相比UCOSIⅢ要少很多，而且大多数与裁剪有关，当不使用某些功能的时候与其相关的变量就不参与编译，任务控制块大小就会进一步的减小。

九、任务堆栈

FreeRTOS之所以能正确的恢复一个任务的运行就是因为有任务堆栈在保驾护航，任务调度器在进行任务切换的时候会将当前任务的现场(CPU寄存器值等)保存在此任务的任务堆栈中，等到此任务下次运行的时候就会先用堆栈中保存的值来恢复现场，恢复现场以后任务就会接着从上次中断的地方开始运行。

创建任务的时候需要给任务指定堆栈，如果使用的函数xTaskCreate()创建任务(动态方法)的话那么任务堆栈就会由函数xTaskCreate()自动创建，后面分析xTaskCreate()的时候会为大家提及。

如果使用函数xTaskCreateStatic()创建任务(静态方法)的话就需要程序员自行定义任务堆栈，然后堆栈首地址作为函数的参数puxStackBuffer传递给函数，如下:

（1）、任务堆栈需要用户定义，然后将堆栈首地址传递给这个参数

堆栈大小:

我们不管是使用函数xTaskCreate()还是xTaskCreateStatic()创建任务都需要指定任务堆栈大小。任务堆栈的数据类型为StackType_t，StackType_t本质上是uint32_t，在portmacro.h中有定义，如下:
可以看出 StackType_t类型的变量为4个字节，那么任务的实际堆栈大小就应该是我们所定义的4倍