实现FreeRTOS系统傻瓜编程.docx

1、实现FreeRTOS系统傻瓜编程傻瓜实现FreeRTOS系统如果你1希望修改FreeRTOS源代码2移植实时内核到另一个微控制器或者原型板(prototyping board)3第一次接触FreeRTOS，希望得到关于它们在操作和实现上的更多信息这些文档会有用。本文档分为两个章节:1.包括多任务的背景信息和基本实时概念，这是为初学者准备的(is intended for beginners)2.FreeRTOS实时内核已经移植到许多不同的微控制器架构下。这份文档是以Atmel AVR为范例，因为:1.AVR架构简单2.有免费可用的开发工具 . 3.非常便宜的原型板在本文的最后，还一步一步地详细

2、描述了一个(context switch)。RTOS基本原理多任务调度上下文切换实时应用实时调度这一节提供一个关于实时和多任务概念的简介。读下一节之前必须理解这些概念。多任务(Multitasking)在一个操作系统内部，内核kernel是最核心的部件。像Linux那样的操作系统使用的内核，从表面上看(seemingly)，允许用户并发（simultaneously）访问 计算机。多个用户似乎(apparently)可以并行(concurrently)执行多个程序。在操作系统的控制下，每个正在执行的程序就是一个任务task。如果一个操作系统能够以这种方法执行多个任务，这就叫做多任务multit

3、asking.多任务操作系统的使用可以简化应用程序的设计:1操作系统的多任务和任务间通信的机制允许复杂的应用程序被分成一系列更小的和更多的可以管理的任务。2(程序的)划分(partitioning)让软件测试更容易, 团队工作分解(work breakdown within teams),也有利于代码复用。3复杂的定时和先后顺序的细节 可以从应用程序代码中 删除。（因为）这成为操作系统的职责。多任务Vs 并发传统的(conventional)的处理器同时只能执行一个任务。但通过快速的任务切换，一个多任务操作系统可以使它看起来(appear)好像每个任务并行执行一样。这可以下面的示意图来描述（d

4、epicted）。它显示了有关(with respect to)时间的3个任务的执行模式。任务名用颜色标注出来，写在左手边。时间从左到右增加，相应的颜色的线条 显示该任务在某个特殊时间正在执行。上面的图 演示的是用户所觉察到的并行执行模式，下面的图是实际的多任务执行模式。-所有可用的任务都好像在执行，但实际上在任何一个时刻都只有一个任务在执行调度调度器（scheduler）是内核中负责 决定在某个特殊时间 哪个任务应该执行的部分。内核可以在任务的生命期(lifetime) 挂起(suspend) / 恢复（resume）一个任务许多次。调度策略（scheduling policy）是调度器用来

5、决定哪个任务在哪个时间点执行的算法。一个（非实时）多用户系统的策略很可能分配(allow)给每个任务一个公平(fair)的处理器时间片(proportion of processor time)。用在实时系统/嵌入式系统的策略稍后再描述。除了被RTOS内核无意的挂起外，一个任务还可以自己挂起自己。如果一个任务想延迟一段固定的时间(也就是sleep),或者等待(也就是block)某个资源可用（比如一个串口），或者等待一个事件出现(比如一个键按下)。一个阻塞或者睡眠的任务是不能执行的，不会为它分配任何处理时间。上图中提到的编号:1)Task1正在运行2)内核挂起Task13)恢复任务Task24)

6、Task2正在执行，为独占访问（exclusive access），它锁定一个处理器外设 5)内核 挂起Task26)恢复Task37)Task3试图访问同样的处理器外设，发现它被锁定，Task3不能继续，所以自己挂起自己。8)内核恢复Task1.9)接下来(the next time)，Task2在9处执行。它完成了对处理器外设的访问，所以解锁它10)再下来，Task3在10处执行。它发现 现在可以访问处理器外设了，于是开始执行，直到被内核挂起。上下文切换跟任何其他程序一样，一个任务执行时，它使用 处理器/微控制器 的寄存器，访问RAM ROM。这些资源(处理器的寄存器，stack等)一起组

