FreeRTOS的原理和实现

嵌入式操作系统FreeRTOS的原理与实现 在嵌入式领域中，嵌入式实时操作系统正得到越来越广泛的应用。采用嵌入式实时操作系统 (RTOS)可以更合理、更有效地利用CPU的资源，简化应用软件的设计，缩短系统开发时间，更好地保 证系统的实时性和可靠性。由于RTOS需占用一定的系统资源(尤其是RAM资源)，只有μC／OS-II、 embOS、salvo、FreeRTOS等少数实时操作系统能在小RAM单片机上运行。相对于C／OS-II、embOS等 商业操作系统，FreeRTOS操作系统是完全免费的操作系统，具有源码公开、可移植、可裁减、调度 策略灵活的特点，可以方便地移植到各种单片机上运行，其最新版本为2.6版。 1 FreeRTOS操作系统功能 作为一个轻量级的操作系统，FreeRTOS提供的功能包括：任务管理、时间管理、信号量、消息队列 、内存管理、 记录 混凝土 养护记录下载土方回填监理旁站记录免费下载集备记录下载集备记录下载集备记录下载 功能等，可基本满足较小系统的需要。FreeRTOS内核支持优先级调度算法，每个 任务可根据重要程度的不同被赋予一定的优先级，CPU总是让处于就绪态的、优先级最高的任务先运 行。 FreeRT0S内核同时支持轮换调度算法，系统允许不同的任务使用相同的优先级，在没有更高优先级 任务就绪的情况下，同一优先级的任务共享CPU的使用时间。 FreeRTOS的内核可根据用户需要设置为可剥夺型内核或不可剥夺型内核。当FreeRTOS被设置为可剥 夺型内核时，处于就绪态的高优先级任务能剥夺低优先级任务的CPU使用权，这样可保证系统满足实 时性的要求；当FreeRTOS被设置为不可剥夺型内核时，处于就绪态的高优先级任务只有等当前运行 任务主动释放CPU的使用权后才能获得运行，这样可提高CPU的运行效率。 2 FreeRTOS操作系统的原理与实现 2. 1任务调度机制的实现 任务调度机制是嵌入式实时操作系统的一个重要概念，也是其核心技术。对于可剥夺型内核，优先 级高的任务一旦就绪就能剥夺优先级较低任务的CPU使用权，提高了系统的实时响应能力。不同于 μC／OS-II，FreeRTOS对系统任务的数量没有限制，既支持优先级调度算法也支持轮换调度算法 ，因此FreeRTOS采用双向链 表 关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf 而不是采用查任务就绪表的方法来进行任务调度。系统定 义的链表和链表节点数据结构如下所示： typedef struct xLIST{ //定义链表结构 unsigned portSHORPT usNumberOfItems; //usNumberOfItems为链表的长度，为0表示链表为空 volatile xListItem * pxHead;//pxHead为链表的头指针 volatile xListItem * pxIndex; //pxIndex指向链表当前结点的指针 volatile xListItem xListEnd; //xListEnd为链表尾结点 }xList; struct xLIST_ITEM { //定义链表结点的结构 port Tick type xItem Value; //xItem Value的值用于实现时间管理 //port Tick Type为时针节拍数据类型， //可根据需要选择为16位或32位 volatile struct xLIST_ITEM * pxNext; //指向链表的前一个结点 void * pvOwner;//指向此链表结点所在的任务控制块 void * pvContainer;//指向此链表结点所在的链表}； FreeRTOS中每个任务对应于一个任务控制块(TCB)，其定义如下所示： typedef struct tskTaskControlBlock { portSTACK_TYPE * pxTopOfStack; //指向任务堆栈结束处 portSTACK_TYPE * pxStack; //指向任务堆栈起始处 unsigned portSHORT usStackDepth; //定义堆栈深度 signed portCHAR pcTaskName[tskMAX_TASK_NAME_LEN];//任务名称 unsigned portCHAR ucPriority; //任务优先级 xListItem xGenericListItem; //用于把TCB插入就绪链表或等待链表 xListItem xEventListItem; //用于把TCB插入事件链表（如消息队列） unsigned portCHAR ucTCBNumber; //用于记录功能 }tskTCB; FreeRTOS定义就绪任务链表数组为xList pxReady—TasksLists[portMAX_PRIORITIES]。其中 portMAX_PRIORITIES为系统定义的最大优先级。若想使优先级为n的任务进入就绪态，需要把此任务 对应的TCB中的结点xGenericListltem插入到链表pxReadyTasksLiStS[n]中，还要把 xGenericListItem中的pvContainer指向pxReadyTasksLists[n]方可实现。 当进行任务调度时，调度算法首先实现优先级调度。系统按照优先级从高到低的顺序从就绪任务链 表数组中寻找usNumberOfItems第一个不为0的优先级，此优先级即为当前最高就绪优先级，据此实 现优先级调度。若此优先级下只有一个就绪任务，则此就绪任务进入运行态；若此优先级下有多个 就绪任务，则需采用轮换调度算法实现多任务轮流执行。 若在优先级n下执行轮换调度算法，系统先通过执行 (pxReadyTasksLists[n])→pxIndex=(pxReadyTasks-Lists[n])→pxlndex→pxNext语句得到当前结 点所指向的下一个结点，再通过此结点的pvOwner指针得到对应的任务控制块，最后使此任务控制块 对应的任务进入运行态。由此可见，在FreeRTOS中，相同优先级任务之间的切换时间为一个时钟节 拍周期。 以图l为例，设系统的最大任务数为pottMAX_PRIORITIES，在某一时刻进行任务调度时，得到 pxReadyTasksLists[i]．usNumberOfItems=O(i=2...portMAX_PRIORITIES)以及 pxReadyTasksLists[1]。usNumberOfItems=3。由此内核可知当前最高就绪优先级为l，且此优先级 下已有三个任务已进入就绪态．由于最高就绪优先级下有多个就绪任务，系统需执行轮换调度算法 实现任务切换；通过指针pxlndex可知任务l为当前任务，而任务l的pxNext结点指向任务2，因此系 统把pxIndex指向任务2并执行任务2来实现任务调度。当下一个时钟节拍到来时，若最高就绪优先级 仍为1，由图l可见，系统会把pxIndex指向任务3并执行任务3。 为了加快任务调度的速度，FrecRTOS通过变量ucTopReadyPriotity跟踪当前就绪的最高优先级。当 把一个任务加入就绪链表时，如果此任务的优先级高于ucTopReadyPriority，则把这个任务的优先 级赋予ucTopReadyPriority。这样当进行优先级调度时，调度算法不是从portMAX_PRIORITIES而是 从ucTopReady-Priority开始搜索。这就加快了搜索的速度，同时缩短了内核关断时间。 2.2 任务管理的实现 实现多个任务的有效管理是操作系统的主要功能。FreeRTOS下可实现创建任务、删除任务、挂起任 务、恢复任务、设定任务优先级、获得任务相关信息等功能。下面主要讨论FreeRTOS下任务创建和 任务删除的实现。当调用sTaskCreate()函数创建一个新的任务时，FreeRTOS首先为新任务分配所需 的内存。若内存分配成功，则初始化任务控制块的任务名称、堆栈深度和任务优先级，然后根据堆 栈的增长方向初始化任务控制块的堆栈。接着，FreeRTOS把当前创建的任务加入到就绪任务链表。 若当前此任务的优先级为最高，则把此优先级赋值给变量ucTopReadyPriorlty(其作用见2.1节)。若 任务调度程序已经运行且当前创建的任务优先级为最高，则进行任务切换. 不同于μC／OS—II，FreeRTOS下任务删除分两步进行。当用户调用vTaskDelete()函数后，执行任 务删除的第一步：FreeRTOS先把要删除的任务从就绪任务链表和事件等待链表中删除，然后把此任 务添加到任务删除链表，若删除的任务是当前运行任务，系统就执行任务调度函数，至此完成任务 删除的第一步。当系统空闲任务即prvldleTask()函数运行时，若发现任务删除链表中有等待删除的 任务，则进行任务删除的第二步，即释放该任务占用的内存空间，并把该任务从任务删除链表中删 除，这样才彻底删除了这个任务。值得注意的是，在FreeRTOS中，当系统被配置为不可剥夺内核时 ，空闲任务还有实现各个任务切换的功能。 通过比较μC／OS-II和FreeRTOS的具体代码发现，采用两步删除的策略有利于减少内核关断时间 ，减少任务删除函数的执行时间，尤其是当删除多个任务的时候。 2.3 时间管理的实现 FreeRTOS提供的典型时间管理函数是vTaskDelay()，调用此函数可以实现将任务延时一段特定时间 的功能。在FreeRT0S中，若一个任务要延时xTicksToDelay个时钟节拍，系统内核会把当前系统已运 行的时钟节拍总数(定义为xTickCount，32位长度)加上xTicksToDelay得到任务下次唤醒时的时钟节 拍数xTimeToWake。然后，内核把此任务的任务控制块从就绪链表中删除，把xTimeToWake作为结点 值赋予任务的xItemValue，再根据xTimeToWake的值把任务控制块按照顺序插入不同的链表。若 xTimeToWake>xTickCount，即计算中没有出现溢出，内核把任务控制块插入到pxDelayedTaskList链 表；若xTimeToWake