FreeRTOS学习笔记——FreeRTOS 任务基础知识
RTOS 系统的核心就是任务管理，FreeRTOS 也不例外，而且大多数学习RTOS 系统的工程师或者学生主要就是为了使用RTOS 的多任务处理功能，初步上手RTOS 系统首先必须掌握的也是任务的创建、删除、挂起和恢复等操作，由此可见任务管理的重要性。由于任务相关的知识很多，所以接下来我们将用几章的内容来讲解FreeRTOS 的任务。本章先学习一下FreeRTOS的任务基础知识，本章是后面学习的基础，所以一定要掌握本章关于FreeRTOS 任务管理的基础知识，本章分为如下几部分：
5.1 什么是多任务系统 5.2 FreeRTOS 任务与协程 5.3 初次使用 5.3 任务状态 5.4 任务优先级 5.5 任务实现 5.6 任务控制块 5.7 任务堆栈
5.1 什么是多任务系统?
回想一下我们以前在使用51、AVR、STM32 单片机裸机(未使用系统)的时候一般都是在main 函数里面用while(1)做一个大循环来完成所有的处理，即应用程序是一个无限的循环，循环中调用相应的函数完成所需的处理。有时候我们也需要中断中完成一些处理。相对于多任务系统而言，这个就是单任务系统，也称作前后台系统，中断服务函数作为前台程序，大循环while(1)作为后台程序，如图5.1.1 所示：
前后台系统的实时性差，前后台系统各个任务(应用程序)都是排队等着轮流执行，不管你这个程序现在有多紧急，没轮到你就只能等着!相当于所有任务(应用程序)的优先级都是一样的。但是前后台系统简单啊，资源消耗也少啊!在稍微大一点的嵌入式应用中前后台系统就明显力不从心了，此时就需要多任务系统出马了。多任务系统会把一个大问题(应用)“分而治之”，把大问题划分成很多个小问题，逐步的把小问题解决掉，大问题也就随之解决了，这些小问题可以单独的作为一个小任务来处理。这些小任务是并发处理的，注意，并不是说同一时刻一起执行很多个任务，而是由于每个任务执行的时间很短，导致看起来像是同一时刻执行了很多个任务一样。多个任务带来了一个新的问题，究竟哪个任务先运行，哪个任务后运行呢?完成这个功能的东西在RTOS 系统中叫做任务调度器。不同的系统其任务调度器的实现方法也不同，比如FreeRTOS 是一个抢占式的实时多任务系统，那么其任务调度器也是抢占式的，运行过程如图5.1.2 所示：
在图5.1.2 中，高优先级的任务可以打断低优先级任务的运行而取得CPU 的使用权，这样就保证了那些紧急任务的运行。这样我们就可以为那些对实时性要求高的任务设置一个很高的优先级，比如自动驾驶中的障碍物检测任务等。高优先级的任务执行完成以后重新把CPU 的使用权归还给低优先级的任务，这个就是抢占式多任务系统的基本原理。
5.2 FreeRTOS 任务与协程
再FreeRTOS 中应用既可以使用任务，也可以使用协程(Co-Routine)，或者两者混合使用。但是任务和协程使用不同的API 函数，因此不能通过队列(或信号量)将数据从任务发送给协程，反之亦然。协程是为那些资源很少的MCU 准备的，其开销很小，但是FreeRTOS 官方已经不打算再更新协程了，所以本教程只讲解任务。
5.2.1 任务(Task)的特性
在使用RTOS 的时候一个实时应用可以作为一个独立的任务。每个任务都有自己的运行环境，不依赖于系统中其他的任务或者RTOS 调度器。任何一个时间点只能有一个任务运行，具体运行哪个任务是由RTOS 调度器来决定的，RTOS 调度器因此就会重复的开启、关闭每个任务。任务不需要了解RTOS 调度器的具体行为，RTOS 调度器的职责是确保当一个任务开始执行的时候其上下文环境(寄存器值，堆栈内容等)和任务上一次退出的时候相同。为了做到这一点，每个任务都必须有个堆栈，当任务切换的时候将上下文环境保存在堆栈中，这样当任务再次执行的时候就可以从堆栈中取出上下文环境，任务恢复运行。
任务特性：
1、简单。
2、没有使用限制。
3、支持抢占
4、支持优先级
5、每个任务都拥有堆栈导致了RAM 使用量增大。
6、如果使用抢占的话的必须仔细的考虑重入的问题。
5.2.2 协程(Co-routine)的特性
协程是为那些资源很少的MCU 而做的，但是随着MCU 的飞速发展，性能越来越强大，现在协程几乎很少用到了!但是FreeRTOS 目前还没有把协程移除的计划，但是FreeRTOS 是绝对不会再更新和维护协程了，因此协程大家了解一下就行了。在概念上协程和任务是相似的，但是有如下根本上的不同：
1、堆栈使用
所有的协程使用同一个堆栈(如果是任务的话每个任务都有自己的堆栈)，这样就比使用任
务消耗更少的RAM。
2、调度器和优先级
协程使用合作式的调度器，但是可以在使用抢占式的调度器中使用协程。
3、宏实现
协程是通过宏定义来实现的。
4、使用限制
为了降低对RAM 的消耗做了很多的限制。
5.3 任务状态
FreeRTOS 中的任务永远处于下面几个状态中的某一个：
● 运行态
当一个任务正在运行时，那么就说这个任务处于运行态，处于运行态的任务就是当前正在使用处理器的任务。如果使用的是单核处理器的话那么不管在任何时刻永远都只有一个任务处于运行态。
● 就绪态
处于就绪态的任务是那些已经准备就绪(这些任务没有被阻塞或者挂起)，可以运行的任务，但是处于就绪态的任务还没有运行，因为有一个同优先级或者更高优先级的任务正在运行!
● 阻塞态
如果一个任务当前正在等待某个外部事件的话就说它处于阻塞态，比如说如果某个任务调用了函数vTaskDelay()的话就会进入阻塞态，直到延时周期完成。任务在等待队列、信号量、事件组、通知或互斥信号量的时候也会进入阻塞态。任务进入阻塞态会有一个超时时间，当超过这个超时时间任务就会退出阻塞态，即使所等待的事件还没有来临!
● 挂起态
像阻塞态一样，任务进入挂起态以后也不能被调度器调用进入运行态，但是进入挂起态的任务没有超时时间。任务进入和退出挂起态通过调用函数vTaskSuspend()和xTaskResume()。任务状态之间的转换如图5.4.1 所示：
5.4 任务优先级
每个任务都可以分配一个从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。此时处于就绪态的优先级相同的任务就会使用时间片轮转调度器获取运行时间。
5.5 任务实现
在使用FreeRTOS 的过程中，我们要使用函数xTaskCreate()或xTaskCreateStatic()来创建任务，这两个函数的第一个参数pxTaskCode，就是这个任务的任务函数。什么是任务函数?任务函数就是完成本任务工作的函数。我这个任务要干嘛?要做什么?要完成什么样的功能都是在这个任务函数中实现的。 比如我要做个任务，这个任务要点个流水灯，那么这个流水灯的程序就是任务函数中实现的。FreeRTOS 官方给出的任务函数模板如下：
void vATaskFunction(void *pvParameters) (1) { for( ; ; ) (2) { --任务应用程序-- (3) vTaskDelay(); (4) } /* 不能从任务函数中返回或者退出， 从任务函数中返回或退出的话就会调用 configASSERT()，前提是你定义了configASSERT()。如果一定要从任务函数中退出的话那一定 要调用函数vTaskDelete(NULL)来删除此任务。*/ vTaskDelete(NULL); (5) }
void vATaskFunction(void *pvParameters) (1) { for( ; ; ) (2) { --任务应用程序-- (3) vTaskDelay(); (4) } /* 不能从任务函数中返回或者退出， 从任务函数中返回或退出的话就会调用 configASSERT()，前提是你定义了configASSERT()。如果一定要从任务函数中退出的话那一定 要调用函数vTaskDelete(NULL)来删除此任务。*/ vTaskDelete(NULL); (5) }
(1)、任务函数本质也是函数，所以肯定有任务名什么的，不过这里我们要注意：任务函数的返回类型一定要为void 类型，也就是无返回值，而且任务的参数也是void 指针类型的!任务函数名可以根据实际情况定义。
(2)、任务的具体执行过程是一个大循环，for(; ; )就代表一个循环，作用和while(1)一样，笔者习惯用while(1)。
(3)、循环里面就是真正的任务代码了，此任务具体要干的活就在这里实现!
(4)、FreeRTOS 的延时函数，此处不一定要用延时函数，其他只要能让FreeRTOS 发生任务切换的API 函数都可以，比如请求信号量、队列等，甚至直接调用任务调度器。只不过最常用的就是FreeRTOS 的延时函数。
(5)、任务函数一般不允许跳出循环，如果一定要跳出循环的话在跳出循环以后一定要调用函数vTaskDelete(NULL)删除此任务!FreeRTOS 的任务函数和UCOS 的任务函数模式基本相同的，不止FreeRTOS，其他RTOS的任务函数基本也是这种方式的。
5.6 任务控制块
FreeRTOS 的每个任务都有一些属性需要存储，FreeRTOS 把这些属性集合到一起用一个结构体来表示，这个结构体叫做任务控制块：TCB_t，在使用函数xTaskCreate()创建任务的时候就会自动的给每个任务分配一个任务控制块。在老版本的FreeRTOS 中任务控制块叫做tskTCB，新版本重命名为TCB_t，但是本质上还是tskTCB，本教程后面提到任务控制块的话均用TCB_t表示，此结构体在文件tasks.c 中有定义，如下：
typedef struct tskTaskControlBlock { volatile StackType_t *pxTopOfStack; //任务堆栈栈顶 #if ( portUSING_MPU_WRAPPERS == 1 ) xMPU_SETTINGS xMPUSettings; //MPU 相关设置 #endif ListItem_t xStateListItem; //状态列表项 ListItem_t xEventListItem; //事件列表项 UBaseType_t uxPriority; //任务优先级 StackType_t *pxStack; //任务堆栈起始地址 char pcTaskName[ configMAX_TASK_NAME_LEN ];//任务名字 #if ( portSTACK_GROWTH > 0 ) StackType_t *pxEndOfStack; //任务堆栈栈底 #endif #if ( portCRITICAL_NESTING_IN_TCB == 1 ) UBaseType_t uxCriticalNesting; //临界区嵌套深度 #endif #if ( configUSE_TRACE_FACILITY == 1 ) //trace 或到debug 的时候用到 UBaseType_t uxTCBNumber; UBaseType_t uxTaskNumber; #endif #if ( configUSE_MUTEXES == 1 ) UBaseType_t uxBasePriority; //任务基础优先级,优先级反转的时候用到 UBaseType_t uxMutexesHeld; //任务获取到的互斥信号量个数 #endif #if ( configUSE_APPLICATION_TASK_TAG == 1 ) TaskHookFunction_t pxTaskTag; #endif #if( configNUM_THREAD_LOCAL_STORAGE_POINTERS > 0 ) //与本地存储有关 void *pvThreadLocalStoragePointers[ configNUM_THREAD_LOCAL_STORAGE_POINTERS ]; #endif #if( configGENERATE_RUN_TIME_STATS == 1 ) uint32_t ulRunTimeCounter; //用来记录任务运行总时间 #endif #if ( configUSE_NEWLIB_REENTRANT == 1 ) struct _reent xNewLib_reent; //定义一个newlib 结构体变量 #endif #if( configUSE_TASK_NOTIFICATIONS == 1 ) //任务通知相关变量 volatile uint32_t ulNotifiedValue; //任务通知值 volatile uint8_t ucNotifyState; //任务通知状态 #endif #if( tskSTATIC_AND_DYNAMIC_ALLOCATION_POSSIBLE != 0 ) //用来标记任务是动态创建的还是静态创建的，如果是静态创建的此变量就为pdTURE， //如果是动态创建的就为pdFALSE uint8_t ucStaticallyAllocated; #endif #if( INCLUDE_xTaskAbortDelay == 1 ) uint8_t ucDelayAborted; #endif } tskTCB; //新版本的FreeRTOS 任务控制块重命名为TCB_t，但是本质上还是tskTCB，主要是为了兼容 //旧版本的应用。 typedef tskTCB TCB_t;
可以看出来FreeRTOS 的任务控制块中的成员变量相比UCOSIII 要少很多，而且大多数与裁剪有关，当不使用某些功能的时候与其相关的变量就不参与编译，任务控制块大小就会进一步的减小。
5.7 任务堆栈
FreeRTOS 之所以能正确的恢复一个任务的运行就是因为有任务堆栈在保驾护航，任务调度器在进行任务切换的时候会将当前任务的现场(CPU 寄存器值等)保存在此任务的任务堆栈中，等到此任务下次运行的时候就会先用堆栈中保存的值来恢复现场，恢复现场以后任务就会接着从上次中断的地方开始运行。创建任务的时候需要给任务指定堆栈，如果使用的函数xTaskCreate()创建任务(动态方法)的话那么任务堆栈就会由函数xTaskCreate()自动创建，后面分析xTaskCreate()的时候会讲解。如果使用函数xTaskCreateStatic()创建任务(静态方法)的话就需要程序员自行定义任务堆栈，然后堆栈首地址作为函数的参数puxStackBuffer 传递给函数，如下：
TaskHandle_t xTaskCreateStatic( TaskFunction_t pxTaskCode, const char * const pcName, const uint32_t ulStackDepth, void * const pvParameters, UBaseType_t uxPriority, StackType_t * const puxStackBuffer, (1) StaticTask_t * const pxTaskBuffer )
(1)、任务堆栈，需要用户定义，然后将堆栈首地址传递给这个参数。堆栈大小：我们不管是使用函数xTaskCreate()还是xTaskCreateStatic()创建任务都需要指定任务堆栈大小。任务堆栈的数据类型为StackType_t，StackType_t 本质上是uint32_t，在portmacro.h 中有定义，如下：
#define portSTACK_TYPE uint32_t #define portBASE_TYPE long typedef portSTACK_TYPE StackType_t; typedef long BaseType_t; typedef unsigned long UBaseType_t;
可以看出StackType_t 类型的变量为4 个字节，那么任务的实际堆栈大小就应该是我们所定义的4 倍
最后还是给大家搞些FreeRTOS的资料供后续学习参考
实时操作系统-FreeRTOS
http://www.makeru.com.cn/live/1758_1192.html?s=45051
FreeRTOS内核源码深度剖析
http://www.makeru.com.cn/live/4381_1587.html?s=45051