7、成任务的执行上下文(the task execution context).一个任务是一个连续有序的代码片断。它并不知道它将何时被内核挂起或者恢复，甚至不知道这些事情（挂起或者恢复）在什么时候已经发生了。下面考查(Consider)的这个例子是用来求两个处理器中的寄存器值之和，该任务在执行1条指令后就立即被挂起。-任务将要执行ADD指令时，被挂起-先前的指令已经把数取到寄存器(Reg1,Reg2)中了,而这些寄存器(Reg1,Reg2)将要被ADD指令用到。当这个任务被恢复后，ADD就是要执行的第1条指令。这个任务不知道是否有另一个的任务会在中间时期 修改 Reg1或者Reg2)当这个任务挂起

8、时，其他任务继续执行，可能会修改处理器寄存器的值。在恢复之后，这个任务也不知道处理器的寄存器被修改过(altered).如果它使用这个修改过的值，就会导致计算的和的结果不正确。为了避免这类错误，必须保证，在恢复一个任务之后，其上下文环境跟 即将挂起前是一样的。操作系统内核有责任 通过在任务挂起前保存其上下文 来确保这种状况。当任务恢复时，保存的上下文 就被 操作系统内核恢复到先前的执行情况。保存一个被挂起的任务的上下文 并在 任务恢复时 恢复其上下文的这个处理过程就叫做上下文切换（context switching）实时应用实时操作系统（RTOSs）通过同样的原理达到多任务的目的。但他们的目标

9、与那些非实时系统相比是很不一样的。不同的目标影响到不同的调度策略。实时/嵌入式系统设计成提供一个对 真实世界的事件的及时响应(timely response)。出现在真实世界中的事件可能有一个时间限制(deadline)，在此期限之前，实时/嵌入式系统必须给出响应，RTOS调度策略必须确保时间限制是恰当的(met).为了达到这个目的，软件工程师必须首先为每个任务设置一个优先级(priority)。RTOS的调度策略 只是简单地确认 能被执行的最高优先级别的任务 是分配了处理时间的任务（the task given processing time）。这可能要求在相同优先级的 任务之间公平的共享

10、处理时间，如果他们准备并发运行的话。代码示例:最基本的例子是 一个由键盘和LCD组成的实时系统。用户必须 在合理的时段 为 每个键盘按下 取得视觉反馈(visual feedback).。如果用户不能 在这时段 看到 键盘按下 已经被接受，软件产品将会很难使用（be awkward to use）。如果最长的接受期是100ms,那么在0到100ms的响应 可被接受。这个功能可以用一个 下面这样的结构的独立(autonomous)任务 实现:void vKeyHandlerTask( void *pvParameters ) /键盘处理是一个连续的过程。就像大多实时任务那样，这个任务 /也是用一

11、个无限循环实现的。 for( ; ) Suspend waiting for a key press Process the key press 现在假设 实时系统也执行一个依赖数字滤波输入的控制功能。这个输入必须被取样（sampled）,滤波(filtered)，并且 每2ms执行一次控制循环。为了让滤波器正常操作，取样的时间规律（the temporal regularity）必须精确到0.5ms。 这个功能可以 用下面这个结构的 独立任务 实现:void vControlTask( void *pvParameters ) for( ; ) Suspend waiting for 2ms

12、 since the start of the previous cycleSample the input Filter the sampled input Perform control algorithm Output result 软件工程师必须设置 控制任务为 最高的优先级，因为：1控制任务的时间限制(deadline) 比 键盘处理任务的 要严格；2控制任务错过最后期限(deadline)的后果 比 键盘处理任务 要严重。下面将演示 这些任务是如何被实时操作系统调度的.实时调度下面的图 演示 前面定义的那些任务是如何被时实操作系统调度的。RTOS自己已经建立了一个任务-idle t

13、ask-它只在没有其他任务执行的时候才被执行。RTOS idle task 总是处于可以执行的状态（注:也就是它不可能会因为等待什么外设资源而被阻塞,而是处于一种随时待命的状态）.上图中:1.在最开始，我们的两个任务都不能被执行-vControlTask等待合适（correct）的时间开始新的控制循环，vKeyHandlerTask等待键盘按下。处理器时间分配给 RTOS的idle task.2.在t1时刻，一个键盘按下(事件)出现. VKeyHandlerTask任务现在可以执行，它比RTOS的idle task有更高的优先级，所以处理器时间给它。3.在t2时刻，vKeyHandlerTas

