嵌入式实时系统课件.pptx

1、FreeRTOS简介 FreeRTOS是一个嵌入式系统使用的开源实时系统。FreeRTOS小巧，简单，易用。能支持许多不同硬件 架构以及交叉编译器。此系统可以免费进行商业应用，被大量公司与科研公司用于嵌入式产品的开发。支持的处理器架构：ARM7,ARM9,COLTEX-m3、AVR、PIC等。第1页/共152页1、FreeRTOS简介嵌入式系统：一个专门设计用来做一些简单事情的计算机系统，如电视遥控器，车载GPS，电子手表，或者起搏器这类。嵌入式系统比通用计算机系统更小更慢，通常也更便宜。如：低端：一个运行速度为25MHz的8位CPU，几KB的内存。高端：一个运行速度为750MHz的32位 CPU，一个GB左右的内存，和几个GB的闪存。第2页/共152页1、FreeRTOS简介实时（RT）软实时：按照任务的优先级，尽可能快地完成操作即可。硬实时：硬实时要求在规定的时间内必须完成操作。第3页/共152页1、FreeRTOS简介系统基本架构其代码可以分解为三个主要区块：任务通讯硬件接口任务：大约50%的FreeRTOS的核心代码第4页/共152页1、FreeRTOS简介通讯：大约40%的FreeRTOS核心代码是用来处理通讯的。任务和中断使用队列互相发送数据，并且使用信号灯和互斥来发送临界资源的使用情况。硬件接口：大约有6%的FreeRTOS的核心代码，在硬件无关的FreeRTOS内核与硬件相关的代码间扮演着垫片的角色。第5页/共152页2、任务简介2.1任务函数 任务是由C语言函数实现的。任务函数其必须返回void，而且带有一个void指针参数。其函数原型参见程序清单1。void ATaskFunction(void*pvParameters);程序清单1 任务函数原型第6页/共152页2.1任务函数注意事项：FreeRTOS 任务不允许以任何方式从实现函数中返回它们绝不能有一条”return”语句，也不能执行到函数末尾。如果一个任务不再需要，可以显式地将其删除（void vTaskDelete(xTaskHandlepxTaskToDelete);）。第7页/共152页2.1任务函数创建任务：创建任务使用FreeRTOS的API函数xTaskCreate()。程序清单2第8页/共152页2.1任务函数参数介绍：pvTaskCode 一个指向任务的实现函数的指针(效果上仅仅是函数名)。pcName 具有描述性的任务名。这个参数不会被FreeRTOS使用。其只是单纯地用于辅助调试。usStackDepth 当任务创建时，内核会分为每个任务分配属于任务自己的唯一状态。usStackDepth值用于告诉内核为它分配多大的栈空间。这个值指定的是栈空间可以保存多少个字(word)，而不是多少个字节(byte)。比如说，如果是32位宽的栈空间，传入的usStackDepth值为100，则将会分配400字节的栈空间(100*4bytes)。第9页/共152页参数：pvParameters 任务函数接受一个指向void的指针(void*)。pvParameters的值即是传递到任务中的值。uxPriority 指定任务执行的优先级。优先级的取值范围可以从最低优先级0到最高优先级(configMAX_PRIORITIES 1)。configMAX_PRIORITIES 是一个由用户定义的常量。pxCreatedTask 用于传出任务的句柄。这个句柄将在API调用中对该创建出来的任务进行引用，比如改变任务优先级，或者删除任务。如果应用程序中不会用到这个任务的句柄，则pxCreatedTask可以被设为NULL第10页/共152页返回值 有两个可能的返回值：1.pdTRUE 表明任务创建成功。2.errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY 由于内存堆空间不足，FreeRTOS无法分配足够的空间来保存任务结构数据和任务栈，因此无法创建任务。第五章将提供更多有关内存管理方面的信息。第11页/共152页2.1任务函数例1.创建任务本例演示了创建并启动两个任务的必要步骤。两个任务内容：周期性地打印输出字符串。两者在创建时指定了相同的优先级。第12页/共152页任务一：周期性输出:Task 1 is runningrn第13页/共152页任务二：周期性输出:Task 2 is runningrn第14页/共152页main()函数：简单地创建这两个任务，然后启动调度器第15页/共152页运行结果：图一 第16页/共152页2.1任务函数任务分配分析：图2中看到两个任务在同时运行，事实上这两个任务由于优先级相同，而且在一个处理器上运行，其实是在交替运行。真实的执行流程所图3所示第17页/共152页 2.1任务函数 图二第18页/共152页2.1任务函数 上例中main()函数在启动调度器之前先完成两个任务 的创建。当然也可以从一个任务中创建另一个任务。我们可以先在main()中创建任务1，然后在任务1中创建任务2这样需要在任务一中添加以下语句：xTaskCreate(vTask2,Task 2,1000,NULL,1,NULL);第19页/共152页2.1任务函数关于使用xTaskCreate()时任务函数的参数问题例1中的两个任务几乎完全相同，唯一的区别就是打印输出的字符串。这种重复性可以通过创建同一个任务代码的两个实例来去除。这时任务参数就可以用来传递各自打印输出的字符串。第20页/共152页我们仍然调用两次xTaskCreate()，但其pvParameters（第四个）参数变为了两个不同的指针，两个指针分别指向各自需要打印输出的文本。第21页/共152页2.2任务调度任务的调度方法：通过对任务设置优先级进行优先级抢占式调度。每个任务都赋予了一个优先级。每个任务都可以存在于一个或多个状态。在任何时候都只有一个任务可以处于运行状态。调度器总是在所有处于就绪态的任务中选择具有最高优先级的任务来执行。第22页/共152页2.2任务调度优先级：xTaskCreate()API函数的参数uxPriority（即第五个参数）为创建的任务赋予了一个初始优先级。常量configMAX_PRIORITIES在（FreeRTOSConfig.h文件中）的值，即是系统最多可具有的优先级数目。0到(configMAX_PRIORITES 1)函数优先级可以调用vTaskPrioritySet()API函数进行修改。第23页/共152页2.2任务调度关于优先级为零的任务介绍：当创建的任务都处于阻塞态时（很多时候都会有这种情况出现），这种状态下所有的任务都不可运行，但处理器总是需要代码来执行所以至少要有一个任务处于运行态。为了保证这一点，当调用vTaskStartScheduler()时，调度器会自动创建一个空闲任务（非常短小的循环）。空闲任务拥有最低优先级(优先级0)，这样不会妨碍具有更高优先级的应用任务进入运行态。第24页/共152页2.2任务调度图中任务一（Task1）任务二（Task2）都设置有定时阻塞，任务二的优先级高于任务一的优先级，在两个任务都被阻塞的时候，空闲任务(idle)开始执行。图三第25页/共152页2.2任务调度空闲任务钩子函数：通过空闲任务钩子函数(或称回调，hook,or call-back)，可以直接在空闲任务中添加应用程序相关的功能。空闲任务钩子函数会被空闲任务每循环一次就自动调用一次。空闲任务钩子函数有很多用途，如在没有任何应用功能需要处理的时候，将系统配置到省电模式。第26页/共152页2.2任务调度定义一个空闲任务钩子函数：void vApplicationIdleHook(void);FreeRTOSConfig.h中的配置常configUSE_IDLE_HOOK必须定义为1，这样空闲任务钩子函数才会被调用。第27页/共152页2.2任务调度空闲任务钩子函数必须遵从以下规则：1.绝不能阻塞或挂起。空闲任务的目的就是希望在所有任务阻塞时仍能有任务运行，一旦钩子函数阻塞或挂起，将不再有任务运行。2.如果应用程序用到了vTaskDelete()函数，则空闲钩子函数必须能够尽快返回。因为在任务被删除后（vTaskDelete()），空闲任务负责回收内核资源。如果空闲任务一直运行在钩子函数中，则无法进行回收工作。第28页/共152页2.2任务调度任务优先级的改变 API函数vTaskPriofitySet()可以用于在调度器启动后改变任何任务的优先级。void vTaskPrioritySet(xTaskHandle pxTask,unsigned portBASE_TYPE uxNewPriority);参数：pxTask 被修改优先级的任务句柄(即目标任务)uxNewPriority 目标任务将被设置到哪个优先级上。如果设置的值超过了最大可用优先级(configMAX_PRIORITIES 1)，则会被自动封顶为最大值。第29页/共152页2.2任务调度根据优先级的具体调度方法：调度器保证总是在所有可运行的任务中选择具有最高优先级的任务，并使其进入运行态。如果被选中的优先级上具有不止一个任务，调度器会让这些任务轮流执行(如图二)。第30页/共152页2.2任务调度时间片的概念 图二中的两个任务优先级相同，所以每个任务都执行一个”时间片”，任务在时间片起始时刻进入运行态，在时间片结束时刻又退出运行态。图2中t1与t2之间的时段就等于一个时间片。要能够选择下一个运行的任务，调度器需要在每个时间片的结束时刻运行自己本身。一个称为心跳(tick)中断的周期性中断用于此目的。时间片的长度是可以设定的。第31页/共152页2.2任务调度此图中的任务一与任务二与图2中的是一样的，此图中标出了调度器在时间片之间的调度过程。图4第32页/共152页2.2任务调度任务状态在简要介绍了优先级调度后，我们需要了解与调度相关的各种任务的状态。1、运行态.运行中的任务状态。2、阻塞状态如果一个任务正在等待某个事件，则称这个任务处于”阻塞态(blocked)”。挂起状态。3、“挂起(suspended)”处于挂起状态的任务对调度器而言是不可见的。让一个任务进入挂起状态的唯一办法就是调用vTaskSuspend()API函数。4、就绪状态如果任务处于非运行状态，但既没有阻塞也没有挂起，则这个任务处于就绪(ready，准备或就绪)状态。第33页/共152页2.2任务调度完整的状态转移图 图5第34页/共152页3、队列 独立的任务之间很可能会通过相互通信以提供有用的系统功能。FreeRTOS中所有的通信与同步机制都是基于队列实现的。特性：1、数据存储2、队列可以保存有限个具有确定长度的数据单元3、可被多任务存取4、队列是具有自己独立权限的内核对象，并不属于或赋予任何任务。所有任务都可以向同一队列写入和读出。第35页/共152页3、队列5、读队列时阻塞 当某个任务试图读一个队列时，其可以指定一个阻塞超时时间。在这段时间中，如果队列为空，该任务将保持阻塞状态以等待队列数据有效。6、写队列时阻塞 同读队列一样，任务也可以在写队列时指定一个阻塞超时时间。这个时间是当被写队列已满时，任务进入阻塞态以等待队列空间有效的最长时间。第36页/共152页3、队列创建队列：xQueueHandle xQueueCreate(unsigned portBASE_TYPE uxQueueLength,unsigned portBASE_TYPE uxItemSize);参数：uxQueueLength 队列能够存储的最大单元数目，即队列深度。uxItemSize 队列中数据单元的长度，以字节为单位。返回值：NULL表示没有足够的堆空间分配给队列而导致创建失败。非NULL值表示队列创建成功。此返回值应当保存下来，以作为操作此队列的句柄。第37页/共152页3、队列向列中写数据xQueueSendToBack()与xQueueSendToFront()API函数portBASE_TYPE xQueueSendToFront(xQueueHandle xQueue,const void*pvItemToQueue,portTickType xTicksToWait);/将数据发送到队列尾部第38页/共152页3、队列参数说明xQueue 目标队列的句柄。这个句柄即是调用xQueueCreate()创建该队列时的返回值。pvItemToQueue 发送数据的指针。其指向将要复制到目标队列中的数据单元。xTicksToWait 阻塞超时时间。如果在发送时队列已满，这个时间即是任务处于阻塞态等待队列空间有效的最长等待时间。第39页/共152页3、队列返回值 有两个可能的返回值:1.pdPASS 数据被成功发送到队列中。2.errQUEUE_FULL 如果由于队列已满而无法将数据写入，则将返回。第40页/共152页3、队列ortBASE _TYPE xQueueSendToBack(xQueueHandle xQueue,const void*pvItemToQueue,portTickType xTicksToWait);/将数据发送到队列首部其参数和返回值与前者相似，这里不再介绍。第41页/共152页3、队列xQueueReceive()与xQueuePeek()API函数xQueueReceive()用于从队列中接收(读取）数据单元。接收到的单元同时会从队列中删除。xQueuePeek()也是从从队列中接收数据单元，不同的是并不从队列中删出接收到的单元。第42页/共152页3、队列portBASE_TYPE xQueueReceive(xQueueHandle xQueue,const void*pvBuffer,portTickType xTicksToWait);参数：第43页/共152页xQueue 被读队列的句柄。这个句柄即是调用xQueueCreate()创建该队列时的返回值。pvBuffer 接收缓存指针。其指向一段内存区域，用于接收从队列中拷贝来的数据。xTicksToWait 阻塞超时时间。如果在接收时队列为空，则这个时间是任务处于阻塞状态以等待队列数据有效的最长等待时间。把它设为0，并且队列为空，则xQueueRecieve()与xQueuePeek()均会立即返回。如果把xTicksToWait 设置为portMAX_DELAY，并且在FreeRTOSConig.h中设定INCLUDE_vTaskSuspend 为1，那么阻塞等待将没有超时限制。第44页/共152页3、队列返回值有两个可能的返回值:1.pdPASS 只有一种情况会返回pdPASS，那就是成功地从队列中读到数据。2.errQUEUE_FULL 如果在读取时由于队列已空而没有读到任何数据，则将返回errQUEUE_FULL。如果设定了阻塞超时时间（xTicksToWait非0），在函数返回之前任务将被转移到阻塞态以等待队列数据有效。但直到超时也没有其它任务或是中断服务例程往队列中写入数据，函数则会返回errQUEUE_FULL。xQueuePeek()的参数与返回值与xQueueReceive()类似，这里不再重复。第45页/共152页3、队列uxQueueMessagesWaiting()用于查询队列中当前有效数据单元个数函数原型：unsigned portBASE_TYPE uxQueueMessagesWaiting(xQueueHandle xQueue);参数 xQueue 被查询队列的句柄。这个句柄即是调用xQueueCreate()创建该队列时的返回值。返回值 当前队列中保存的数据单元个数。返回0表明队列为空。第46页/共152页3、队列 以上五个函数均不能在中断服务中使用，系统会提供以上函数专门的中断版本（后面将会讲到）。第47页/共152页3、队列队列使用例程例2：本例示范创建一个队列，由多个任务往队列中写数据，以及从队列中把数据读出。其中往队列中写数据的任务没有设定阻塞超时时间，而读队列的任务设定了超时时间。第48页/共152页3、队列写队列任务函数。主函数将调用此函数分别写入100、200.第49页/共152页3、队列写队列任务在每次循环中都调用taskYIELD()。taskYIELD()通知调度器立即进行任务切换，而不必等到当前任务的时间片耗尽。第50页/共152页3、队列读队列任务函数，函数中设置了延迟时间。第51页/共152页3、队列第52页/共152页3、队列main函数：其在启动调度器之前创建了一个队列和三个任务。尽管对任务的优先级的设计使得队列实际上在任何时候都不可能多于一个数据单元，本例代码还是创建了一个可以保存最多5个long 型值的队列。第53页/共152页3、队列第54页/共152页3、队列 写队列任务在每次循环中都调用taskYIELD()。taskYIELD()通知调度器立即进行任务切换，而不必等到当前任务的时间片耗尽。本例中两个写队列任务（写入100和200）是具有相同的任务优先级（均为1），所以一旦其中一个任务调用了taskYIELD()，另一个任务将会得到执行。反映到输出上就是两个人物交替输出。图6第55页/共152页3、队列调用过程如下 图7 第56页/共152页3、队列使用队列传递复合数据类型 第57页/共152页3、队列对大型数据单元的传递 第58页/共152页4、中断 4.1延迟中断处理 当中断发生时，程序将进入中断服务程序中行，如果中断服务程序运行时间很长，甚至包括迟将大大降低系统的实时性。这时，我们可以将中断服务程序作为触发者，触发其他函数来执行需要执行的任务。这样中断服务程序可以很简短，大大增强了实时性。而真正需要做的事情则放在被触发的函数中执行。我们可以使用二值信号量完成中断服务程序与被触发函数的这种触发关系。第59页/共152页4.1延迟中断处理延迟中断处理如下图所示：图8第60页/共152页4.1延迟中断处理延迟处理任务（即被中断服务程序触发的函数）对一个信号量进行带阻塞性质的”take”调用，意思是进入阻塞态以等待事件发生。当事件发生后，ISR 对同一个信号量进行”give”操作，使得延迟处理任务解除阻塞，从而事件在延迟处理任务中得到相应的处理。第61页/共152页4.1延迟中断处理 在此情形下，信号量可以看作是一个深度为1的队列。这个队列由于最多只能保存一个数据单元，所以其不为空则为满(所谓”二值”)。延迟处理任务调用xSemaphoreTake()时，等效于带阻塞时间地读取队列，如果队列为空的话任务则进入阻塞态。当事件发生后，ISR（中断服务例程）简单地通过调用xSemaphoreGiveFromISR()放置一个令牌(信号量)到队列中，使得队列成为满状态。这使得延迟处理任务切出阻塞态，进入运行态。当任务完成处理后，再次读取队列，发现队列为空，又进入阻塞态，等待下一次事件发生。第62页/共152页4.1延迟中断处理以上过程如下图所示：图9第63页/共152页4.1延迟中断处理第64页/共152页4.1延迟中断处理vSemaphoreCreateBinary()API函数 在使用信号量之前，必须先创建它。创建二值信号量使用vSemaphoreCreateBinary()API函数。void vSemaphoreCreateBinary(xSemaphoreHandle xSemaphore);参数：xSemaphore 创建的信号量需要说明的是vSemaphoreCreateBinary()在实现上是一个宏，所以信号量变量应当直接传入，而不是传址。本章中包含本函数调用的示例可用于参考进行复制第65页/共152页4.1延迟中断处理xSemaphoreTake()API 函数延迟任务处理函数，调用此函数获取信号量。只有当信号量有效的时候才可以被获取。除互斥信号量(Recursive Semaphore)外，所有类型的信号量都可以调用函数xSemaphoreTake()来获取。但xSemaphoreTake()不能在中断服务例程中调用。第66页/共152页4.1延迟中断处理portBASE_TYPE xSemaphoreTake(xSemaphoreHandle xSemaphore,portTickType xTicksToWait);参数：xSemaphore 需要获取的信号量xTicksToWait 阻塞超时时间。任务进入阻塞态以等待信号量有效的最长时间。如果xTicksToWait为0，则xSemaphoreTake()在信号量无效时会立即返回。第67页/共152页4.1延迟中断处理返回值 有两个可能的返回值:1.pdPASS 只有一种情况会返回pdPASS，那就是成功获得信号量。2.pdFALSE 未能获得信号量。第68页/共152页4.1延迟中断处理xSemaphoreGiveFromISR()API 函数中断服务程序调用此函数给出信号量。所有信号量（除互斥信号量）都可以通过调用xSemaphoreGiveFromISR()给出。xSemaphoreGiveFromISR()是xSemaphoreGive()的特殊形式，专门用于中断服务例程中。第69页/共152页4.1延迟中断处理portBASE_TYPE xSemaphoreGiveFromISR(xSemaphoreHandle xSemaphore,portBASE_TYPE*pxHigherPriorityTaskWoken);参数：xSemaphore 给出的信号量pxHigherPriorityTaskWoken 对某个信号量而言，可能有不止一个任务处于阻塞态在等待其有效。调用xSemaphoreGiveFromISR()会让信号量变为有效，所以会让其中一个等待任务切出阻塞态。第70页/共152页4.1延迟中断处理返回值 有两个可能的返回值:1.pdPASS xSemaphoreGiveFromISR()调用成功。2.pdFAIL 如果信号量已经有效，无法给出，则返回pdFAIL。第71页/共152页4.1延迟中断处理例三本例在中断服务例程中使用一个二值信号量让延迟处理任务从阻塞态中切换出来。下面的一个简单的周期性任务用于每隔500毫秒产生一个软件中断。此任务在产生中断之前和之后都会打印输出一个字符串。第72页/共152页4.1延迟中断处理第73页/共152页4.1延迟中断处理 下面的任务展现的是延迟处理任务的具体实现此任务通过使用二值信号量与软件中断进行同步。这个任务也在每次循环中打印输出一个信息，这样做的目的同样是可以在程序的执行输出结果中直观地看出任务与中断的执行流程。第74页/共152页4.1延迟中断处理第75页/共152页4.1延迟中断处理 下个任务展现的是中断服务例程，这才是真正的中断处理程序。这段代码做的事情非常少，仅仅是给出一个信号量，以让延迟处理任务解除阻塞。第76页/共152页4.1延迟中断处理第77页/共152页4.1延迟中断处理 main()函数很简单，创建二值信号量及任务，安装中断服务例程，然后启动调度器。第78页/共152页第79页/共152页4.1延迟中断处理例3整个执行流程可以描述如下:1.中断产生。2.中断服务例程启动，给出信号量以使延迟处理任务解除阻塞。3.当中断服务例程退出时，延迟处理任务得到执行。延迟处理任务做的第一件事便是获取信号量。4.延迟处理任务完成中断事件处理后，试图再次获取信号量如果此时信号量无效，任务将切入阻塞待等待事件发生。第80页/共152页4.1延迟中断处理输出结果参见下图。和期望的一样，延迟处理任务在中断产生后立即执行。所以延迟处理任务的输出信息将周期任务的两条输出信息分开。图10第81页/共152页4.1延迟中断处理执行流程：图11第82页/共152页4.2计数信号量 在中断以相对较慢的频率发生的情况下，二值信号量是足够而完美的。如果在延迟处理任务完成上一个中断事件的处理之前，新的中断事件又发生了，等效于将新的事件锁存在二值信号量中，使得延迟处理任务在处理完上一个事件之后，立即就可以处理新的事件。但一个二值信号量最多只可以锁存一个中断事件。在锁存的事件还未被处理之前，如果又有中断事件发生，这时的信号量已满，那么后续发生的中断事件将会丢失。第83页/共152页4.2计数信号量 如果用计数信号量代替二值信号量，那么，以上那种丢中断的情形将可以避免。就如同我们可以把二值信号量看作是只有一个数据单元的队列一样，计数信号量可以看作是深度大于1的队列。计数信号量有以下两种典型用法：1、事件计数 2、资源管理 第84页/共152页4.2计数信号量1事件计数 在这种用法中，每次事件发生时，中断服务例程都会“给出(Give)”信号量信号量在每次被给出时其计数值加 1。延迟处理任务每处理一个任务都会”获取(Take)”一次信号量信号量在每次被获取时其计数值减 1。信号量的计数值其实就是已发生事件的数目与已处理事件的数目之间的差值。用于事件计数的计数信号量，在被创建时其计数值被初始化为 0。第85页/共152页4.2计数信号量2资源管理 在这种用法中，信号量的计数值用于表示可用资源的数目。一个任务要获取资源的控制权，其必须先获得信号量使信号量的计数值减 1。当计数值减至 0，则表示没有可用资源。当任务利用资源完成工作后，将给出(归还)信号量使信号量的计数值加 1。第86页/共152页4.2计数信号量xSemaphoreCreateCounting()API函数 信号量在使用前必须先被创建。使用xSemaphoreCreateCounting()API 函数来创建一个计数信号量。第87页/共152页4.2计数信号量参数：uxMaxCount ：最大计数值。如果把计数信号量类比于队列的话，uxMaxCount值就是队列的最大深度。当此信号量用于对事件计数或锁存事件的话，uxMaxCount就是可锁存事件的最大数目。当此信号量用于对一组资源的访问进行管理话，uxMaxCount应当设置为所有可用资源的总数。第88页/共152页4.2计数信号量uxInitialCount：信号量的初始计数值。当此信号量用于事件计数的话，uxInitialCount应当设置为0因为当信号量被创建时，还没有事件发生。当此信号量用于资源管理的话，uxInitialCount 应当等于uxMaxCount因为当信号量被创建时，所有的资源都是可用的。第89页/共152页4.2计数信号量返回值：如果返回NULL值，表示堆上内存空间不足，所以FreeRTOS无法为信号量结构分配内存导致信号量创建失败。第五章有提供更多的内存管理方面的信息。如果返回非NULL值，则表示信号量创建成功。此值应当被保存起来作为这个的信号量的句柄。第90页/共152页4.2计数信号量例4：利用计数信号量对任务和中断进行同步例4用计数信号量代替二值信号量对例3的实现进行了改进。修改main()函数调用xSemaphoreCreateCounting()替代xSemaphoreCreateBinary()的调用。新的API调用如程序清单49所示：第91页/共152页4.2计数信号量为了模拟多个事件以高频率发生，修改了中断服务例程，在每次中断多次”给出(Give)”信号量。每个事件都锁存到信号量的计数值中。修改后的中断服务例程如下。第92页/共152页4.2计数信号量第93页/共152页4.2计数信号量其它函数都复用例3中的代码，保持不变。下图展示了例4的输出结果。图12第94页/共152页4.2计数信号量 从图中可以看到，每次中断发生后，延迟处理任务处理了中断生成的全部三个事件模拟出来的。这些事件被锁存到信号量的计数值中，以使得延迟处理任务可以对它们依序进行处理。第95页/共152页4.3在中断服务例程中使用队列 xQueueSendToFrontFromISR()；xQueueSendToBackFromISR()；xQueueReceiveFromISR()；分别是：xQueueSendToFront()，xQueueSendToBack()xQueueReceive()的中断安全版本，专门用于中断服务例程中。信号量用于事件通信。而队列不仅可以用于事件通信，还可以用来传递数据。第96页/共152页4.3在中断服务例程中使用队列写队列函数原型：portBASE_TYPE xQueueSendToFrontFromISR(xQueueHandle xQueue,void*pvItemToQueue portBASE_TYPE*pxHigherPriorityTaskWoken);portBASE_TYPE xQueueSendToBackFromISR(xQueueHandle xQueue,void*pvItemToQueue portBASE_TYPE*pxHigherPriorityTaskWoken);第97页/共152页4.3在中断服务例程中使用队列参数：xQueue 目标队列的句柄。这个句柄即是调xQueueCreate()创建该队列时的返回值。pvItemToQueue 发送数据的指针。其指向将要复制到目 标队列中的数据单元。由于在创建队列时设置了队列中数据单元的长度，所以 会从该指针指向的空间复制对应长度的数据到队列的 存储区域。第98页/共152页4.3在中断服务例程中使用队列参数：pxHigherPriorityTaskWoken？第99页/共152页4.3在中断服务例程中使用队列返回值 有两个可能的返回值:1.pdPASS 返回pdPASS只会有一种情况，那就是数据被成功发送到队列中。2.errQUEUE_FULL 如果由于队列已满而无法将数据写入，则将返回errQUEUE_FULL。第100页/共152页4.3在中断服务例程中使用队列例5.利用队列在中断服务中发送或接收数据本例演示在同一个中断服务中使用xQueueSendToBackFromISR()和xQueueReceiveFromISR()。和之前一样，采用软件中断以方便实现。首先创建一个周期任务用于每200毫秒往队列中发送五个数值，五个数值都发送完后便产生一个软件中断。周期任务的实现代码如下：第101页/共152页4.3在中断服务例程中使用队列第102页/共152页4.3在中断服务例程中使用队列第103页/共152页4.3在中断服务例程中使用队列中断服务例程中断服务例程重复调用xQueueReceiveFromISR()，直到被周期任务写到队列的数值都被读出，以将队列读空。每个接收到的数值的低两位用于一个字符串数组的索引，被索引到的字符串的指针将通过调用xQueueSendFromISR()发送到另一个队列中。中断服务例程的实现代码如下：第104页/共152页4.3在中断服务例程中使用队列第105页/共152页4.3在中断服务例程中使用队列第106页/共152页4.3在中断服务例程中使用队列还有另一个任务将接收从中断服务例程发出的字符串指针。此任务在读队列时被阻塞，直到队列中有消息到来，并将接收到的字符串打印输出。其实现代码如下：第107页/共152页main()main()函数创建队列和任务，然后启动调度器。如下：第108页/共152页4.3在中断服务例程中使用队列例5的运行输出参见下图13。从图中可以看到，中断服务例程接收到所有五个数值，并以五个字符串作为响应。更多解释请参考图14.图13第109页/共152页4.3在中断服务例程中使用队列图14第110页/共152页4.4中断嵌套第111页/共152页5、共享资源的处理 多任务系统中存在一种潜在的风险。当一个任务在使用某个资源的过程中，即还没有完全结束对资源的访问时，便被切出运行态，使得资源处于非一致，不完整的状态。如果这个时候有另一个任务或者中断来访问这个资源，则会导致数据损坏或是其它相似的错误。第112页/共152页5、共享资源的处理1、考虑如下情形，有两个任务都试图往一个LCD中写数据：任务A运行，并往LCD写字符串”Hello world”。任务A被任务B抢占，但此时字符串才输出到”Hello w”。任务B往LCD写”Abort,Retry,Fail?”，然后进入阻塞态。任务A从被抢占处继续执行，完成剩余的字符输出“orld”。现在LCD显示的是被破坏了的字符串”Hello wAbort,Retry,Fail?orld”。第113页/共152页5、共享资源的处理2、函数重入如果一个函数可以安全地被多个任务调用，或是在任务与中断中均可调用，则这个函数是可重入的。每个任务都单独维护自己的栈空间及其自身在的内存寄存器组中的值。如果一个函数除了访问自己栈空间上分配的数据或是内核寄存器中的数据外，不会访问其它任何数据，则这个函数就是可重入的。第114页/共152页5、共享资源的处理可重入函数 第115页/共152页不可重入函数：第116页/共152页5、共享资源的处理互斥访问一个被多任务共享，或是被任务与中断共享的资源时，需要采用”互斥”技术以保证数据在任何时候都保持一致性。这样做的目的是要确保任务从开始访问资源就具有排它性，直至这个资源又恢复到完整状态。FreeRTOS提供了以下多种特性用以实现互斥。第117页/共152页5.1临界区临界区：基本临界区基本临界区是指宏taskENTER_CRITICAL()与taskEXIT_CRITICAL()之间的代码区间。vPrintString()函数是打印输出函数，其涉及到资源共享，这里我们尝试用多种方法写vPrintString()函数。第118页/共152页5.1临界区使用一个临界区对标准输出进行保护：第119页/共152页5.1临界区 临界区是提供互斥功能的一种非常原始的实现方法。临界区的工作仅仅是简单地把中断全部关掉，或是关掉优先级在configMAX_SYSCAL_INTERRUPT_PRIORITY及以下的中断依赖于具体使用的FreeRTOS移植。临界区必须只具有很短的时间，否则会反过来影响中断响应时间。第120页/共152页5.2挂起(锁定)调度器：挂起(锁定)调度器：也可以通过挂起调度器来创建临界区。基本临界区保护一段代码区间不被其它任务或中断打断。由挂起调度器实现的临界区只可以保护一段代码区间不被其它任务打断，这种方式下，中断是使能的。第121页/共152页5.2挂起(锁定)调度器：void vTaskSuspendAll(void);通过调用vTaskSuspendAll()来挂起调度器。挂起调度器可以停止上下文切换而不用关中断。如果某个中断在调度器挂起过程中要求进行上下文切换，则个这请求也会被挂起，直到调度器被唤醒后才会得到执行。第122页/共152页5.2挂起(锁定)调度器：返回值 在调度器挂起过程中，上下文切换请求也会被挂起，直到调度器被唤醒后才会得到执行。如果一个挂起的上下文切换请求在xTaskResumeAll()返回前得到执行，则函数返回pdTRUE。在其它情况下，xTaskResumeAll()返回pdFALSE。第123页/共152页5.2挂起(锁定)调度器：通过挂起调度器的方式来保护终端输出。第124页/共152页5.3互斥量互斥量（MUTEX）互斥量是一种特殊的二值信号量，用于控制在两个或多个任务间访问共享资源。在用于互斥的场合，互斥量从概念上可看作是与共享资源关联的令牌。一个任务想要合法地访问资源，其必须先成功地得到(Take)该资源对应的令牌(成为令牌持有者)。当令牌持有者完成资源使用，其必须马上归还(Give)令牌。第125页/共152页5.3互斥量互斥量与二值信号量之间具有很多相同的特性。两者间最大的区别在于信号量在被获得之后所发生的事情：用于互斥的信号量必须归还。用于同步的信号量通常是完成同步之后便丢弃，不再归还。第126页/共152页5.3互斥量创建信号量xSemaphoreCreateMutex()API函数xSemaphoreHan