14、k已经完成了对按键的处理，并更新了LCD。它不能继续，直到另一个键被按下，所以必须挂起它自己。RTOS idle task又被恢复执行。4.在t3时刻，一个定时器事件预示（indicates），可以执行下一个控制循环了。VControlTask现在可以执行，作为最高优先级的任务被立刻分配(scheduled)到处理器时间。5.在t3和t4之间，当vControlTask任务还在执行的时候，一个键按下。VKeyHandlerTask不能被执行，因为它没有vControlTask的优先级高。不能分配（scheduled）到任何处理器时间。6.在t4时刻，vControlTask完成了控制循环的处理

15、，不能够重新开始，直到下一个时间事件出现，所以它自己挂起自己。而vKeyHandlerTask现在是最高优先级的任务，可以运行了，所以，为了处理先前的键盘事件，分配(scheduled)到了处理器时间.7.在t5时刻，键盘已经被处理。VkeyHandlerTask为了等待下一个键盘事件，自己挂起自己。现在，我们的两个任务再度不能执行了。RTOS idle task分配到处理器时间。8.在t5和t6之间，一个定时器事件被处理，但是没有更多的键盘事件出现。9.下一个键盘按下出现在t6时刻，但在vKeyHandlerTask完成处理键之前，一个定时器事件出现了。现在两个任务都能被执行，而vContr

16、olTask比vKeyHandlerTask 有更多的优先级，所以vKeyHandlerTask在它完成处理键盘之前就被挂起了。VControlTask分配到处理器时间。10.在t8时刻，vControlTask完成处理控制循环，挂起自己以等待下一个事件。VKeyHandlerTask再次成为最高优先级的任务，能够运行，所以分配到处理器时间，从而键盘按下事件 处理能够完成。RTOS实现模块(Building Block)详细实例(Detailed Example)这一节从底向上描述了RTOS上下文切换的源代码。使用FreeRTOS Atmel AVR微控制器移植的代码作为例子。本节的最后还一步

17、一步地浏览(step by step look)了一个完整的上下文切换。C开发工具FreeRTOS的目标是简单且易于理解。为了达到这个目标(To this end),RTOS的源代码的大部分都是用C写的，而不是汇编。这里演示的例子使用了 。 WinAVR是一个自由/免费的在windows下的AVR交叉编译器，它是基于GCC的。RTOS Tick睡眠时，一个任务将指定多长时间后它会醒来。阻塞时，一个任务将指定一个 希望最多等多久的时间。FreeRTOS实时内核用tick count变量 来度量时间的。定时器中断(RTOS tick interrupt) 用严格的时间精度（temporal acc

18、uracy ）来增加 tick count- 允许实时内核 用一个指定的 定时器中断频率的精度（resolution）来测量 时间。每次tick count增加后，实时内核 必须检查，看现在是否 解除阻塞 或者 唤醒 一个任务。一个 比被中断的任务有更高的优先级的 任务 在 tick ISR期间 被 唤醒或者解除阻塞 是可能的。如果是这种情况，tick ISR应该返回到新的唤醒/解锁的任务-实际(effectively)中断一个任务，却返回到另一个任务。如下所述：上图提到的几个点：1）RTOS idle task正在运行2）RTOS tick出现，控制转移到tick ISR(3)3）RTOS

19、tick ISR使得vControlTask准备运行，当vControlTask比RTOS idle task有更高的优先级，切换上下文到 vControlTask.。4）现在的执行上下文是vControlTask的。从ISR(4)退出 返回到vControlTask，vControlTask从（5）开始执行。以这种方式出现的上下文切换，称为Preemptive。 因为被中断的任务 没有自愿（voluntarily）地挂起它自己就被抢占了（preempted）。FreeRTOS的AVR移植版本 用一个在定时器1(timer1)的比较匹配（compare match）事件来产生RTOS tick

20、. 后续将描述RTOS tick ISR是如何用WinAVR开发工具实现的。GCC信号属性（Signal Attribute）允许用C来写中断程序。一个在AVR 定时器1外设的比较匹配事件 可以用下面的 语法(syntax)实现:void SIG_OUTPUT_COMPARE1A( void ) _attribute_ ( ( signal ) );void SIG_OUTPUT_COMPARE1A( void ) /* ISR C code for RTOS tick. */ vPortYieldFromTick();在函数原型前的 _attribute_ ( ( signal ) ) 指示

21、符 告知 编译器，这个函数是一个ISR,会引起编译器输出的两个重要改变：1. signal属性保证，每个在ISR 期间 被修改的 处理器的寄存器，在从ISR中退出时恢复到它原来的值。这就要求，当中断将要执行时，编译器不能做任何假定。所以，不能优化哪个处理器寄存器要求保护或者不保护。 2signal也强制使用 一个 从中断返回（return from interrupt）指令（RETI），而不是返回(return)指令RET. AVR微控制器 在进入ISR前禁止中断，RETI指令要求在 退出时重新打开中断。下面是由编译器输出的代码：;void SIG_OUTPUT_COMPARE1A( void

22、 ); ; - ; CODE GENERATED BY THE COMPILER TO SAVE ; THE REGISTERS THAT GET ALTERED BY THE ; APPLICATION CODE DURING THE ISR. PUSH R1 PUSH R0 IN R0,0x3F PUSH R0 CLR R1 PUSH R18 PUSH R19 PUSH R20 PUSH R21 PUSH R22 PUSH R23 PUSH R24 PUSH R25 PUSH R26 PUSH R27 PUSH R30 PUSH R31 ; - ; CODE GENERATED BY TH

23、E COMPILER FROM THE ; APPLICATION C CODE. ;vTaskIncrementTick(); CALL 0x0000029B ;Call subroutine; ; - ; CODE GENERATED BY THE COMPILER TO ; RESTORE THE REGISTERS PREVIOUSLY ; SAVED. POP R31 POP R30 POP R27 POP R26 POP R25 POP R24 POP R23 POP R22 POP R21 POP R20 POP R19 POP R18 POP R0 OUT 0x3F,R0 PO

24、P R0 POP R1 RETI ; -GCC Naked 属性前一节讲述了如何在C中用 signal属性来写一个ISR.，以及它是如何使 执行上下文自动保存的（只有那些被ISR修改过的处理器寄存器才会得到保存）。然而，执行一个上下文切换需要保存完整的上下文。应用程序代码能够 在进入ISR时，明确(explicitly)地 保存所有寄存器，但是这样会使 某些处理器寄存器 保存两次-一次是由编译器生成的代码，另一次是由应用程序自己。这不是我们所需要的，可以在signal属性后 添加 naked属性来避免：void SIG_OUTPUT_COMPARE1A( void ) _attribute_

25、( ( signal, naked ) );void SIG_OUTPUT_COMPARE1A( void ) /* ISR C code for RTOS tick. */ vPortYieldFromTick();naked属性阻止编译器生成任何函数入口或退出代码。现在变异这段代码，会得到更少的编译器输出：;void SIG_OUTPUT_COMPARE1A( void ); ; - ; NO COMPILER GENERATED CODE HERE TO SAVE ; THE REGISTERS THAT GET ALTERED BY THE ; ISR. ; - ; CODE GENE

26、RATED BY THE COMPILER FROM THE ; APPLICATION C CODE. ;vTaskIncrementTick(); CALL 0x0000029B ;Call subroutine ; - ; NO COMPILER GENERATED CODE HERE TO RESTORE ; THE REGISTERS OR RETURN FROM THE ISR. ; -;看看，入口 和 出口代码都没有了吧使用 naked 属性，编译器不会生成任何入口和出口代码，所以必须明确（explicitly）加入。portSAVE_CONTEXT()和portRESTORE_

27、CONTEXT()这两个宏 是用来保存和恢复完整的执行上下文的：void SIG_OUTPUT_COMPARE1A( void ) _attribute_ ( ( signal, naked ) );void SIG_OUTPUT_COMPARE1A( void ) /* Macro that explicitly saves the execution context. */ portSAVE_CONTEXT(); /* ISR C code for RTOS tick. */ vPortYieldFromTick(); /* Macro that explicitly restores the execution context. */ portRESTORE_CONTEXT(); /* The return from interrupt call must also